menhir →
20220210+ds-2 →
armhf → 2022-07-06 11:10:26
sbuild (Debian sbuild) 0.72.0 (25 Oct 2016) on mb-lxc-02
+==============================================================================+
| menhir 20220210+ds-2 (armhf) Wed, 06 Jul 2022 10:56:44 +0000 |
+==============================================================================+
Package: menhir
Version: 20220210+ds-2
Source Version: 20220210+ds-2
Distribution: bookworm-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bookworm-staging-armhf-sbuild-4c847ba6-d637-4736-8662-b76a21e5547e' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.4.1/private bookworm-staging InRelease [11.3 kB]
Get:2 http://172.17.4.1/private bookworm-staging/main Sources [13.1 MB]
Get:3 http://172.17.4.1/private bookworm-staging/main armhf Packages [14.0 MB]
Fetched 27.1 MB in 9s (2967 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: http://172.17.4.1/private/dists/bookworm-staging/InRelease: Key is stored in legacy trusted.gpg keyring (/etc/apt/trusted.gpg), see the DEPRECATION section in apt-key(8) for details.
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Check APT
---------
Checking available source versions...
Download source files with APT
------------------------------
Reading package lists...
NOTICE: 'menhir' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/menhir.git
Please use:
git clone https://salsa.debian.org/ocaml-team/menhir.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 550 kB of source archives.
Get:1 http://172.17.4.1/private bookworm-staging/main menhir 20220210+ds-2 (dsc) [2321 B]
Get:2 http://172.17.4.1/private bookworm-staging/main menhir 20220210+ds-2 (tar) [534 kB]
Get:3 http://172.17.4.1/private bookworm-staging/main menhir 20220210+ds-2 (diff) [13.3 kB]
Fetched 550 kB in 0s (6931 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/menhir-4tEotq/menhir-20220210+ds' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/menhir-4tEotq' 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-Jz61o4/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-Jz61o4/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-Jz61o4/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-Jz61o4/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-Jz61o4/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-Jz61o4/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-Jz61o4/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-Jz61o4/apt_archive ./ Packages [431 B]
Fetched 2107 B in 0s (9491 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install core build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
krb5-locales libpam-cap netbase sensible-utils
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 28 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-Jz61o4/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 (74.5 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12794 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 all)
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: debhelper-compat (= 13), dh-ocaml, hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml-nox (>= 4.02.3~), texlive-fonts-recommended, texlive-latex-extra
Filtered Build-Depends: debhelper-compat (= 13), dh-ocaml, hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml-nox (>= 4.02.3~), texlive-fonts-recommended, texlive-latex-extra
dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/<<BUILDDIR>>/resolver-Jz61o4/apt_archive/sbuild-build-depends-menhir-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy sbuild-build-depends-menhir-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-Jz61o4/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-Jz61o4/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-Jz61o4/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-Jz61o4/apt_archive ./ Sources [564 B]
Get:5 copy:/<<BUILDDIR>>/resolver-Jz61o4/apt_archive ./ Packages [648 B]
Fetched 2545 B in 0s (12.8 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install menhir build dependencies (apt-based resolver)
------------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
krb5-locales libpam-cap netbase
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils debhelper
dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig-config
fonts-lmodern fonts-urw-base35 gettext gettext-base ghostscript groff-base
hevea hicolor-icon-theme imagemagick imagemagick-6-common imagemagick-6.q16
intltool-debian libaom3 libapache-pom-java libarchive-zip-perl
libavahi-client3 libavahi-common-data libavahi-common3 libbrotli1 libbsd0
libcairo2 libcommons-logging-java libcommons-parent-java libcups2 libdav1d6
libdbus-1-3 libde265-0 libdebhelper-perl libdeflate0 libelf1 libexpat1
libfftw3-double3 libfile-stripnondeterminism-perl libfontbox-java
libfontconfig1 libfreetype6 libglib2.0-0 libgraphite2-3 libgs9 libgs9-common
libharfbuzz0b libheif1 libice6 libicu71 libidn12 libijs-0.35 libjbig0
libjbig2dec0 libjpeg62-turbo libkpathsea6 liblcms2-2 liblerc3 liblqr-1-0
libltdl7 libmagic-mgc libmagic1 libmagickcore-6.q16-6 libmagickwand-6.q16-6
libmd0 libmpdec3 libncurses-dev libncurses5-dev libncurses6 libnetpbm11
libopenjp2-7 libpaper-utils libpaper1 libpdfbox-java libpipeline1
libpixman-1-0 libpng16-16 libptexenc1 libpython3-stdlib
libpython3.10-minimal libpython3.10-stdlib libsigsegv2 libsm6
libsub-override-perl libsynctex2 libteckit0 libtexlua53-5 libtexluajit2
libtiff5 libtool libuchardet0 libwebp7 libwebpdemux2 libwebpmux3 libx11-6
libx11-data libx265-199 libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1
libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6
libzzip-0-13 m4 man-db media-types netpbm ocaml ocaml-base
ocaml-compiler-libs ocaml-dune ocaml-interp ocaml-nox po-debconf
poppler-data preview-latex-style python3 python3-minimal python3.10
python3.10-minimal t1utils tex-common texlive-base texlive-binaries
texlive-fonts-recommended texlive-latex-base texlive-latex-extra
texlive-latex-recommended texlive-pictures ucf x11-common xdg-utils
Suggested packages:
autoconf-archive gnu-standards autoconf-doc dh-make git fonts-freefont-otf
| fonts-freefont-ttf fonts-texgyre gettext-doc libasprintf-dev
libgettextpo-dev ghostscript-x groff hevea-doc imagemagick-doc autotrace
cups-bsd | lpr | lprng curl enscript ffmpeg gimp gnuplot grads graphviz
hp2xx html2ps libwmf-bin mplayer povray radiance sane-utils transfig
ufraw-batch libavalon-framework-java libcommons-logging-java-doc
libexcalibur-logkit-java liblog4j1.2-java cups-common libfftw3-bin
libfftw3-dev liblcms2-utils libmagickcore-6.q16-6-extra ncurses-doc
libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less
www-browser ocaml-doc elpa-tuareg libmail-box-perl poppler-utils
fonts-japanese-mincho | fonts-ipafont-mincho fonts-japanese-gothic
| fonts-ipafont-gothic fonts-arphic-ukai fonts-arphic-uming fonts-nanum
python3-doc python3-tk python3-venv python3.10-venv python3.10-doc
binfmt-support perl-tk xpdf | pdf-viewer xzdec texlive-fonts-recommended-doc
texlive-latex-base-doc python3-pygments icc-profiles libfile-which-perl
texlive-latex-extra-doc texlive-science texlive-latex-recommended-doc
texlive-luatex texlive-pstricks dot2tex prerex texlive-pictures-doc vprerex
Recommended packages:
curl | wget | lynx libmagickcore-6.q16-6-extra dbus libarchive-cpio-perl
libglib2.0-data shared-mime-info xdg-user-dirs fonts-droid-fallback gsfonts
libgpm2 libltdl-dev ocaml-man ledit | readline-editor libmail-sendmail-perl
lmodern dvisvgm tex-gyre tipa libspreadsheet-parseexcel-perl
texlive-plain-generic ruby tk libfile-mimeinfo-perl libnet-dbus-perl
libx11-protocol-perl x11-utils x11-xserver-utils
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils debhelper
dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig-config
fonts-lmodern fonts-urw-base35 gettext gettext-base ghostscript groff-base
hevea hicolor-icon-theme imagemagick imagemagick-6-common imagemagick-6.q16
intltool-debian libaom3 libapache-pom-java libarchive-zip-perl
libavahi-client3 libavahi-common-data libavahi-common3 libbrotli1 libbsd0
libcairo2 libcommons-logging-java libcommons-parent-java libcups2 libdav1d6
libdbus-1-3 libde265-0 libdebhelper-perl libdeflate0 libelf1 libexpat1
libfftw3-double3 libfile-stripnondeterminism-perl libfontbox-java
libfontconfig1 libfreetype6 libglib2.0-0 libgraphite2-3 libgs9 libgs9-common
libharfbuzz0b libheif1 libice6 libicu71 libidn12 libijs-0.35 libjbig0
libjbig2dec0 libjpeg62-turbo libkpathsea6 liblcms2-2 liblerc3 liblqr-1-0
libltdl7 libmagic-mgc libmagic1 libmagickcore-6.q16-6 libmagickwand-6.q16-6
libmd0 libmpdec3 libncurses-dev libncurses5-dev libncurses6 libnetpbm11
libopenjp2-7 libpaper-utils libpaper1 libpdfbox-java libpipeline1
libpixman-1-0 libpng16-16 libptexenc1 libpython3-stdlib
libpython3.10-minimal libpython3.10-stdlib libsigsegv2 libsm6
libsub-override-perl libsynctex2 libteckit0 libtexlua53-5 libtexluajit2
libtiff5 libtool libuchardet0 libwebp7 libwebpdemux2 libwebpmux3 libx11-6
libx11-data libx265-199 libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1
libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6
libzzip-0-13 m4 man-db media-types netpbm ocaml ocaml-base
ocaml-compiler-libs ocaml-dune ocaml-interp ocaml-nox po-debconf
poppler-data preview-latex-style python3 python3-minimal python3.10
python3.10-minimal sbuild-build-depends-menhir-dummy t1utils tex-common
texlive-base texlive-binaries texlive-fonts-recommended texlive-latex-base
texlive-latex-extra texlive-latex-recommended texlive-pictures ucf
x11-common xdg-utils
0 upgraded, 147 newly installed, 0 to remove and 28 not upgraded.
Need to get 247 MB of archives.
After this operation, 920 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-Jz61o4/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [936 B]
Get:2 http://172.17.4.1/private bookworm-staging/main armhf libfftw3-double3 armhf 3.3.8-2 [429 kB]
Get:3 http://172.17.4.1/private bookworm-staging/main armhf libexpat1 armhf 2.4.8-1 [84.1 kB]
Get:4 http://172.17.4.1/private bookworm-staging/main armhf libbrotli1 armhf 1.0.9-2+b2 [260 kB]
Get:5 http://172.17.4.1/private bookworm-staging/main armhf libpng16-16 armhf 1.6.37-5 [272 kB]
Get:6 http://172.17.4.1/private bookworm-staging/main armhf libfreetype6 armhf 2.12.1+dfsg-3 [352 kB]
Get:7 http://172.17.4.1/private bookworm-staging/main armhf ucf all 3.0043 [74.0 kB]
Get:8 http://172.17.4.1/private bookworm-staging/main armhf fonts-urw-base35 all 20200910-1 [6367 kB]
Get:9 http://172.17.4.1/private bookworm-staging/main armhf fontconfig-config all 2.13.1-4.4 [281 kB]
Get:10 http://172.17.4.1/private bookworm-staging/main armhf libfontconfig1 armhf 2.13.1-4.4 [331 kB]
Get:11 http://172.17.4.1/private bookworm-staging/main armhf libaom3 armhf 3.4.0-1 [1276 kB]
Get:12 http://172.17.4.1/private bookworm-staging/main armhf libdav1d6 armhf 1.0.0-2+rpi1 [205 kB]
Get:13 http://172.17.4.1/private bookworm-staging/main armhf libde265-0 armhf 1.0.8-1+rpi1+b1 [220 kB]
Get:14 http://172.17.4.1/private bookworm-staging/main armhf libx265-199 armhf 3.5-2 [548 kB]
Get:15 http://172.17.4.1/private bookworm-staging/main armhf libheif1 armhf 1.12.0-2+b4 [161 kB]
Get:16 http://172.17.4.1/private bookworm-staging/main armhf libjbig0 armhf 2.1-3.1+b2 [27.6 kB]
Get:17 http://172.17.4.1/private bookworm-staging/main armhf libjpeg62-turbo armhf 1:2.1.2-1 [144 kB]
Get:18 http://172.17.4.1/private bookworm-staging/main armhf liblcms2-2 armhf 2.12~rc1-2 [121 kB]
Get:19 http://172.17.4.1/private bookworm-staging/main armhf libglib2.0-0 armhf 2.72.3-1 [1233 kB]
Get:20 http://172.17.4.1/private bookworm-staging/main armhf liblqr-1-0 armhf 0.4.2-2.1 [23.1 kB]
Get:21 http://172.17.4.1/private bookworm-staging/main armhf libltdl7 armhf 2.4.7-4 [399 kB]
Get:22 http://172.17.4.1/private bookworm-staging/main armhf libopenjp2-7 armhf 2.5.0-1 [165 kB]
Get:23 http://172.17.4.1/private bookworm-staging/main armhf libdeflate0 armhf 1.12-1 [60.5 kB]
Get:24 http://172.17.4.1/private bookworm-staging/main armhf liblerc3 armhf 3.0+ds-1 [92.7 kB]
Get:25 http://172.17.4.1/private bookworm-staging/main armhf libwebp7 armhf 1.2.2-2 [237 kB]
Get:26 http://172.17.4.1/private bookworm-staging/main armhf libtiff5 armhf 4.4.0-2 [290 kB]
Get:27 http://172.17.4.1/private bookworm-staging/main armhf libwebpdemux2 armhf 1.2.2-2 [97.1 kB]
Get:28 http://172.17.4.1/private bookworm-staging/main armhf libwebpmux3 armhf 1.2.2-2 [105 kB]
Get:29 http://172.17.4.1/private bookworm-staging/main armhf libxau6 armhf 1:1.0.9-1 [19.1 kB]
Get:30 http://172.17.4.1/private bookworm-staging/main armhf libmd0 armhf 1.0.4-1 [28.9 kB]
Get:31 http://172.17.4.1/private bookworm-staging/main armhf libbsd0 armhf 0.11.6-1 [109 kB]
Get:32 http://172.17.4.1/private bookworm-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:33 http://172.17.4.1/private bookworm-staging/main armhf libxcb1 armhf 1.14-3 [136 kB]
Get:34 http://172.17.4.1/private bookworm-staging/main armhf libx11-data all 2:1.7.5-1 [308 kB]
Get:35 http://172.17.4.1/private bookworm-staging/main armhf libx11-6 armhf 2:1.7.5-1 [706 kB]
Get:36 http://172.17.4.1/private bookworm-staging/main armhf libxext6 armhf 2:1.3.4-1 [48.0 kB]
Get:37 http://172.17.4.1/private bookworm-staging/main armhf libicu71 armhf 71.1-3 [8855 kB]
Get:38 http://172.17.4.1/private bookworm-staging/main armhf libxml2 armhf 2.9.14+dfsg-1 [591 kB]
Get:39 http://172.17.4.1/private bookworm-staging/main armhf imagemagick-6-common all 8:6.9.11.60+dfsg-1.3 [211 kB]
Get:40 http://172.17.4.1/private bookworm-staging/main armhf libmagickcore-6.q16-6 armhf 8:6.9.11.60+dfsg-1.3+b2 [1639 kB]
Get:41 http://172.17.4.1/private bookworm-staging/main armhf libmagickwand-6.q16-6 armhf 8:6.9.11.60+dfsg-1.3+b2 [432 kB]
Get:42 http://172.17.4.1/private bookworm-staging/main armhf poppler-data all 0.4.11-1 [1608 kB]
Get:43 http://172.17.4.1/private bookworm-staging/main armhf libpython3.10-minimal armhf 3.10.5-1+b1 [815 kB]
Get:44 http://172.17.4.1/private bookworm-staging/main armhf python3.10-minimal armhf 3.10.5-1+b1 [1637 kB]
Get:45 http://172.17.4.1/private bookworm-staging/main armhf python3-minimal armhf 3.10.4-1+b1 [38.9 kB]
Get:46 http://172.17.4.1/private bookworm-staging/main armhf media-types all 8.0.0 [33.4 kB]
Get:47 http://172.17.4.1/private bookworm-staging/main armhf libmpdec3 armhf 2.5.1-2+rpi1 [73.5 kB]
Get:48 http://172.17.4.1/private bookworm-staging/main armhf libpython3.10-stdlib armhf 3.10.5-1+b1 [1626 kB]
Get:49 http://172.17.4.1/private bookworm-staging/main armhf python3.10 armhf 3.10.5-1+b1 [542 kB]
Get:50 http://172.17.4.1/private bookworm-staging/main armhf libpython3-stdlib armhf 3.10.4-1+b1 [21.9 kB]
Get:51 http://172.17.4.1/private bookworm-staging/main armhf python3 armhf 3.10.4-1+b1 [38.4 kB]
Get:52 http://172.17.4.1/private bookworm-staging/main armhf tex-common all 6.17 [53.6 kB]
Get:53 http://172.17.4.1/private bookworm-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:54 http://172.17.4.1/private bookworm-staging/main armhf groff-base armhf 1.22.4-8 [793 kB]
Get:55 http://172.17.4.1/private bookworm-staging/main armhf bsdextrautils armhf 2.38-4 [137 kB]
Get:56 http://172.17.4.1/private bookworm-staging/main armhf libpipeline1 armhf 1.5.6-1 [33.7 kB]
Get:57 http://172.17.4.1/private bookworm-staging/main armhf man-db armhf 2.10.2-1 [1362 kB]
Get:58 http://172.17.4.1/private bookworm-staging/main armhf libmagic-mgc armhf 1:5.41-4 [295 kB]
Get:59 http://172.17.4.1/private bookworm-staging/main armhf libmagic1 armhf 1:5.41-4 [120 kB]
Get:60 http://172.17.4.1/private bookworm-staging/main armhf file armhf 1:5.41-4 [65.8 kB]
Get:61 http://172.17.4.1/private bookworm-staging/main armhf gettext-base armhf 0.21-6 [171 kB]
Get:62 http://172.17.4.1/private bookworm-staging/main armhf libsigsegv2 armhf 2.14-1 [36.6 kB]
Get:63 http://172.17.4.1/private bookworm-staging/main armhf m4 armhf 1.4.18-5 [186 kB]
Get:64 http://172.17.4.1/private bookworm-staging/main armhf autoconf all 2.71-2 [343 kB]
Get:65 http://172.17.4.1/private bookworm-staging/main armhf autotools-dev all 20220109.1 [51.6 kB]
Get:66 http://172.17.4.1/private bookworm-staging/main armhf automake all 1:1.16.5-1.3 [823 kB]
Get:67 http://172.17.4.1/private bookworm-staging/main armhf autopoint all 0.21-6 [510 kB]
Get:68 http://172.17.4.1/private bookworm-staging/main armhf libdebhelper-perl all 13.8 [195 kB]
Get:69 http://172.17.4.1/private bookworm-staging/main armhf libtool all 2.4.7-4 [526 kB]
Get:70 http://172.17.4.1/private bookworm-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:71 http://172.17.4.1/private bookworm-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:72 http://172.17.4.1/private bookworm-staging/main armhf libsub-override-perl all 0.09-3 [10.4 kB]
Get:73 http://172.17.4.1/private bookworm-staging/main armhf libfile-stripnondeterminism-perl all 1.13.0-1 [26.6 kB]
Get:74 http://172.17.4.1/private bookworm-staging/main armhf dh-strip-nondeterminism all 1.13.0-1 [15.8 kB]
Get:75 http://172.17.4.1/private bookworm-staging/main armhf libelf1 armhf 0.187-1 [175 kB]
Get:76 http://172.17.4.1/private bookworm-staging/main armhf dwz armhf 0.14-1 [83.0 kB]
Get:77 http://172.17.4.1/private bookworm-staging/main armhf gettext armhf 0.21-6 [1214 kB]
Get:78 http://172.17.4.1/private bookworm-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:79 http://172.17.4.1/private bookworm-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:80 http://172.17.4.1/private bookworm-staging/main armhf debhelper all 13.8 [1070 kB]
Get:81 http://172.17.4.1/private bookworm-staging/main armhf dh-ocaml all 1.1.3 [82.9 kB]
Get:82 http://172.17.4.1/private bookworm-staging/main armhf fonts-lmodern all 2.005-1 [4540 kB]
Get:83 http://172.17.4.1/private bookworm-staging/main armhf libgs9-common all 9.56.1~dfsg-1 [747 kB]
Get:84 http://172.17.4.1/private bookworm-staging/main armhf libavahi-common-data armhf 0.8-6+b1 [124 kB]
Get:85 http://172.17.4.1/private bookworm-staging/main armhf libavahi-common3 armhf 0.8-6+b1 [55.8 kB]
Get:86 http://172.17.4.1/private bookworm-staging/main armhf libdbus-1-3 armhf 1.14.0-1+b2 [210 kB]
Get:87 http://172.17.4.1/private bookworm-staging/main armhf libavahi-client3 armhf 0.8-6+b1 [58.5 kB]
Get:88 http://172.17.4.1/private bookworm-staging/main armhf libcups2 armhf 2.4.2-1 [311 kB]
Get:89 http://172.17.4.1/private bookworm-staging/main armhf libidn12 armhf 1.41-1 [80.8 kB]
Get:90 http://172.17.4.1/private bookworm-staging/main armhf libijs-0.35 armhf 0.35-15 [14.7 kB]
Get:91 http://172.17.4.1/private bookworm-staging/main armhf libjbig2dec0 armhf 0.19-3+b2 [58.6 kB]
Get:92 http://172.17.4.1/private bookworm-staging/main armhf libpaper1 armhf 1.1.28 [20.5 kB]
Get:93 http://172.17.4.1/private bookworm-staging/main armhf libgs9 armhf 9.56.1~dfsg-1 [2177 kB]
Get:94 http://172.17.4.1/private bookworm-staging/main armhf ghostscript armhf 9.56.1~dfsg-1 [99.1 kB]
Get:95 http://172.17.4.1/private bookworm-staging/main armhf libnetpbm11 armhf 2:10.97.00-2 [164 kB]
Get:96 http://172.17.4.1/private bookworm-staging/main armhf netpbm armhf 2:10.97.00-2 [1807 kB]
Get:97 http://172.17.4.1/private bookworm-staging/main armhf libpaper-utils armhf 1.1.28 [17.7 kB]
Get:98 http://172.17.4.1/private bookworm-staging/main armhf libkpathsea6 armhf 2022.20220321.62855-4 [165 kB]
Get:99 http://172.17.4.1/private bookworm-staging/main armhf libptexenc1 armhf 2022.20220321.62855-4 [61.9 kB]
Get:100 http://172.17.4.1/private bookworm-staging/main armhf libsynctex2 armhf 2022.20220321.62855-4 [68.0 kB]
Get:101 http://172.17.4.1/private bookworm-staging/main armhf libtexlua53-5 armhf 2022.20220321.62855-4 [102 kB]
Get:102 http://172.17.4.1/private bookworm-staging/main armhf libtexluajit2 armhf 2022.20220321.62855-4 [208 kB]
Get:103 http://172.17.4.1/private bookworm-staging/main armhf t1utils armhf 1.41-4 [52.3 kB]
Get:104 http://172.17.4.1/private bookworm-staging/main armhf libpixman-1-0 armhf 0.40.0-1 [463 kB]
Get:105 http://172.17.4.1/private bookworm-staging/main armhf libxcb-render0 armhf 1.14-3 [110 kB]
Get:106 http://172.17.4.1/private bookworm-staging/main armhf libxcb-shm0 armhf 1.14-3 [101 kB]
Get:107 http://172.17.4.1/private bookworm-staging/main armhf libxrender1 armhf 1:0.9.10-1.1 [30.0 kB]
Get:108 http://172.17.4.1/private bookworm-staging/main armhf libcairo2 armhf 1.16.0-5 [602 kB]
Get:109 http://172.17.4.1/private bookworm-staging/main armhf libgraphite2-3 armhf 1.3.14-1 [70.3 kB]
Get:110 http://172.17.4.1/private bookworm-staging/main armhf libharfbuzz0b armhf 2.7.4-1+b1 [1420 kB]
Get:111 http://172.17.4.1/private bookworm-staging/main armhf libteckit0 armhf 2.5.11+ds1-1 [256 kB]
Get:112 http://172.17.4.1/private bookworm-staging/main armhf x11-common all 1:7.7+23 [252 kB]
Get:113 http://172.17.4.1/private bookworm-staging/main armhf libice6 armhf 2:1.0.10-1 [51.7 kB]
Get:114 http://172.17.4.1/private bookworm-staging/main armhf libsm6 armhf 2:1.2.3-1 [32.9 kB]
Get:115 http://172.17.4.1/private bookworm-staging/main armhf libxt6 armhf 1:1.2.1-1 [159 kB]
Get:116 http://172.17.4.1/private bookworm-staging/main armhf libxmu6 armhf 2:1.1.3-3 [52.0 kB]
Get:117 http://172.17.4.1/private bookworm-staging/main armhf libxpm4 armhf 1:3.5.12-1 [43.6 kB]
Get:118 http://172.17.4.1/private bookworm-staging/main armhf libxaw7 armhf 2:1.0.14-1 [165 kB]
Get:119 http://172.17.4.1/private bookworm-staging/main armhf libxi6 armhf 2:1.8-1 [78.1 kB]
Get:120 http://172.17.4.1/private bookworm-staging/main armhf libzzip-0-13 armhf 0.13.72+dfsg.1-1.1 [54.3 kB]
Get:121 http://172.17.4.1/private bookworm-staging/main armhf texlive-binaries armhf 2022.20220321.62855-4 [7109 kB]
Get:122 http://172.17.4.1/private bookworm-staging/main armhf xdg-utils all 1.1.3-4.1 [75.5 kB]
Get:123 http://172.17.4.1/private bookworm-staging/main armhf texlive-base all 2022.20220405-2 [21.5 MB]
Get:124 http://172.17.4.1/private bookworm-staging/main armhf hevea armhf 2.35-1+b5 [1700 kB]
Get:125 http://172.17.4.1/private bookworm-staging/main armhf hicolor-icon-theme all 0.17-2 [11.4 kB]
Get:126 http://172.17.4.1/private bookworm-staging/main armhf imagemagick-6.q16 armhf 8:6.9.11.60+dfsg-1.3+b2 [383 kB]
Get:127 http://172.17.4.1/private bookworm-staging/main armhf imagemagick armhf 8:6.9.11.60+dfsg-1.3+b2 [166 kB]
Get:128 http://172.17.4.1/private bookworm-staging/main armhf libapache-pom-java all 18-1 [4676 B]
Get:129 http://172.17.4.1/private bookworm-staging/main armhf libcommons-parent-java all 43-1 [10.8 kB]
Get:130 http://172.17.4.1/private bookworm-staging/main armhf libcommons-logging-java all 1.2-3 [62.4 kB]
Get:131 http://172.17.4.1/private bookworm-staging/main armhf libfontbox-java all 1:1.8.16-2 [211 kB]
Get:132 http://172.17.4.1/private bookworm-staging/main armhf libncurses6 armhf 6.3+20220423-2 [79.6 kB]
Get:133 http://172.17.4.1/private bookworm-staging/main armhf libncurses-dev armhf 6.3+20220423-2 [289 kB]
Get:134 http://172.17.4.1/private bookworm-staging/main armhf libncurses5-dev armhf 6.3+20220423-2 [940 B]
Get:135 http://172.17.4.1/private bookworm-staging/main armhf libpdfbox-java all 1:1.8.16-2 [5205 kB]
Get:136 http://172.17.4.1/private bookworm-staging/main armhf ocaml-compiler-libs armhf 4.13.1-3+rpi1 [29.4 MB]
Get:137 http://172.17.4.1/private bookworm-staging/main armhf ocaml-base armhf 4.13.1-3+rpi1 [607 kB]
Get:138 http://172.17.4.1/private bookworm-staging/main armhf ocaml-interp armhf 4.13.1-3+rpi1 [6182 kB]
Get:139 http://172.17.4.1/private bookworm-staging/main armhf ocaml armhf 4.13.1-3+rpi1 [70.4 MB]
Get:140 http://172.17.4.1/private bookworm-staging/main armhf ocaml-dune armhf 2.9.1-1+b2 [2060 kB]
Get:141 http://172.17.4.1/private bookworm-staging/main armhf ocaml-nox all 4.13.1-3+rpi1 [185 kB]
Get:142 http://172.17.4.1/private bookworm-staging/main armhf preview-latex-style all 12.2-1 [201 kB]
Get:143 http://172.17.4.1/private bookworm-staging/main armhf texlive-fonts-recommended all 2022.20220405-2 [5004 kB]
Get:144 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-base all 2022.20220405-2 [1161 kB]
Get:145 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-recommended all 2022.20220405-2 [14.5 MB]
Get:146 http://172.17.4.1/private bookworm-staging/main armhf texlive-pictures all 2022.20220405-2 [8755 kB]
Get:147 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-extra all 2022.20220405-3 [14.6 MB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 247 MB in 29s (8553 kB/s)
Selecting previously unselected package libfftw3-double3:armhf.
(Reading database ... 12794 files and directories currently installed.)
Preparing to unpack .../00-libfftw3-double3_3.3.8-2_armhf.deb ...
Unpacking libfftw3-double3:armhf (3.3.8-2) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../01-libexpat1_2.4.8-1_armhf.deb ...
Unpacking libexpat1:armhf (2.4.8-1) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../02-libbrotli1_1.0.9-2+b2_armhf.deb ...
Unpacking libbrotli1:armhf (1.0.9-2+b2) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../03-libpng16-16_1.6.37-5_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.37-5) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../04-libfreetype6_2.12.1+dfsg-3_armhf.deb ...
Unpacking libfreetype6:armhf (2.12.1+dfsg-3) ...
Selecting previously unselected package ucf.
Preparing to unpack .../05-ucf_3.0043_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0043) ...
Selecting previously unselected package fonts-urw-base35.
Preparing to unpack .../06-fonts-urw-base35_20200910-1_all.deb ...
Unpacking fonts-urw-base35 (20200910-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../07-fontconfig-config_2.13.1-4.4_all.deb ...
Unpacking fontconfig-config (2.13.1-4.4) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../08-libfontconfig1_2.13.1-4.4_armhf.deb ...
Unpacking libfontconfig1:armhf (2.13.1-4.4) ...
Selecting previously unselected package libaom3:armhf.
Preparing to unpack .../09-libaom3_3.4.0-1_armhf.deb ...
Unpacking libaom3:armhf (3.4.0-1) ...
Selecting previously unselected package libdav1d6:armhf.
Preparing to unpack .../10-libdav1d6_1.0.0-2+rpi1_armhf.deb ...
Unpacking libdav1d6:armhf (1.0.0-2+rpi1) ...
Selecting previously unselected package libde265-0:armhf.
Preparing to unpack .../11-libde265-0_1.0.8-1+rpi1+b1_armhf.deb ...
Unpacking libde265-0:armhf (1.0.8-1+rpi1+b1) ...
Selecting previously unselected package libx265-199:armhf.
Preparing to unpack .../12-libx265-199_3.5-2_armhf.deb ...
Unpacking libx265-199:armhf (3.5-2) ...
Selecting previously unselected package libheif1:armhf.
Preparing to unpack .../13-libheif1_1.12.0-2+b4_armhf.deb ...
Unpacking libheif1:armhf (1.12.0-2+b4) ...
Selecting previously unselected package libjbig0:armhf.
Preparing to unpack .../14-libjbig0_2.1-3.1+b2_armhf.deb ...
Unpacking libjbig0:armhf (2.1-3.1+b2) ...
Selecting previously unselected package libjpeg62-turbo:armhf.
Preparing to unpack .../15-libjpeg62-turbo_1%3a2.1.2-1_armhf.deb ...
Unpacking libjpeg62-turbo:armhf (1:2.1.2-1) ...
Selecting previously unselected package liblcms2-2:armhf.
Preparing to unpack .../16-liblcms2-2_2.12~rc1-2_armhf.deb ...
Unpacking liblcms2-2:armhf (2.12~rc1-2) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../17-libglib2.0-0_2.72.3-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.72.3-1) ...
Selecting previously unselected package liblqr-1-0:armhf.
Preparing to unpack .../18-liblqr-1-0_0.4.2-2.1_armhf.deb ...
Unpacking liblqr-1-0:armhf (0.4.2-2.1) ...
Selecting previously unselected package libltdl7:armhf.
Preparing to unpack .../19-libltdl7_2.4.7-4_armhf.deb ...
Unpacking libltdl7:armhf (2.4.7-4) ...
Selecting previously unselected package libopenjp2-7:armhf.
Preparing to unpack .../20-libopenjp2-7_2.5.0-1_armhf.deb ...
Unpacking libopenjp2-7:armhf (2.5.0-1) ...
Selecting previously unselected package libdeflate0:armhf.
Preparing to unpack .../21-libdeflate0_1.12-1_armhf.deb ...
Unpacking libdeflate0:armhf (1.12-1) ...
Selecting previously unselected package liblerc3:armhf.
Preparing to unpack .../22-liblerc3_3.0+ds-1_armhf.deb ...
Unpacking liblerc3:armhf (3.0+ds-1) ...
Selecting previously unselected package libwebp7:armhf.
Preparing to unpack .../23-libwebp7_1.2.2-2_armhf.deb ...
Unpacking libwebp7:armhf (1.2.2-2) ...
Selecting previously unselected package libtiff5:armhf.
Preparing to unpack .../24-libtiff5_4.4.0-2_armhf.deb ...
Unpacking libtiff5:armhf (4.4.0-2) ...
Selecting previously unselected package libwebpdemux2:armhf.
Preparing to unpack .../25-libwebpdemux2_1.2.2-2_armhf.deb ...
Unpacking libwebpdemux2:armhf (1.2.2-2) ...
Selecting previously unselected package libwebpmux3:armhf.
Preparing to unpack .../26-libwebpmux3_1.2.2-2_armhf.deb ...
Unpacking libwebpmux3:armhf (1.2.2-2) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../27-libxau6_1%3a1.0.9-1_armhf.deb ...
Unpacking libxau6:armhf (1:1.0.9-1) ...
Selecting previously unselected package libmd0:armhf.
Preparing to unpack .../28-libmd0_1.0.4-1_armhf.deb ...
Unpacking libmd0:armhf (1.0.4-1) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../29-libbsd0_0.11.6-1_armhf.deb ...
Unpacking libbsd0:armhf (0.11.6-1) ...
Selecting previously unselected package libxdmcp6:armhf.
Preparing to unpack .../30-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 .../31-libxcb1_1.14-3_armhf.deb ...
Unpacking libxcb1:armhf (1.14-3) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../32-libx11-data_2%3a1.7.5-1_all.deb ...
Unpacking libx11-data (2:1.7.5-1) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../33-libx11-6_2%3a1.7.5-1_armhf.deb ...
Unpacking libx11-6:armhf (2:1.7.5-1) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../34-libxext6_2%3a1.3.4-1_armhf.deb ...
Unpacking libxext6:armhf (2:1.3.4-1) ...
Selecting previously unselected package libicu71:armhf.
Preparing to unpack .../35-libicu71_71.1-3_armhf.deb ...
Unpacking libicu71:armhf (71.1-3) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../36-libxml2_2.9.14+dfsg-1_armhf.deb ...
Unpacking libxml2:armhf (2.9.14+dfsg-1) ...
Selecting previously unselected package imagemagick-6-common.
Preparing to unpack .../37-imagemagick-6-common_8%3a6.9.11.60+dfsg-1.3_all.deb ...
Unpacking imagemagick-6-common (8:6.9.11.60+dfsg-1.3) ...
Selecting previously unselected package libmagickcore-6.q16-6:armhf.
Preparing to unpack .../38-libmagickcore-6.q16-6_8%3a6.9.11.60+dfsg-1.3+b2_armhf.deb ...
Unpacking libmagickcore-6.q16-6:armhf (8:6.9.11.60+dfsg-1.3+b2) ...
Selecting previously unselected package libmagickwand-6.q16-6:armhf.
Preparing to unpack .../39-libmagickwand-6.q16-6_8%3a6.9.11.60+dfsg-1.3+b2_armhf.deb ...
Unpacking libmagickwand-6.q16-6:armhf (8:6.9.11.60+dfsg-1.3+b2) ...
Selecting previously unselected package poppler-data.
Preparing to unpack .../40-poppler-data_0.4.11-1_all.deb ...
Unpacking poppler-data (0.4.11-1) ...
Selecting previously unselected package libpython3.10-minimal:armhf.
Preparing to unpack .../41-libpython3.10-minimal_3.10.5-1+b1_armhf.deb ...
Unpacking libpython3.10-minimal:armhf (3.10.5-1+b1) ...
Selecting previously unselected package python3.10-minimal.
Preparing to unpack .../42-python3.10-minimal_3.10.5-1+b1_armhf.deb ...
Unpacking python3.10-minimal (3.10.5-1+b1) ...
Setting up libpython3.10-minimal:armhf (3.10.5-1+b1) ...
Setting up libexpat1:armhf (2.4.8-1) ...
Setting up python3.10-minimal (3.10.5-1+b1) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 14686 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.10.4-1+b1_armhf.deb ...
Unpacking python3-minimal (3.10.4-1+b1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../1-media-types_8.0.0_all.deb ...
Unpacking media-types (8.0.0) ...
Selecting previously unselected package libmpdec3:armhf.
Preparing to unpack .../2-libmpdec3_2.5.1-2+rpi1_armhf.deb ...
Unpacking libmpdec3:armhf (2.5.1-2+rpi1) ...
Selecting previously unselected package libpython3.10-stdlib:armhf.
Preparing to unpack .../3-libpython3.10-stdlib_3.10.5-1+b1_armhf.deb ...
Unpacking libpython3.10-stdlib:armhf (3.10.5-1+b1) ...
Selecting previously unselected package python3.10.
Preparing to unpack .../4-python3.10_3.10.5-1+b1_armhf.deb ...
Unpacking python3.10 (3.10.5-1+b1) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../5-libpython3-stdlib_3.10.4-1+b1_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.10.4-1+b1) ...
Setting up python3-minimal (3.10.4-1+b1) ...
Selecting previously unselected package python3.
(Reading database ... 15091 files and directories currently installed.)
Preparing to unpack .../00-python3_3.10.4-1+b1_armhf.deb ...
Unpacking python3 (3.10.4-1+b1) ...
Selecting previously unselected package tex-common.
Preparing to unpack .../01-tex-common_6.17_all.deb ...
Unpacking tex-common (6.17) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../02-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../03-groff-base_1.22.4-8_armhf.deb ...
Unpacking groff-base (1.22.4-8) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../04-bsdextrautils_2.38-4_armhf.deb ...
Unpacking bsdextrautils (2.38-4) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../05-libpipeline1_1.5.6-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.6-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../06-man-db_2.10.2-1_armhf.deb ...
Unpacking man-db (2.10.2-1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../07-libmagic-mgc_1%3a5.41-4_armhf.deb ...
Unpacking libmagic-mgc (1:5.41-4) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../08-libmagic1_1%3a5.41-4_armhf.deb ...
Unpacking libmagic1:armhf (1:5.41-4) ...
Selecting previously unselected package file.
Preparing to unpack .../09-file_1%3a5.41-4_armhf.deb ...
Unpacking file (1:5.41-4) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../10-gettext-base_0.21-6_armhf.deb ...
Unpacking gettext-base (0.21-6) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../11-libsigsegv2_2.14-1_armhf.deb ...
Unpacking libsigsegv2:armhf (2.14-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../12-m4_1.4.18-5_armhf.deb ...
Unpacking m4 (1.4.18-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../13-autoconf_2.71-2_all.deb ...
Unpacking autoconf (2.71-2) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../14-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../15-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../16-autopoint_0.21-6_all.deb ...
Unpacking autopoint (0.21-6) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../17-libdebhelper-perl_13.8_all.deb ...
Unpacking libdebhelper-perl (13.8) ...
Selecting previously unselected package libtool.
Preparing to unpack .../18-libtool_2.4.7-4_all.deb ...
Unpacking libtool (2.4.7-4) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../19-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../20-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../21-libsub-override-perl_0.09-3_all.deb ...
Unpacking libsub-override-perl (0.09-3) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../22-libfile-stripnondeterminism-perl_1.13.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.13.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../23-dh-strip-nondeterminism_1.13.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.13.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../24-libelf1_0.187-1_armhf.deb ...
Unpacking libelf1:armhf (0.187-1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../25-dwz_0.14-1_armhf.deb ...
Unpacking dwz (0.14-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../26-gettext_0.21-6_armhf.deb ...
Unpacking gettext (0.21-6) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../27-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 .../28-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../29-debhelper_13.8_all.deb ...
Unpacking debhelper (13.8) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../30-dh-ocaml_1.1.3_all.deb ...
Unpacking dh-ocaml (1.1.3) ...
Selecting previously unselected package fonts-lmodern.
Preparing to unpack .../31-fonts-lmodern_2.005-1_all.deb ...
Unpacking fonts-lmodern (2.005-1) ...
Selecting previously unselected package libgs9-common.
Preparing to unpack .../32-libgs9-common_9.56.1~dfsg-1_all.deb ...
Unpacking libgs9-common (9.56.1~dfsg-1) ...
Selecting previously unselected package libavahi-common-data:armhf.
Preparing to unpack .../33-libavahi-common-data_0.8-6+b1_armhf.deb ...
Unpacking libavahi-common-data:armhf (0.8-6+b1) ...
Selecting previously unselected package libavahi-common3:armhf.
Preparing to unpack .../34-libavahi-common3_0.8-6+b1_armhf.deb ...
Unpacking libavahi-common3:armhf (0.8-6+b1) ...
Selecting previously unselected package libdbus-1-3:armhf.
Preparing to unpack .../35-libdbus-1-3_1.14.0-1+b2_armhf.deb ...
Unpacking libdbus-1-3:armhf (1.14.0-1+b2) ...
Selecting previously unselected package libavahi-client3:armhf.
Preparing to unpack .../36-libavahi-client3_0.8-6+b1_armhf.deb ...
Unpacking libavahi-client3:armhf (0.8-6+b1) ...
Selecting previously unselected package libcups2:armhf.
Preparing to unpack .../37-libcups2_2.4.2-1_armhf.deb ...
Unpacking libcups2:armhf (2.4.2-1) ...
Selecting previously unselected package libidn12:armhf.
Preparing to unpack .../38-libidn12_1.41-1_armhf.deb ...
Unpacking libidn12:armhf (1.41-1) ...
Selecting previously unselected package libijs-0.35:armhf.
Preparing to unpack .../39-libijs-0.35_0.35-15_armhf.deb ...
Unpacking libijs-0.35:armhf (0.35-15) ...
Selecting previously unselected package libjbig2dec0:armhf.
Preparing to unpack .../40-libjbig2dec0_0.19-3+b2_armhf.deb ...
Unpacking libjbig2dec0:armhf (0.19-3+b2) ...
Selecting previously unselected package libpaper1:armhf.
Preparing to unpack .../41-libpaper1_1.1.28_armhf.deb ...
Unpacking libpaper1:armhf (1.1.28) ...
Selecting previously unselected package libgs9:armhf.
Preparing to unpack .../42-libgs9_9.56.1~dfsg-1_armhf.deb ...
Unpacking libgs9:armhf (9.56.1~dfsg-1) ...
Selecting previously unselected package ghostscript.
Preparing to unpack .../43-ghostscript_9.56.1~dfsg-1_armhf.deb ...
Unpacking ghostscript (9.56.1~dfsg-1) ...
Selecting previously unselected package libnetpbm11:armhf.
Preparing to unpack .../44-libnetpbm11_2%3a10.97.00-2_armhf.deb ...
Unpacking libnetpbm11:armhf (2:10.97.00-2) ...
Selecting previously unselected package netpbm.
Preparing to unpack .../45-netpbm_2%3a10.97.00-2_armhf.deb ...
Unpacking netpbm (2:10.97.00-2) ...
Selecting previously unselected package libpaper-utils.
Preparing to unpack .../46-libpaper-utils_1.1.28_armhf.deb ...
Unpacking libpaper-utils (1.1.28) ...
Selecting previously unselected package libkpathsea6:armhf.
Preparing to unpack .../47-libkpathsea6_2022.20220321.62855-4_armhf.deb ...
Unpacking libkpathsea6:armhf (2022.20220321.62855-4) ...
Selecting previously unselected package libptexenc1:armhf.
Preparing to unpack .../48-libptexenc1_2022.20220321.62855-4_armhf.deb ...
Unpacking libptexenc1:armhf (2022.20220321.62855-4) ...
Selecting previously unselected package libsynctex2:armhf.
Preparing to unpack .../49-libsynctex2_2022.20220321.62855-4_armhf.deb ...
Unpacking libsynctex2:armhf (2022.20220321.62855-4) ...
Selecting previously unselected package libtexlua53-5:armhf.
Preparing to unpack .../50-libtexlua53-5_2022.20220321.62855-4_armhf.deb ...
Unpacking libtexlua53-5:armhf (2022.20220321.62855-4) ...
Selecting previously unselected package libtexluajit2:armhf.
Preparing to unpack .../51-libtexluajit2_2022.20220321.62855-4_armhf.deb ...
Unpacking libtexluajit2:armhf (2022.20220321.62855-4) ...
Selecting previously unselected package t1utils.
Preparing to unpack .../52-t1utils_1.41-4_armhf.deb ...
Unpacking t1utils (1.41-4) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../53-libpixman-1-0_0.40.0-1_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.40.0-1) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../54-libxcb-render0_1.14-3_armhf.deb ...
Unpacking libxcb-render0:armhf (1.14-3) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../55-libxcb-shm0_1.14-3_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.14-3) ...
Selecting previously unselected package libxrender1:armhf.
Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1_armhf.deb ...
Unpacking libxrender1:armhf (1:0.9.10-1.1) ...
Selecting previously unselected package libcairo2:armhf.
Preparing to unpack .../57-libcairo2_1.16.0-5_armhf.deb ...
Unpacking libcairo2:armhf (1.16.0-5) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../58-libgraphite2-3_1.3.14-1_armhf.deb ...
Unpacking libgraphite2-3:armhf (1.3.14-1) ...
Selecting previously unselected package libharfbuzz0b:armhf.
Preparing to unpack .../59-libharfbuzz0b_2.7.4-1+b1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (2.7.4-1+b1) ...
Selecting previously unselected package libteckit0:armhf.
Preparing to unpack .../60-libteckit0_2.5.11+ds1-1_armhf.deb ...
Unpacking libteckit0:armhf (2.5.11+ds1-1) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../61-x11-common_1%3a7.7+23_all.deb ...
Unpacking x11-common (1:7.7+23) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../62-libice6_2%3a1.0.10-1_armhf.deb ...
Unpacking libice6:armhf (2:1.0.10-1) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../63-libsm6_2%3a1.2.3-1_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.3-1) ...
Selecting previously unselected package libxt6:armhf.
Preparing to unpack .../64-libxt6_1%3a1.2.1-1_armhf.deb ...
Unpacking libxt6:armhf (1:1.2.1-1) ...
Selecting previously unselected package libxmu6:armhf.
Preparing to unpack .../65-libxmu6_2%3a1.1.3-3_armhf.deb ...
Unpacking libxmu6:armhf (2:1.1.3-3) ...
Selecting previously unselected package libxpm4:armhf.
Preparing to unpack .../66-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 .../67-libxaw7_2%3a1.0.14-1_armhf.deb ...
Unpacking libxaw7:armhf (2:1.0.14-1) ...
Selecting previously unselected package libxi6:armhf.
Preparing to unpack .../68-libxi6_2%3a1.8-1_armhf.deb ...
Unpacking libxi6:armhf (2:1.8-1) ...
Selecting previously unselected package libzzip-0-13:armhf.
Preparing to unpack .../69-libzzip-0-13_0.13.72+dfsg.1-1.1_armhf.deb ...
Unpacking libzzip-0-13:armhf (0.13.72+dfsg.1-1.1) ...
Selecting previously unselected package texlive-binaries.
Preparing to unpack .../70-texlive-binaries_2022.20220321.62855-4_armhf.deb ...
Unpacking texlive-binaries (2022.20220321.62855-4) ...
Selecting previously unselected package xdg-utils.
Preparing to unpack .../71-xdg-utils_1.1.3-4.1_all.deb ...
Unpacking xdg-utils (1.1.3-4.1) ...
Selecting previously unselected package texlive-base.
Preparing to unpack .../72-texlive-base_2022.20220405-2_all.deb ...
Unpacking texlive-base (2022.20220405-2) ...
Selecting previously unselected package hevea.
Preparing to unpack .../73-hevea_2.35-1+b5_armhf.deb ...
Unpacking hevea (2.35-1+b5) ...
Selecting previously unselected package hicolor-icon-theme.
Preparing to unpack .../74-hicolor-icon-theme_0.17-2_all.deb ...
Unpacking hicolor-icon-theme (0.17-2) ...
Selecting previously unselected package imagemagick-6.q16.
Preparing to unpack .../75-imagemagick-6.q16_8%3a6.9.11.60+dfsg-1.3+b2_armhf.deb ...
Unpacking imagemagick-6.q16 (8:6.9.11.60+dfsg-1.3+b2) ...
Selecting previously unselected package imagemagick.
Preparing to unpack .../76-imagemagick_8%3a6.9.11.60+dfsg-1.3+b2_armhf.deb ...
Unpacking imagemagick (8:6.9.11.60+dfsg-1.3+b2) ...
Selecting previously unselected package libapache-pom-java.
Preparing to unpack .../77-libapache-pom-java_18-1_all.deb ...
Unpacking libapache-pom-java (18-1) ...
Selecting previously unselected package libcommons-parent-java.
Preparing to unpack .../78-libcommons-parent-java_43-1_all.deb ...
Unpacking libcommons-parent-java (43-1) ...
Selecting previously unselected package libcommons-logging-java.
Preparing to unpack .../79-libcommons-logging-java_1.2-3_all.deb ...
Unpacking libcommons-logging-java (1.2-3) ...
Selecting previously unselected package libfontbox-java.
Preparing to unpack .../80-libfontbox-java_1%3a1.8.16-2_all.deb ...
Unpacking libfontbox-java (1:1.8.16-2) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../81-libncurses6_6.3+20220423-2_armhf.deb ...
Unpacking libncurses6:armhf (6.3+20220423-2) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../82-libncurses-dev_6.3+20220423-2_armhf.deb ...
Unpacking libncurses-dev:armhf (6.3+20220423-2) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../83-libncurses5-dev_6.3+20220423-2_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.3+20220423-2) ...
Selecting previously unselected package libpdfbox-java.
Preparing to unpack .../84-libpdfbox-java_1%3a1.8.16-2_all.deb ...
Unpacking libpdfbox-java (1:1.8.16-2) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../85-ocaml-compiler-libs_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.13.1-3+rpi1) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../86-ocaml-base_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml-base (4.13.1-3+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../87-ocaml-interp_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.13.1-3+rpi1) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../88-ocaml_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml (4.13.1-3+rpi1) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../89-ocaml-dune_2.9.1-1+b2_armhf.deb ...
Unpacking ocaml-dune (2.9.1-1+b2) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../90-ocaml-nox_4.13.1-3+rpi1_all.deb ...
Unpacking ocaml-nox (4.13.1-3+rpi1) ...
Selecting previously unselected package preview-latex-style.
Preparing to unpack .../91-preview-latex-style_12.2-1_all.deb ...
Unpacking preview-latex-style (12.2-1) ...
Selecting previously unselected package texlive-fonts-recommended.
Preparing to unpack .../92-texlive-fonts-recommended_2022.20220405-2_all.deb ...
Unpacking texlive-fonts-recommended (2022.20220405-2) ...
Selecting previously unselected package texlive-latex-base.
Preparing to unpack .../93-texlive-latex-base_2022.20220405-2_all.deb ...
Unpacking texlive-latex-base (2022.20220405-2) ...
Selecting previously unselected package texlive-latex-recommended.
Preparing to unpack .../94-texlive-latex-recommended_2022.20220405-2_all.deb ...
Unpacking texlive-latex-recommended (2022.20220405-2) ...
Selecting previously unselected package texlive-pictures.
Preparing to unpack .../95-texlive-pictures_2022.20220405-2_all.deb ...
Unpacking texlive-pictures (2022.20220405-2) ...
Selecting previously unselected package texlive-latex-extra.
Preparing to unpack .../96-texlive-latex-extra_2022.20220405-3_all.deb ...
Unpacking texlive-latex-extra (2022.20220405-3) ...
Selecting previously unselected package sbuild-build-depends-menhir-dummy.
Preparing to unpack .../97-sbuild-build-depends-menhir-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Setting up media-types (8.0.0) ...
Setting up libpipeline1:armhf (1.5.6-1) ...
Setting up libgraphite2-3:armhf (1.3.14-1) ...
Setting up liblcms2-2:armhf (2.12~rc1-2) ...
Setting up libpixman-1-0:armhf (0.40.0-1) ...
Setting up libicu71:armhf (71.1-3) ...
Setting up libaom3:armhf (3.4.0-1) ...
Setting up libxau6:armhf (1:1.0.9-1) ...
Setting up imagemagick-6-common (8:6.9.11.60+dfsg-1.3) ...
Setting up bsdextrautils (2.38-4) ...
Setting up hicolor-icon-theme (0.17-2) ...
Setting up libmagic-mgc (1:5.41-4) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libglib2.0-0:armhf (2.72.3-1) ...
No schema files found: doing nothing.
Setting up libijs-0.35:armhf (0.35-15) ...
Setting up libtexluajit2:armhf (2022.20220321.62855-4) ...
Setting up libdebhelper-perl (13.8) ...
Setting up libbrotli1:armhf (1.0.9-2+b2) ...
Setting up libfontbox-java (1:1.8.16-2) ...
Setting up x11-common (1:7.7+23) ...
invoke-rc.d: could not determine current runlevel
invoke-rc.d: policy-rc.d denied execution of restart.
Setting up dh-ocaml (1.1.3) ...
Setting up libmagic1:armhf (1:5.41-4) ...
Setting up libnetpbm11:armhf (2:10.97.00-2) ...
Setting up libdeflate0:armhf (1.12-1) ...
Setting up gettext-base (0.21-6) ...
Setting up libzzip-0-13:armhf (0.13.72+dfsg.1-1.1) ...
Setting up file (1:5.41-4) ...
Setting up fonts-urw-base35 (20200910-1) ...
Setting up libjbig0:armhf (2.1-3.1+b2) ...
Setting up poppler-data (0.4.11-1) ...
Setting up ocaml-dune (2.9.1-1+b2) ...
Setting up autotools-dev (20220109.1) ...
Setting up libjpeg62-turbo:armhf (1:2.1.2-1) ...
Setting up libx11-data (2:1.7.5-1) ...
Setting up libjbig2dec0:armhf (0.19-3+b2) ...
Setting up liblerc3:armhf (3.0+ds-1) ...
Setting up libteckit0:armhf (2.5.11+ds1-1) ...
Setting up libapache-pom-java (18-1) ...
Setting up libavahi-common-data:armhf (0.8-6+b1) ...
Setting up libncurses6:armhf (6.3+20220423-2) ...
Setting up libdbus-1-3:armhf (1.14.0-1+b2) ...
Setting up libsigsegv2:armhf (2.14-1) ...
Setting up t1utils (1.41-4) ...
Setting up libtexlua53-5:armhf (2022.20220321.62855-4) ...
Setting up libpng16-16:armhf (1.6.37-5) ...
Setting up libidn12:armhf (1.41-1) ...
Setting up autopoint (0.21-6) ...
Setting up ocaml-base (4.13.1-3+rpi1) ...
Setting up ucf (3.0043) ...
Setting up libdav1d6:armhf (1.0.0-2+rpi1) ...
Setting up libltdl7:armhf (2.4.7-4) ...
Setting up libfftw3-double3:armhf (3.3.8-2) ...
Setting up libkpathsea6:armhf (2022.20220321.62855-4) ...
Setting up libx265-199:armhf (3.5-2) ...
Setting up libwebp7:armhf (1.2.2-2) ...
Setting up libmd0:armhf (1.0.4-1) ...
Setting up liblqr-1-0:armhf (0.4.2-2.1) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up libmpdec3:armhf (2.5.1-2+rpi1) ...
Setting up fonts-lmodern (2.005-1) ...
Setting up libopenjp2-7:armhf (2.5.0-1) ...
Setting up libsub-override-perl (0.09-3) ...
Setting up libtiff5:armhf (4.4.0-2) ...
Setting up libde265-0:armhf (1.0.8-1+rpi1+b1) ...
Setting up libwebpmux3:armhf (1.2.2-2) ...
Setting up libbsd0:armhf (0.11.6-1) ...
Setting up libelf1:armhf (0.187-1) ...
Setting up libxml2:armhf (2.9.14+dfsg-1) ...
Setting up xdg-utils (1.1.3-4.1) ...
update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode
Setting up libsynctex2:armhf (2022.20220321.62855-4) ...
Setting up libgs9-common (9.56.1~dfsg-1) ...
Setting up libfile-stripnondeterminism-perl (1.13.0-1) ...
Setting up libpaper1:armhf (1.1.28) ...
Creating config file /etc/papersize with new version
Setting up libice6:armhf (2:1.0.10-1) ...
Setting up libxdmcp6:armhf (1:1.1.2-3) ...
Setting up libncurses-dev:armhf (6.3+20220423-2) ...
Setting up libxcb1:armhf (1.14-3) ...
Setting up gettext (0.21-6) ...
Setting up libpdfbox-java (1:1.8.16-2) ...
Setting up libtool (2.4.7-4) ...
Setting up libxcb-render0:armhf (1.14-3) ...
Setting up fontconfig-config (2.13.1-4.4) ...
Setting up libwebpdemux2:armhf (1.2.2-2) ...
Setting up libheif1:armhf (1.12.0-2+b4) ...
Setting up libcommons-parent-java (43-1) ...
Setting up libavahi-common3:armhf (0.8-6+b1) ...
Setting up libcommons-logging-java (1.2-3) ...
Setting up m4 (1.4.18-5) ...
Setting up libxcb-shm0:armhf (1.14-3) ...
Setting up libpaper-utils (1.1.28) ...
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up libpython3.10-stdlib:armhf (3.10.5-1+b1) ...
Setting up tex-common (6.17) ...
update-language: texlive-base not installed and configured, doing nothing!
Setting up libptexenc1:armhf (2022.20220321.62855-4) ...
Setting up libfreetype6:armhf (2.12.1+dfsg-3) ...
Setting up autoconf (2.71-2) ...
Setting up dh-strip-nondeterminism (1.13.0-1) ...
Setting up dwz (0.14-1) ...
Setting up groff-base (1.22.4-8) ...
Setting up libncurses5-dev:armhf (6.3+20220423-2) ...
Setting up libx11-6:armhf (2:1.7.5-1) ...
Setting up libharfbuzz0b:armhf (2.7.4-1+b1) ...
Setting up libfontconfig1:armhf (2.13.1-4.4) ...
Setting up libsm6:armhf (2:1.2.3-1) ...
Setting up libavahi-client3:armhf (0.8-6+b1) ...
Setting up libpython3-stdlib:armhf (3.10.4-1+b1) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up python3.10 (3.10.5-1+b1) ...
Setting up libxpm4:armhf (1:3.5.12-1) ...
Setting up libxrender1:armhf (1:0.9.10-1.1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up preview-latex-style (12.2-1) ...
Setting up libxext6:armhf (2:1.3.4-1) ...
Setting up python3 (3.10.4-1+b1) ...
Setting up man-db (2.10.2-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libcairo2:armhf (1.16.0-5) ...
Setting up dh-autoreconf (20) ...
Setting up libmagickcore-6.q16-6:armhf (8:6.9.11.60+dfsg-1.3+b2) ...
Setting up netpbm (2:10.97.00-2) ...
Setting up libxt6:armhf (1:1.2.1-1) ...
Setting up libcups2:armhf (2.4.2-1) ...
Setting up libmagickwand-6.q16-6:armhf (8:6.9.11.60+dfsg-1.3+b2) ...
Setting up libxmu6:armhf (2:1.1.3-3) ...
Setting up libgs9:armhf (9.56.1~dfsg-1) ...
Setting up libxi6:armhf (2:1.8-1) ...
Setting up debhelper (13.8) ...
Setting up libxaw7:armhf (2:1.0.14-1) ...
Setting up ghostscript (9.56.1~dfsg-1) ...
Setting up imagemagick-6.q16 (8:6.9.11.60+dfsg-1.3+b2) ...
update-alternatives: using /usr/bin/compare-im6.q16 to provide /usr/bin/compare (compare) in auto mode
update-alternatives: using /usr/bin/compare-im6.q16 to provide /usr/bin/compare-im6 (compare-im6) in auto mode
update-alternatives: using /usr/bin/animate-im6.q16 to provide /usr/bin/animate (animate) in auto mode
update-alternatives: using /usr/bin/animate-im6.q16 to provide /usr/bin/animate-im6 (animate-im6) in auto mode
update-alternatives: using /usr/bin/convert-im6.q16 to provide /usr/bin/convert (convert) in auto mode
update-alternatives: using /usr/bin/convert-im6.q16 to provide /usr/bin/convert-im6 (convert-im6) in auto mode
update-alternatives: using /usr/bin/composite-im6.q16 to provide /usr/bin/composite (composite) in auto mode
update-alternatives: using /usr/bin/composite-im6.q16 to provide /usr/bin/composite-im6 (composite-im6) in auto mode
update-alternatives: using /usr/bin/conjure-im6.q16 to provide /usr/bin/conjure (conjure) in auto mode
update-alternatives: using /usr/bin/conjure-im6.q16 to provide /usr/bin/conjure-im6 (conjure-im6) in auto mode
update-alternatives: using /usr/bin/import-im6.q16 to provide /usr/bin/import (import) in auto mode
update-alternatives: using /usr/bin/import-im6.q16 to provide /usr/bin/import-im6 (import-im6) in auto mode
update-alternatives: using /usr/bin/identify-im6.q16 to provide /usr/bin/identify (identify) in auto mode
update-alternatives: using /usr/bin/identify-im6.q16 to provide /usr/bin/identify-im6 (identify-im6) in auto mode
update-alternatives: using /usr/bin/stream-im6.q16 to provide /usr/bin/stream (stream) in auto mode
update-alternatives: using /usr/bin/stream-im6.q16 to provide /usr/bin/stream-im6 (stream-im6) in auto mode
update-alternatives: using /usr/bin/display-im6.q16 to provide /usr/bin/display (display) in auto mode
update-alternatives: using /usr/bin/display-im6.q16 to provide /usr/bin/display-im6 (display-im6) in auto mode
update-alternatives: using /usr/bin/montage-im6.q16 to provide /usr/bin/montage (montage) in auto mode
update-alternatives: using /usr/bin/montage-im6.q16 to provide /usr/bin/montage-im6 (montage-im6) in auto mode
update-alternatives: using /usr/bin/mogrify-im6.q16 to provide /usr/bin/mogrify (mogrify) in auto mode
update-alternatives: using /usr/bin/mogrify-im6.q16 to provide /usr/bin/mogrify-im6 (mogrify-im6) in auto mode
Setting up texlive-binaries (2022.20220321.62855-4) ...
update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode
update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode
Setting up texlive-base (2022.20220405-2) ...
tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps
tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg
tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper
tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex
Setting up texlive-latex-base (2022.20220405-2) ...
Setting up texlive-latex-recommended (2022.20220405-2) ...
Setting up hevea (2.35-1+b5) ...
Setting up texlive-pictures (2022.20220405-2) ...
Setting up imagemagick (8:6.9.11.60+dfsg-1.3+b2) ...
Setting up texlive-fonts-recommended (2022.20220405-2) ...
Setting up texlive-latex-extra (2022.20220405-3) ...
Setting up ocaml-compiler-libs (4.13.1-3+rpi1) ...
Setting up ocaml-interp (4.13.1-3+rpi1) ...
Setting up ocaml (4.13.1-3+rpi1) ...
Setting up ocaml-nox (4.13.1-3+rpi1) ...
Setting up sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.33-7+rpi1) ...
Processing triggers for tex-common (6.17) ...
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Building format(s) --all.
This may take some time... done.
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.15.0-187-generic armhf (armv8l)
Toolchain package versions: binutils_2.38-4+rpi1 dpkg-dev_1.21.8+rpi1 g++-11_11.3.0-1+rpi1 gcc-11_11.3.0-1+rpi1 libc6-dev_2.33-7+rpi1 libstdc++-11-dev_11.3.0-1+rpi1 libstdc++6_12.1.0-2+rpi1 linux-libc-dev_5.18.2-1+rpi1
Package versions: adduser_3.121 apt_2.5.0 autoconf_2.71-2 automake_1:1.16.5-1.3 autopoint_0.21-6 autotools-dev_20220109.1 base-files_12.2+rpi1 base-passwd_3.5.52 bash_5.1-6.1 binutils_2.38-4+rpi1 binutils-arm-linux-gnueabihf_2.38-4+rpi1 binutils-common_2.38-4+rpi1 bsdextrautils_2.38-4 bsdutils_1:2.38-4 build-essential_12.9 bzip2_1.0.8-5+b2 coreutils_8.32-4.1 cpp_4:11.2.0-2+rpi1 cpp-11_11.3.0-1+rpi1 dash_0.5.11+git20210903+057cd650a4ed-8 debconf_1.5.79 debhelper_13.8 debianutils_5.7-0.2 dh-autoreconf_20 dh-ocaml_1.1.3 dh-strip-nondeterminism_1.13.0-1 diffutils_1:3.7-5 dirmngr_2.2.35-2 dpkg_1.21.8+rpi1 dpkg-dev_1.21.8+rpi1 dwz_0.14-1 e2fsprogs_1.46.5-2 fakeroot_1.29-1 file_1:5.41-4 findutils_4.9.0-3 fontconfig-config_2.13.1-4.4 fonts-lmodern_2.005-1 fonts-urw-base35_20200910-1 g++_4:11.2.0-2+rpi1 g++-11_11.3.0-1+rpi1 gcc_4:11.2.0-2+rpi1 gcc-11_11.3.0-1+rpi1 gcc-11-base_11.3.0-1+rpi1 gcc-12-base_12.1.0-2+rpi1 gcc-7-base_7.5.0-6+rpi1+b2 gcc-8-base_8.4.0-7+rpi1 gcc-9-base_9.4.0-2+rpi1 gettext_0.21-6 gettext-base_0.21-6 ghostscript_9.56.1~dfsg-1 gnupg_2.2.35-2 gnupg-l10n_2.2.35-2 gnupg-utils_2.2.35-2 gpg_2.2.35-2 gpg-agent_2.2.35-2 gpg-wks-client_2.2.35-2 gpg-wks-server_2.2.35-2 gpgconf_2.2.35-2 gpgsm_2.2.35-2 gpgv_2.2.35-2 grep_3.7-1 groff-base_1.22.4-8 gzip_1.12-1 hevea_2.35-1+b5 hicolor-icon-theme_0.17-2 hostname_3.23 imagemagick_8:6.9.11.60+dfsg-1.3+b2 imagemagick-6-common_8:6.9.11.60+dfsg-1.3 imagemagick-6.q16_8:6.9.11.60+dfsg-1.3+b2 init-system-helpers_1.63 intltool-debian_0.35.0+20060710.5 iputils-ping_3:20211215-1 krb5-locales_1.19.2-2 libacl1_2.3.1-1 libaom3_3.4.0-1 libapache-pom-java_18-1 libapt-pkg6.0_2.5.0 libarchive-zip-perl_1.68-1 libasan6_11.3.0-1+rpi1 libassuan0_2.5.5-3 libatomic1_12.1.0-2+rpi1 libattr1_1:2.5.1-1 libaudit-common_1:3.0.7-1 libaudit1_1:3.0.7-1+b1 libavahi-client3_0.8-6+b1 libavahi-common-data_0.8-6+b1 libavahi-common3_0.8-6+b1 libbinutils_2.38-4+rpi1 libblkid1_2.38-4 libbrotli1_1.0.9-2+b2 libbsd0_0.11.6-1 libbz2-1.0_1.0.8-5+b2 libc-bin_2.33-7+rpi1 libc-dev-bin_2.33-7+rpi1 libc6_2.33-7+rpi1 libc6-dev_2.33-7+rpi1 libcairo2_1.16.0-5 libcap-ng0_0.7.9-2.2+b2 libcap2_1:2.44-1 libcap2-bin_1:2.44-1 libcc1-0_12.1.0-2+rpi1 libcom-err2_1.46.5-2 libcommons-logging-java_1.2-3 libcommons-parent-java_43-1 libcrypt-dev_1:4.4.27-1.1 libcrypt1_1:4.4.27-1.1 libctf-nobfd0_2.38-4+rpi1 libctf0_2.38-4+rpi1 libcups2_2.4.2-1 libdav1d6_1.0.0-2+rpi1 libdb5.3_5.3.28+dfsg1-0.9 libdbus-1-3_1.14.0-1+b2 libde265-0_1.0.8-1+rpi1+b1 libdebconfclient0_0.263 libdebhelper-perl_13.8 libdeflate0_1.12-1 libdpkg-perl_1.21.8+rpi1 libelf1_0.187-1 libexpat1_2.4.8-1 libext2fs2_1.46.5-2 libfakeroot_1.29-1 libffi8_3.4.2-4 libfftw3-double3_3.3.8-2 libfile-stripnondeterminism-perl_1.13.0-1 libfontbox-java_1:1.8.16-2 libfontconfig1_2.13.1-4.4 libfreetype6_2.12.1+dfsg-3 libgcc-11-dev_11.3.0-1+rpi1 libgcc-s1_12.1.0-2+rpi1 libgcrypt20_1.10.1-2+b2 libgdbm-compat4_1.23-1 libgdbm6_1.23-1 libglib2.0-0_2.72.3-1 libgmp10_2:6.2.1+dfsg1-1 libgnutls30_3.7.4-2 libgomp1_12.1.0-2+rpi1 libgpg-error0_1.45-2 libgraphite2-3_1.3.14-1 libgs9_9.56.1~dfsg-1 libgs9-common_9.56.1~dfsg-1 libgssapi-krb5-2_1.19.2-2+b7 libharfbuzz0b_2.7.4-1+b1 libheif1_1.12.0-2+b4 libhogweed6_3.7.3-1 libice6_2:1.0.10-1 libicu71_71.1-3 libidn12_1.41-1 libidn2-0_2.3.2-2 libijs-0.35_0.35-15 libisl23_0.24-2 libjbig0_2.1-3.1+b2 libjbig2dec0_0.19-3+b2 libjpeg62-turbo_1:2.1.2-1 libk5crypto3_1.19.2-2+b7 libkeyutils1_1.6.1-3+rpi1 libkpathsea6_2022.20220321.62855-4 libkrb5-3_1.19.2-2+b7 libkrb5support0_1.19.2-2+b7 libksba8_1.6.0-2 liblcms2-2_2.12~rc1-2 libldap-2.5-0_2.5.12+dfsg-2 liblerc3_3.0+ds-1 liblqr-1-0_0.4.2-2.1 libltdl7_2.4.7-4 liblz4-1_1.9.3-2 liblzma5_5.2.5-2.1 libmagic-mgc_1:5.41-4 libmagic1_1:5.41-4 libmagickcore-6.q16-6_8:6.9.11.60+dfsg-1.3+b2 libmagickwand-6.q16-6_8:6.9.11.60+dfsg-1.3+b2 libmd0_1.0.4-1 libmount1_2.38-4 libmpc3_1.2.1-2 libmpdec3_2.5.1-2+rpi1 libmpfr6_4.1.0-3 libncurses-dev_6.3+20220423-2 libncurses5-dev_6.3+20220423-2 libncurses6_6.3+20220423-2 libncursesw6_6.3+20220423-2 libnetpbm11_2:10.97.00-2 libnettle8_3.7.3-1 libnpth0_1.6-3 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libopenjp2-7_2.5.0-1 libp11-kit0_0.24.1-1 libpam-cap_1:2.44-1 libpam-modules_1.4.0-13 libpam-modules-bin_1.4.0-13 libpam-runtime_1.4.0-13 libpam0g_1.4.0-13 libpaper-utils_1.1.28 libpaper1_1.1.28 libpcre2-8-0_10.40-1+b2 libpcre3_2:8.39-14 libpdfbox-java_1:1.8.16-2 libperl5.34_5.34.0-4 libpipeline1_1.5.6-1 libpixman-1-0_0.40.0-1 libpng16-16_1.6.37-5 libptexenc1_2022.20220321.62855-4 libpython3-stdlib_3.10.4-1+b1 libpython3.10-minimal_3.10.5-1+b1 libpython3.10-stdlib_3.10.5-1+b1 libreadline8_8.1.2-1.2 libsasl2-2_2.1.28+dfsg-6+b1 libsasl2-modules-db_2.1.28+dfsg-6+b1 libseccomp2_2.5.4-1+rpi1 libselinux1_3.4-1 libsemanage-common_3.4-1 libsemanage2_3.4-1 libsepol1_3.1-1 libsepol2_3.4-2 libsigsegv2_2.14-1 libsm6_2:1.2.3-1 libsmartcols1_2.38-4 libsqlite3-0_3.38.5-1 libss2_1.46.5-2 libssl1.1_1.1.1o-1 libssl3_3.0.3-8 libstdc++-11-dev_11.3.0-1+rpi1 libstdc++6_12.1.0-2+rpi1 libsub-override-perl_0.09-3 libsynctex2_2022.20220321.62855-4 libsystemd0_250.4-1+rpi1 libtasn1-6_4.18.0-4 libteckit0_2.5.11+ds1-1 libtexlua53-5_2022.20220321.62855-4 libtexluajit2_2022.20220321.62855-4 libtiff5_4.4.0-2 libtinfo6_6.3+20220423-2 libtirpc-common_1.3.2-2 libtirpc-dev_1.3.2-2 libtirpc3_1.3.2-2 libtool_2.4.7-4 libubsan1_12.1.0-2+rpi1 libuchardet0_0.0.7-1 libudev1_250.4-1+rpi1 libunistring2_1.0-1 libuuid1_2.38-4 libwebp7_1.2.2-2 libwebpdemux2_1.2.2-2 libwebpmux3_1.2.2-2 libx11-6_2:1.7.5-1 libx11-data_2:1.7.5-1 libx265-199_3.5-2 libxau6_1:1.0.9-1 libxaw7_2:1.0.14-1 libxcb-render0_1.14-3 libxcb-shm0_1.14-3 libxcb1_1.14-3 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.4-1 libxi6_2:1.8-1 libxml2_2.9.14+dfsg-1 libxmu6_2:1.1.3-3 libxpm4_1:3.5.12-1 libxrender1_1:0.9.10-1.1 libxt6_1:1.2.1-1 libxxhash0_0.8.1-1 libzstd1_1.5.2+dfsg-1 libzzip-0-13_0.13.72+dfsg.1-1.1 linux-libc-dev_5.18.2-1+rpi1 login_1:4.11.1+dfsg1-2 logsave_1.46.5-2 lsb-base_11.2+rpi1 m4_1.4.18-5 make_4.3-4.1 man-db_2.10.2-1 mawk_1.3.4.20200120-3.1 media-types_8.0.0 mount_2.38-4 nano_6.3-1 ncurses-base_6.3+20220423-2 ncurses-bin_6.3+20220423-2 netbase_6.3 netpbm_2:10.97.00-2 ocaml_4.13.1-3+rpi1 ocaml-base_4.13.1-3+rpi1 ocaml-compiler-libs_4.13.1-3+rpi1 ocaml-dune_2.9.1-1+b2 ocaml-interp_4.13.1-3+rpi1 ocaml-nox_4.13.1-3+rpi1 passwd_1:4.11.1+dfsg1-2 patch_2.7.6-7 perl_5.34.0-4 perl-base_5.34.0-4 perl-modules-5.34_5.34.0-4 pinentry-curses_1.2.0-1 po-debconf_1.0.21+nmu1 poppler-data_0.4.11-1 preview-latex-style_12.2-1 python3_3.10.4-1+b1 python3-minimal_3.10.4-1+b1 python3.10_3.10.5-1+b1 python3.10-minimal_3.10.5-1+b1 raspbian-archive-keyring_20120528.2 readline-common_8.1.2-1.2 rpcsvc-proto_1.4.2-4 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-menhir-dummy_0.invalid.0 sed_4.8-1 sensible-utils_0.0.17 sysvinit-utils_3.03-1 t1utils_1.41-4 tar_1.34+dfsg-1 tex-common_6.17 texlive-base_2022.20220405-2 texlive-binaries_2022.20220321.62855-4 texlive-fonts-recommended_2022.20220405-2 texlive-latex-base_2022.20220405-2 texlive-latex-extra_2022.20220405-3 texlive-latex-recommended_2022.20220405-2 texlive-pictures_2022.20220405-2 tzdata_2022a-1 ucf_3.0043 util-linux_2.38-4 util-linux-extra_2.38-4 x11-common_1:7.7+23 xdg-utils_1.1.3-4.1 xz-utils_5.2.5-2.1 zlib1g_1:1.2.11.dfsg-4+b2
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/tmp/dpkg-verify-sig.zAPXaBrT/trustedkeys.kbx': General error
gpgv: Signature made Fri May 13 14:39:33 2022 UTC
gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
gpgv: issuer "jpuydt@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify signature ./menhir_20220210+ds-2.dsc
dpkg-source: info: extracting menhir in /<<BUILDDIR>>/menhir-20220210+ds
dpkg-source: info: unpacking menhir_20220210+ds.orig.tar.xz
dpkg-source: info: unpacking menhir_20220210+ds-2.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying menhirLib
Check disk space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bookworm-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bookworm-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bookworm-staging-armhf-sbuild-4c847ba6-d637-4736-8662-b76a21e5547e
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package menhir
dpkg-buildpackage: info: source version 20220210+ds-2
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
debian/rules clean
dh clean --with ocaml
debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<BUILDDIR>>/menhir-20220210+ds'
dune clean
make[1]: Leaving directory '/<<BUILDDIR>>/menhir-20220210+ds'
dh_ocamlclean
dh_clean
debian/rules binary-arch
dh binary-arch --with ocaml
dh_update_autotools_config -a
dh_autoreconf -a
dh_ocamlinit -a
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<BUILDDIR>>/menhir-20220210+ds'
make -C doc
make[2]: Entering directory '/<<BUILDDIR>>/menhir-20220210+ds/doc'
pdflatex manual
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2021-11-15> patch level 1
L3 programming layer <2022-02-24> (./sigplanconf.cls
Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)))
(/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/base/fontenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de
f)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
tex)) (/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/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
ric.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
e.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
thmetics.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
s.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
ex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex))
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65
.sty)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarytopaths.code.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty)
(./fppdf.sty
Hyperlinks in pdflatex style.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))))
(./macros.tex) (./version.tex) (./hevea.sty
(/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty
Excluding comment 'comment') Excluding comment 'rawhtml'
Excluding comment 'htmlonly')
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
No file manual.aux.
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/var/lib/texmf/font
s/map/pdftex/updmap/pdftex.map}] [2]
LaTeX Warning: Citation `knuth-lr-65' on page 3 undefined on input line 58.
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd)
LaTeX Warning: Citation `johnson-yacc-79' on page 3 undefined on input line 59.
LaTeX Warning: Citation `tarditi-appel-00' on page 3 undefined on input line 59
.
LaTeX Warning: Citation `ocaml' on page 3 undefined on input line 60.
LaTeX Warning: Citation `aho-86' on page 3 undefined on input line 66.
LaTeX Warning: Citation `appel-tiger-98' on page 3 undefined on input line 66.
LaTeX Warning: Citation `hopcroft-motwani-ullman-00' on page 3 undefined on inp
ut line 66.
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd)
LaTeX Warning: Reference `sec:errors' on page 3 undefined on input line 108.
LaTeX Warning: Reference `sec:split' on page 3 undefined on input line 123.
LaTeX Warning: Reference `sec:sdk' on page 3 undefined on input line 139.
LaTeX Warning: Reference `sec:errors:new' on page 3 undefined on input line 151
.
[3]
LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 158
.
LaTeX Warning: Reference `sec:coq' on page 4 undefined on input line 160.
LaTeX Warning: Reference `sec:coq' on page 4 undefined on input line 182.
LaTeX Warning: Reference `sec:conflicts:benign' on page 4 undefined on input li
ne 184.
LaTeX Warning: Reference `sec:build' on page 4 undefined on input line 192.
LaTeX Warning: Reference `sec:conflicts' on page 4 undefined on input line 197.
LaTeX Warning: Reference `sec:onerrorreduce' on page 4 undefined on input line
198.
LaTeX Warning: Reference `sec:conflicts' on page 4 undefined on input line 203.
LaTeX Warning: Reference `sec:onerrorreduce' on page 4 undefined on input line
204.
LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 209
.
LaTeX Warning: Reference `sec:tokens' on page 4 undefined on input line 216.
LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 222
.
LaTeX Warning: Reference `sec:conflicts' on page 4 undefined on input line 228.
[4]
LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 250.
LaTeX Warning: Reference `sec:monolithic' on page 5 undefined on input line 253
.
LaTeX Warning: Reference `sec:incremental' on page 5 undefined on input line 25
4.
LaTeX Warning: Reference `sec:inspection' on page 5 undefined on input line 254
.
LaTeX Warning: Reference `sec:interpret' on page 5 undefined on input line 262.
LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 267
.
LaTeX Warning: Reference `sec:interpret' on page 5 undefined on input line 271.
LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 275
.
LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 294
.
LaTeX Warning: Reference `sec:library' on page 5 undefined on input line 304.
LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 306.
LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 308.
[5]
LaTeX Warning: Reference `sec:split' on page 6 undefined on input line 313.
LaTeX Warning: Reference `sec:templates' on page 6 undefined on input line 314.
LaTeX Warning: Reference `sec:inline' on page 6 undefined on input line 316.
LaTeX Warning: Reference `sec:tokens' on page 6 undefined on input line 360.
LaTeX Warning: Reference `sec:build' on page 6 undefined on input line 363.
LaTeX Warning: Reference `sec:tokens' on page 6 undefined on input line 366.
LaTeX Warning: Reference `sec:errors' on page 6 undefined on input line 380.
LaTeX Warning: Reference `sec:build' on page 6 undefined on input line 389.
LaTeX Warning: Reference `sec:qa' on page 6 undefined on input line 394.
[6]
LaTeX Warning: Reference `sec:incremental' on page 7 undefined on input line 40
7.
LaTeX Warning: Reference `sec:inspection' on page 7 undefined on input line 408
.
LaTeX Warning: Reference `sec:errors:new' on page 7 undefined on input line 436
.
LaTeX Warning: Reference `sec:decls' on page 7 undefined on input line 446.
LaTeX Warning: Reference `sec:old:rules' on page 7 undefined on input line 448.
LaTeX Warning: Reference `sec:producers' on page 7 undefined on input line 450.
LaTeX Warning: Reference `sec:new:rules' on page 7 undefined on input line 452.
LaTeX Warning: Reference `sec:tokens' on page 7 undefined on input line 467.
[7]
LaTeX Warning: Reference `fig:syntax' on page 8 undefined on input line 585.
LaTeX Warning: Reference `sec:attributes' on page 8 undefined on input line 587
.
LaTeX Warning: Reference `sec:decls' on page 8 undefined on input line 593.
LaTeX Warning: Reference `sec:old:rules' on page 8 undefined on input line 604.
LaTeX Warning: Reference `sec:new:rules' on page 8 undefined on input line 605.
Underfull \vbox (badness 1472) has occurred while \output is active [8]
[9]
LaTeX Warning: Reference `sec:conflicts' on page 10 undefined on input line 739
.
LaTeX Warning: Reference `sec:decls:headers' on page 10 undefined on input line
759.
LaTeX Warning: Reference `sec:attributes' on page 10 undefined on input line 78
8.
[10]
LaTeX Warning: Reference `sec:errors:diagnostics' on page 11 undefined on input
line 831.
LaTeX Warning: Reference `sec:productiongroups' on page 11 undefined on input l
ine 857.
LaTeX Warning: Reference `sec:split' on page 11 undefined on input line 861.
LaTeX Warning: Reference `sec:inline' on page 11 undefined on input line 861.
LaTeX Warning: Reference `sec:templates' on page 11 undefined on input line 863
.
LaTeX Warning: Reference `sec:productions' on page 11 undefined on input line 8
68.
LaTeX Warning: Reference `sec:actions' on page 11 undefined on input line 869.
LaTeX Warning: Reference `sec:prec' on page 11 undefined on input line 870.
LaTeX Warning: Reference `sec:assoc' on page 11 undefined on input line 896.
LaTeX Warning: Reference `sec:conflicts' on page 11 undefined on input line 903
.
[11]
LaTeX Warning: Reference `sec:producers' on page 12 undefined on input line 917
.
LaTeX Warning: Reference `sec:prec' on page 12 undefined on input line 918.
LaTeX Warning: Reference `sec:actual' on page 12 undefined on input line 926.
LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 939
.
LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 943
.
LaTeX Warning: Reference `fig:sugar' on page 12 undefined on input line 944.
LaTeX Warning: Reference `sec:inline' on page 12 undefined on input line 989.
LaTeX Warning: Reference `sec:split' on page 12 undefined on input line 992.
LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 994
.
LaTeX Warning: Reference `fig:syntax' on page 12 undefined on input line 996.
[12]
LaTeX Warning: Reference `sec:templates' on page 13 undefined on input line 104
1.
LaTeX Warning: Reference `fig:sugar' on page 13 undefined on input line 1041.
Excluding 'comment' comment.
LaTeX Warning: Reference `fig:syntax' on page 13 undefined on input line 1088.
LaTeX Warning: Reference `sec:library' on page 13 undefined on input line 1103.
LaTeX Warning: Reference `fig:standard' on page 13 undefined on input line 1103
.
LaTeX Warning: Reference `sec:actual' on page 13 undefined on input line 1111.
LaTeX Warning: Reference `sec:library' on page 13 undefined on input line 1117.
LaTeX Warning: Reference `sec:library' on page 13 undefined on input line 1150.
LaTeX Warning: Reference `sec:inline' on page 13 undefined on input line 1164.
[13]
LaTeX Warning: Reference `sec:templates' on page 14 undefined on input line 118
7.
LaTeX Warning: Reference `sec:library' on page 14 undefined on input line 1194.
LaTeX Warning: Reference `sec:library' on page 14 undefined on input line 1251.
[14]
LaTeX Warning: Reference `sec:library' on page 15 undefined on input line 1324.
LaTeX Warning: Reference `sec:library' on page 15 undefined on input line 1355.
LaTeX Warning: Reference `fig:sugar' on page 15 undefined on input line 1356.
[15] [16]
LaTeX Warning: Reference `sec:positions' on page 17 undefined on input line 149
0.
Underfull \hbox (badness 3635) in paragraph at lines 1543--1544
[]\T1/ptm/m/n/10.95 a nonempty se-quence of \T1/ptm/m/it/10.95 X\T1/ptm/m/n/10.
95 's
LaTeX Warning: Reference `sec:split' on page 17 undefined on input line 1569.
LaTeX Warning: Reference `sec:templates' on page 17 undefined on input line 157
0.
LaTeX Warning: Reference `sec:inline' on page 17 undefined on input line 1570.
LaTeX Warning: Reference `fig:standard' on page 17 undefined on input line 1575
.
LaTeX Warning: Reference `fig:sugar' on page 17 undefined on input line 1576.
LaTeX Warning: Reference `fig:standard' on page 17 undefined on input line 1607
.
LaTeX Warning: Reference `sec:actual' on page 17 undefined on input line 1610.
LaTeX Warning: Reference `sec:actual' on page 17 undefined on input line 1635.
LaTeX Warning: Reference `sec:inline' on page 17 undefined on input line 1636.
[17]
LaTeX Warning: Reference `sec:actual' on page 18 undefined on input line 1667.
LaTeX Warning: Reference `sec:inline' on page 18 undefined on input line 1668.
[18]
LaTeX Warning: Reference `sec:assoc' on page 19 undefined on input line 1701.
LaTeX Warning: Reference `sec:prec' on page 19 undefined on input line 1701.
LaTeX Warning: Reference `multiway' on page 19 undefined on input line 1727.
LaTeX Warning: Reference `fig:basicshiftreduce' on page 19 undefined on input l
ine 1767.
[19]
LaTeX Warning: Reference `fig:shifting:tree' on page 20 undefined on input line
1860.
LaTeX Warning: Reference `fig:shifting:tree' on page 20 undefined on input line
1865.
LaTeX Warning: Reference `fig:shifting:text' on page 20 undefined on input line
1865.
[20]
LaTeX Warning: Reference `fig:shifting:text' on page 21 undefined on input line
1876.
LaTeX Warning: Reference `fig:reducing:tree' on page 21 undefined on input line
1919.
LaTeX Warning: Reference `fig:reducing:tree' on page 21 undefined on input line
1924.
LaTeX Warning: Reference `fig:reducing:text' on page 21 undefined on input line
1924.
LaTeX Warning: Reference `fig:reducing:text' on page 21 undefined on input line
1928.
LaTeX Warning: Reference `fig:xreducing:tree' on page 21 undefined on input lin
e 1941.
LaTeX Warning: Reference `fig:xreducing:text' on page 21 undefined on input lin
e 1941.
Missing character: There is no ] in font nullfont!
LaTeX Warning: Reference `fig:xreducing:tree' on page 21 undefined on input lin
e 1996.
LaTeX Warning: Reference `fig:xreducing:text' on page 21 undefined on input lin
e 2004.
[21]
LaTeX Warning: Reference `fig:xreducing:tree' on page 22 undefined on input lin
e 2019.
LaTeX Warning: Reference `fig:xreducing:text' on page 22 undefined on input lin
e 2020.
Underfull \vbox (badness 1661) has occurred while \output is active [22]
[23]
LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2205
.
LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2222
.
LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2234
.
LaTeX Warning: Reference `fig:basiceosdump' on page 24 undefined on input line
2239.
LaTeX Warning: Reference `fig:basiceos:sol' on page 24 undefined on input line
2263.
[24] [25]
LaTeX Warning: Reference `fig:pos' on page 26 undefined on input line 2350.
Underfull \vbox (badness 2582) has occurred while \output is active [26]
LaTeX Warning: Reference `fig:pos:mapping' on page 27 undefined on input line 2
414.
LaTeX Warning: Reference `fig:pos:mapping' on page 27 undefined on input line 2
419.
LaTeX Warning: Reference `sec:inline' on page 27 undefined on input line 2425.
[27]
LaTeX Warning: Reference `sec:sentences' on page 28 undefined on input line 252
3.
Underfull \vbox (badness 10000) has occurred while \output is active [28]
LaTeX Warning: Reference `sec:qa' on page 29 undefined on input line 2630.
Underfull \vbox (badness 1430) has occurred while \output is active [29]
LaTeX Warning: Reference `sec:incremental' on page 30 undefined on input line 2
687.
LaTeX Warning: Reference `sec:inspection' on page 30 undefined on input line 26
87.
LaTeX Warning: Reference `sec:incremental:driving' on page 30 undefined on inpu
t line 2710.
LaTeX Warning: Reference `sec:incremental:inspecting' on page 30 undefined on i
nput line 2711.
LaTeX Warning: Reference `sec:incremental:updating' on page 30 undefined on inp
ut line 2711.
[30]
LaTeX Warning: Reference `sec:errors' on page 31 undefined on input line 2820.
[31]
LaTeX Warning: Reference `sec:errors' on page 32 undefined on input line 2875.
[32]
LaTeX Warning: Reference `sec:inspection' on page 33 undefined on input line 30
31.
[33]
LaTeX Warning: Reference `sec:incremental:updating' on page 34 undefined on inp
ut line 3096.
LaTeX Warning: Reference `sec:incremental:inspecting' on page 34 undefined on i
nput line 3132.
LaTeX Warning: Reference `sec:inspection' on page 34 undefined on input line 31
44.
[34]
LaTeX Warning: Reference `sec:errors:new' on page 35 undefined on input line 31
92.
[35] [36]
LaTeX Warning: Reference `sec:errors:new' on page 37 undefined on input line 33
95.
[37]
LaTeX Warning: Reference `sec:incremental' on page 38 undefined on input line 3
465.
LaTeX Warning: Reference `sec:errors' on page 38 undefined on input line 3470.
LaTeX Warning: Citation `jeffery-03' on page 38 undefined on input line 3478.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 38 undefined on
input line 3479.
LaTeX Warning: Reference `sec:messages:format' on page 38 undefined on input li
ne 3493.
LaTeX Warning: Reference `sec:messages:tools' on page 38 undefined on input lin
e 3495.
LaTeX Warning: Reference `sec:errors:diagnostics' on page 38 undefined on input
line 3497.
LaTeX Warning: Reference `sec:errors:example' on page 38 undefined on input lin
e 3498.
LaTeX Warning: Citation `knuth-lr-65' on page 38 undefined on input line 3504.
LaTeX Warning: Citation `pager-77' on page 38 undefined on input line 3505.
LaTeX Warning: Reference `sec:errors:diagnostics' on page 38 undefined on input
line 3511.
LaTeX Warning: Reference `sec:sentences' on page 38 undefined on input line 352
6.
LaTeX Warning: Reference `fig:messages:entry' on page 38 undefined on input lin
e 3593.
[38] [39]
LaTeX Warning: Reference `sec:messages:merge' on page 40 undefined on input lin
e 3602.
LaTeX Warning: Reference `sec:messages:tools' on page 40 undefined on input lin
e 3616.
LaTeX Warning: Reference `fig:messages:entry:decorated' on page 40 undefined on
input line 3624.
LaTeX Warning: Reference `sec:errors:diagnostics' on page 40 undefined on input
line 3650.
[40] [41]
LaTeX Warning: Reference `fig:declarations' on page 42 undefined on input line
3842.
LaTeX Warning: Reference `sec:messages:format' on page 42 undefined on input li
ne 3848.
LaTeX Warning: Reference `fig:declarations' on page 42 undefined on input line
3854.
LaTeX Warning: Reference `fig:declarations:over' on page 42 undefined on input
line 3866.
[42]
LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input
line 3869.
LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input
line 3873.
LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input
line 3883.
LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input
line 3896.
LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input
line 3902.
LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 43 undefined
on input line 3925.
LaTeX Warning: Reference `fig:declarations:phantom' on page 43 undefined on inp
ut line 3947.
LaTeX Warning: Reference `fig:declarations' on page 43 undefined on input line
3951.
[43]
LaTeX Warning: Reference `sec:onerrorreduce' on page 44 undefined on input line
3967.
LaTeX Warning: Reference `fig:declarations:over' on page 44 undefined on input
line 3968.
LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 44 undefined
on input line 3975.
LaTeX Warning: Reference `fig:declarations' on page 44 undefined on input line
3977.
[44]
LaTeX Warning: Reference `fig:declarations' on page 45 undefined on input line
3992.
LaTeX Warning: Reference `fig:declarations:over' on page 45 undefined on input
line 3994.
LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 45 undefined
on input line 3995.
LaTeX Warning: Reference `fig:declarations:under' on page 45 undefined on input
line 3997.
LaTeX Warning: Reference `fig:declarations:under' on page 45 undefined on input
line 4011.
Underfull \vbox (badness 6380) has occurred while \output is active [45]
LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 46 undefined on inpu
t line 4095.
LaTeX Warning: Citation `compcert' on page 46 undefined on input line 4097.
LaTeX Warning: Reference `sec:errors' on page 46 undefined on input line 4115.
LaTeX Warning: Reference `fig:pos' on page 46 undefined on input line 4118.
LaTeX Warning: Reference `sec:parameter' on page 46 undefined on input line 411
9.
LaTeX Warning: Reference `sec:inline' on page 46 undefined on input line 4120.
LaTeX Warning: Reference `sec:library' on page 46 undefined on input line 4121.
LaTeX Warning: Reference `sec:type' on page 46 undefined on input line 4126.
LaTeX Warning: Reference `sec:start' on page 46 undefined on input line 4126.
LaTeX Warning: Reference `sec:conflicts:benign' on page 46 undefined on input l
ine 4129.
LaTeX Warning: Reference `sec:assoc' on page 46 undefined on input line 4131.
LaTeX Warning: Citation `compcert' on page 46 undefined on input line 4167.
[46]
LaTeX Warning: Reference `sec:coq:errmsg' on page 47 undefined on input line 41
98.
LaTeX Warning: Citation `compcert' on page 47 undefined on input line 4263.
LaTeX Warning: Citation `compcert-github' on page 47 undefined on input line 42
63.
LaTeX Warning: Reference `sec:errors:example' on page 47 undefined on input lin
e 4271.
LaTeX Warning: Reference `sec:messages:format' on page 47 undefined on input li
ne 4283.
LaTeX Warning: Reference `sec:messages:tools' on page 47 undefined on input lin
e 4284.
[47]
LaTeX Warning: Citation `klint-laemmel-verhoef-05' on page 48 undefined on inpu
t line 4303.
LaTeX Warning: Reference `sec:sdk' on page 48 undefined on input line 4309.
LaTeX Warning: Reference `sec:attributes' on page 48 undefined on input line 43
16.
LaTeX Warning: Reference `sec:decls' on page 48 undefined on input line 4371.
[48]
LaTeX Warning: Reference `sec:producers' on page 49 undefined on input line 440
2.
LaTeX Warning: Reference `sec:decls' on page 49 undefined on input line 4418.
LaTeX Warning: Reference `sec:build:infer' on page 49 undefined on input line 4
451.
LaTeX Warning: Reference `sec:build:flags' on page 49 undefined on input line 4
451.
LaTeX Warning: Reference `sec:dune' on page 49 undefined on input line 4457.
LaTeX Warning: Reference `sec:build:infer:none' on page 49 undefined on input l
ine 4471.
LaTeX Warning: Reference `sec:build:infer:direct' on page 49 undefined on input
line 4474.
LaTeX Warning: Reference `sec:build:infer:indirect' on page 49 undefined on inp
ut line 4477.
[49]
LaTeX Warning: Reference `sec:build:infer:direct' on page 50 undefined on input
line 4486.
LaTeX Warning: Reference `sec:build:infer:indirect' on page 50 undefined on inp
ut line 4487.
[50]
LaTeX Warning: Reference `sec:positions' on page 51 undefined on input line 466
3.
LaTeX Warning: Reference `sec:templates' on page 51 undefined on input line 467
1.
LaTeX Warning: Reference `sec:actual' on page 51 undefined on input line 4673.
LaTeX Warning: Reference `sec:library' on page 51 undefined on input line 4674.
LaTeX Warning: Reference `fig:sugar' on page 51 undefined on input line 4677.
[51]
LaTeX Warning: Reference `sec:inline' on page 52 undefined on input line 4682.
LaTeX Warning: Reference `sec:conflicts' on page 52 undefined on input line 468
5.
LaTeX Warning: Reference `sec:incremental' on page 52 undefined on input line 4
689.
LaTeX Warning: Reference `sec:errors:new' on page 52 undefined on input line 46
95.
LaTeX Warning: Reference `sec:coq' on page 52 undefined on input line 4698.
LaTeX Warning: Reference `sec:interpret' on page 52 undefined on input line 470
0.
LaTeX Warning: Reference `sec:split' on page 52 undefined on input line 4703.
LaTeX Warning: Reference `sec:eos' on page 52 undefined on input line 4714.
LaTeX Warning: Reference `sec:positions' on page 52 undefined on input line 473
0.
LaTeX Warning: Reference `sec:errors' on page 52 undefined on input line 4732.
LaTeX Warning: Reference `sec:errors' on page 52 undefined on input line 4734.
LaTeX Warning: Reference `sec:conflicts' on page 52 undefined on input line 473
9.
Underfull \vbox (badness 10000) has occurred while \output is active [52]
LaTeX Warning: Reference `sec:build' on page 53 undefined on input line 4790.
LaTeX Warning: Reference `sec:errors:new' on page 53 undefined on input line 48
11.
Overfull \hbox (52.85591pt too wide) in paragraph at lines 4795--4813
\T1/ptm/m/n/10.95 pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir <options>" []\T1/
ptm/m/n/10.95 to \T1/cmtt/m/n/10.95 ocamlbuild\T1/ptm/m/n/10.95 . To use Men-hi
r's ta-ble back-end, pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir --table"
Overfull \hbox (5.95137pt too wide) in paragraph at lines 4795--4813
\T1/ptm/m/n/10.95 the [][]\T1/cmtt/m/n/10.95 _tags []\T1/ptm/m/n/10.95 file. To
com-bine mul-ti-ple \T1/cmtt/m/n/10.95 .mly \T1/ptm/m/n/10.95 files, say [][]\
T1/cmtt/m/n/10.95 a.mly []\T1/ptm/m/n/10.95 and [][]\T1/cmtt/m/n/10.95 b.mly[]\
T1/ptm/m/n/10.95 , into a sin-gle parser, say [][]\T1/cmtt/m/n/10.95 parser.{ml
,mli}[]\T1/ptm/m/n/10.95 ,
Overfull \hbox (2.62502pt too wide) in paragraph at lines 4795--4813
\T1/ptm/m/n/10.95 cre-ate a file named [][]\T1/cmtt/m/n/10.95 parser.mlypack []
\T1/ptm/m/n/10.95 that con-tains the mod-ule names [][]\T1/cmtt/m/n/10.95 A B[]
\T1/ptm/m/n/10.95 . See the di-rec-tory [][]\T1/cmtt/m/n/10.95 demos/ocamlbuild
[][]
Overfull \hbox (54.26547pt too wide) in paragraph at lines 4795--4813
o-vided in the file [][]\T1/cmtt/m/n/10.95 demos/ocamlbuild/myocamlbuild.ml[][]
\T1/ptm/m/n/10.95 .
LaTeX Warning: Reference `sec:errors:new' on page 53 undefined on input line 48
60.
LaTeX Warning: Reference `sec:decls:headers' on page 53 undefined on input line
4889.
[53]
LaTeX Warning: Reference `sec:monolithic' on page 54 undefined on input line 49
01.
LaTeX Warning: Reference `sec:incremental' on page 54 undefined on input line 4
907.
LaTeX Warning: Reference `sec:positions' on page 54 undefined on input line 495
0.
LaTeX Warning: Citation `obelisk' on page 54 undefined on input line 4954.
LaTeX Warning: Reference `sec:library' on page 54 undefined on input line 4957.
LaTeX Warning: Citation `knuth-lr-65' on page 54 undefined on input line 4963.
LaTeX Warning: Citation `pager-77' on page 54 undefined on input line 4966.
LaTeX Warning: Citation `bison' on page 54 undefined on input line 4969.
[54]
LaTeX Warning: Citation `deremer-pennello-82' on page 55 undefined on input lin
e 4972.
LaTeX Warning: Citation `bhamidipaty-proebsting-98' on page 55 undefined on inp
ut line 4976.
LaTeX Warning: Citation `horspool-faster-90' on page 55 undefined on input line
4976.
LaTeX Warning: Citation `tarjan-yao-79' on page 55 undefined on input line 4981
.
LaTeX Warning: Citation `dencker-84' on page 55 undefined on input line 4984.
LaTeX Warning: Citation `pottier-regis-gianas-typed-lr' on page 55 undefined on
input line 4987.
LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 55 undefined on inpu
t line 4995.
LaTeX Warning: Citation `compcert' on page 55 undefined on input line 4996.
LaTeX Warning: Citation `jourdan-pottier-17' on page 55 undefined on input line
4998.
LaTeX Warning: Reference `sec:errors:new' on page 55 undefined on input line 50
00.
LaTeX Warning: Citation `jeffery-03' on page 55 undefined on input line 5001.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 55 undefined on
input line 5002.
LaTeX Warning: Citation `bour-pottier-21' on page 55 undefined on input line 50
03.
No file manual.bbl.
[55] (./manual.aux)
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ectt1200
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ectt1200
This is METAFONT, Version 2.71828182 (TeX Live 2022/Debian) (preloaded base=mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt1200.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf
Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf
Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf
Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf
Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf
Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf
Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf
Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf
Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf
Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf
Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf
Ok [38] [63] [190])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf
Ok [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/jknappen/ec/exrllett.mf
Ok [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/jknappen/ec/exrdigit.mf
Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exmligtb.mf
Ok) ) ) )
Font metrics written on ectt1200.tfm.
Output written on ectt1200.600gf (256 characters, 51736 bytes).
Transcript written on ectt1200.log.
mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ectt1200.600pk: successfully generated.
LaTeX Warning: There were undefined references.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
Package rerunfilecheck Warning: File `manual.out' has changed.
(rerunfilecheck) Rerun to get outlines right
(rerunfilecheck) or use package `bookmark'.
)
(see the transcript file for additional information) </tmp/texfonts/pk/ljfour/j
knappen/ec/ectt1200.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecsx0900
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecsx0900
This is METAFONT, Version 2.71828182 (TeX Live 2022/Debian) (preloaded base=mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx0900.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf
Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf
Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf
Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf
Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf
Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf
Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf
Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf
Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf
Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf
Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf
Ok [38] [63] [190])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf
Ok [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/jknappen/ec/exrllett.mf
Ok [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/jknappen/ec/exrdigit.mf
Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrligtb.mf
Ok) ) ) )
Font metrics written on ecsx0900.tfm.
Output written on ecsx0900.600gf (256 characters, 41988 bytes).
Transcript written on ecsx0900.log.
mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ecsx0900.600pk: successfully generated.
</tmp/texfonts/pk/ljfour/jknappen/ec/ecsx0900.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ectt0900
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ectt0900
This is METAFONT, Version 2.71828182 (TeX Live 2022/Debian) (preloaded base=mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt0900.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf
Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf
Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf
Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf
Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf
Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf
Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf
Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf
Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf
Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf
Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf
Ok [38] [63] [190])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf
Ok [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/jknappen/ec/exrllett.mf
Ok [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/jknappen/ec/exrdigit.mf
Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exmligtb.mf
Ok) ) ) )
Font metrics written on ectt0900.tfm.
Output written on ectt0900.600gf (256 characters, 39464 bytes).
Transcript written on ectt0900.log.
mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ectt0900.600pk: successfully generated.
</tmp/texfonts/pk/ljfour/jknappen/ec/ectt0900.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecsx1000
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecsx1000
This is METAFONT, Version 2.71828182 (TeX Live 2022/Debian) (preloaded base=mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx1000.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf
Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf
Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf
Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf
Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf
Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf
Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf
Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf
Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf
Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf
Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf
Ok [38] [63] [190])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf
Ok [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/jknappen/ec/exrllett.mf
Ok [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/jknappen/ec/exrdigit.mf
Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrligtb.mf
Ok) ) ) )
Font metrics written on ecsx1000.tfm.
Output written on ecsx1000.600gf (256 characters, 46104 bytes).
Transcript written on ecsx1000.log.
mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ecsx1000.600pk: successfully generated.
</tmp/texfonts/pk/ljfour/
jknappen/ec/ecsx1000.600pk>{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/
8r.enc}
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecsx1095
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecsx1095
This is METAFONT, Version 2.71828182 (TeX Live 2022/Debian) (preloaded base=mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx1095.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf
Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf
Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf
Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf
Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf
Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf
Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf
Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf
Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf
Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf
Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf
Ok [38] [63] [190])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf
Ok [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/jknappen/ec/exrllett.mf
Ok [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/jknappen/ec/exrdigit.mf
Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrligtb.mf
Ok) ) ) )
(some charht values had to be adjusted by as much as 0.06375pt)
Font metrics written on ecsx1095.tfm.
Output written on ecsx1095.600gf (256 characters, 50464 bytes).
Transcript written on ecsx1095.log.
mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ecsx1095.600pk: successfully generated.
</tmp/texfonts/pk/ljfour/jknappen/ec/ecsx1095.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ectt1095
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ectt1095
This is METAFONT, Version 2.71828182 (TeX Live 2022/Debian) (preloaded base=mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt1095.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf
Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf
Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf
Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf
Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf
Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf
Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf
Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf
Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf
Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf
Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf
Ok [38] [63] [190])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf
Ok [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/jknappen/ec/exrllett.mf
Ok [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/jknappen/ec/exrdigit.mf
Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exmligtb.mf
Ok) ) ) )
Font metrics written on ectt1095.tfm.
Output written on ectt1095.600gf (256 characters, 47796 bytes).
Transcript written on ectt1095.log.
mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ectt1095.600pk: successfully generated.
</tmp/texfonts/pk/
ljfour/jknappen/ec/ectt1095.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecss1095
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecss1095
This is METAFONT, Version 2.71828182 (TeX Live 2022/Debian) (preloaded base=mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecss1095.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecss.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf
Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf
Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf
Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf
Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf
Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf
Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf
Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf
Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf
Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf
Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf
Ok [38] [63] [190])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf
Ok [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/jknappen/ec/exrllett.mf
Ok [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/jknappen/ec/exrdigit.mf
Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrligtb.mf
Ok) ) ) )
Font metrics written on ecss1095.tfm.
Output written on ecss1095.600gf (256 characters, 49792 bytes).
Transcript written on ecss1095.log.
mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ecss1095.600pk: successfully generated.
</tmp/texfonts/pk/ljfour/jknappen/ec/ecss109
5.600pk></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pf
b></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr
/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/
texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/
texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-
dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fo
nts/type1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/t
imes/utmbi8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pf
b></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
Output written on manual.pdf (55 pages, 367022 bytes).
Transcript written on manual.log.
bibtex manual
This is BibTeX, Version 0.99d (TeX Live 2022/Debian)
The top-level auxiliary file: manual.aux
The style file: plain.bst
Database file #1: local.bib
Warning--string name "esop" is undefined
--line 138 of file local.bib
Warning--string name "springer" is undefined
--line 139 of file local.bib
Warning--string name "lncs" is undefined
--line 140 of file local.bib
Warning--string name "tosem" is undefined
--line 149 of file local.bib
Warning--empty booktitle in jourdan-leroy-pottier-12
Warning--empty journal in klint-laemmel-verhoef-05
(There were 6 warnings)
pdflatex manual
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2021-11-15> patch level 1
L3 programming layer <2022-02-24> (./sigplanconf.cls
Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)))
(/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/base/fontenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de
f)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
tex)) (/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/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
ric.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
e.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
thmetics.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
s.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
ex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex))
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65
.sty)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarytopaths.code.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty)
(./fppdf.sty
Hyperlinks in pdflatex style.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))))
(./macros.tex) (./version.tex) (./hevea.sty
(/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty
Excluding comment 'comment') Excluding comment 'rawhtml'
Excluding comment 'htmlonly')
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
(./manual.aux)
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty))
(./manual.out) (./manual.out)
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/var/lib/texmf/font
s/map/pdftex/updmap/pdftex.map}] (./manual.toc [2]
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd)) [3]
LaTeX Warning: Citation `knuth-lr-65' on page 4 undefined on input line 58.
LaTeX Warning: Citation `johnson-yacc-79' on page 4 undefined on input line 59.
LaTeX Warning: Citation `tarditi-appel-00' on page 4 undefined on input line 59
.
LaTeX Warning: Citation `ocaml' on page 4 undefined on input line 60.
LaTeX Warning: Citation `aho-86' on page 4 undefined on input line 66.
LaTeX Warning: Citation `appel-tiger-98' on page 4 undefined on input line 66.
LaTeX Warning: Citation `hopcroft-motwani-ullman-00' on page 4 undefined on inp
ut line 66.
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [4] [5] [6] [7]
[8]
Underfull \vbox (badness 1472) has occurred while \output is active [9]
[10] [11] [12] [13] Excluding 'comment' comment. [14] [15] [16] [17]
Underfull \hbox (badness 3635) in paragraph at lines 1543--1544
[]\T1/ptm/m/n/10.95 a nonempty se-quence of \T1/ptm/m/it/10.95 X\T1/ptm/m/n/10.
95 's
[18] [19] [20] [21]
Missing character: There is no ] in font nullfont!
[22]
Underfull \vbox (badness 1661) has occurred while \output is active [23]
[24] [25] [26]
Underfull \vbox (badness 2582) has occurred while \output is active [27]
[28]
Underfull \vbox (badness 10000) has occurred while \output is active [29]
Underfull \vbox (badness 1430) has occurred while \output is active [30]
[31]
Underfull \vbox (badness 1112) has occurred while \output is active [32]
[33] [34] [35] [36] [37] [38]
LaTeX Warning: Citation `jeffery-03' on page 39 undefined on input line 3478.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 39 undefined on
input line 3479.
LaTeX Warning: Citation `knuth-lr-65' on page 39 undefined on input line 3504.
LaTeX Warning: Citation `pager-77' on page 39 undefined on input line 3505.
[39] [40] [41] [42] [43] [44] [45]
Underfull \vbox (badness 6380) has occurred while \output is active [46]
LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 47 undefined on inpu
t line 4095.
LaTeX Warning: Citation `compcert' on page 47 undefined on input line 4097.
LaTeX Warning: Citation `compcert' on page 47 undefined on input line 4167.
[47]
LaTeX Warning: Citation `compcert' on page 48 undefined on input line 4263.
LaTeX Warning: Citation `compcert-github' on page 48 undefined on input line 42
63.
[48]
LaTeX Warning: Citation `klint-laemmel-verhoef-05' on page 49 undefined on inpu
t line 4303.
[49] [50] [51] [52]
Underfull \vbox (badness 10000) has occurred while \output is active [53]
Overfull \hbox (52.85591pt too wide) in paragraph at lines 4795--4813
\T1/ptm/m/n/10.95 pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir <options>" []\T1/
ptm/m/n/10.95 to \T1/cmtt/m/n/10.95 ocamlbuild\T1/ptm/m/n/10.95 . To use Men-hi
r's ta-ble back-end, pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir --table"
Overfull \hbox (5.95137pt too wide) in paragraph at lines 4795--4813
\T1/ptm/m/n/10.95 the [][]\T1/cmtt/m/n/10.95 _tags []\T1/ptm/m/n/10.95 file. To
com-bine mul-ti-ple \T1/cmtt/m/n/10.95 .mly \T1/ptm/m/n/10.95 files, say [][]\
T1/cmtt/m/n/10.95 a.mly []\T1/ptm/m/n/10.95 and [][]\T1/cmtt/m/n/10.95 b.mly[]\
T1/ptm/m/n/10.95 , into a sin-gle parser, say [][]\T1/cmtt/m/n/10.95 parser.{ml
,mli}[]\T1/ptm/m/n/10.95 ,
Overfull \hbox (2.62502pt too wide) in paragraph at lines 4795--4813
\T1/ptm/m/n/10.95 cre-ate a file named [][]\T1/cmtt/m/n/10.95 parser.mlypack []
\T1/ptm/m/n/10.95 that con-tains the mod-ule names [][]\T1/cmtt/m/n/10.95 A B[]
\T1/ptm/m/n/10.95 . See the di-rec-tory [][]\T1/cmtt/m/n/10.95 demos/ocamlbuild
[][]
Overfull \hbox (54.26547pt too wide) in paragraph at lines 4795--4813
rules pro-vided in the file [][]\T1/cmtt/m/n/10.95 demos/ocamlbuild/myocamlbuil
d.ml[][]\T1/ptm/m/n/10.95 .
[54]
LaTeX Warning: Citation `obelisk' on page 55 undefined on input line 4954.
LaTeX Warning: Citation `knuth-lr-65' on page 55 undefined on input line 4963.
LaTeX Warning: Citation `pager-77' on page 55 undefined on input line 4966.
LaTeX Warning: Citation `bison' on page 55 undefined on input line 4969.
[55]
LaTeX Warning: Citation `deremer-pennello-82' on page 56 undefined on input lin
e 4972.
LaTeX Warning: Citation `bhamidipaty-proebsting-98' on page 56 undefined on inp
ut line 4976.
LaTeX Warning: Citation `horspool-faster-90' on page 56 undefined on input line
4976.
LaTeX Warning: Citation `tarjan-yao-79' on page 56 undefined on input line 4981
.
LaTeX Warning: Citation `dencker-84' on page 56 undefined on input line 4984.
LaTeX Warning: Citation `pottier-regis-gianas-typed-lr' on page 56 undefined on
input line 4987.
LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 56 undefined on inpu
t line 4995.
LaTeX Warning: Citation `compcert' on page 56 undefined on input line 4996.
LaTeX Warning: Citation `jourdan-pottier-17' on page 56 undefined on input line
4998.
LaTeX Warning: Citation `jeffery-03' on page 56 undefined on input line 5001.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 56 undefined on
input line 5002.
LaTeX Warning: Citation `bour-pottier-21' on page 56 undefined on input line 50
03.
(./manual.bbl
Underfull \vbox (badness 1377) has occurred while \output is active [56])
[57] (./manual.aux)
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ectt1000
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ectt1000
This is METAFONT, Version 2.71828182 (TeX Live 2022/Debian) (preloaded base=mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt1000.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt.mf
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf
Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf
Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf
Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf
Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf
Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf
Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf
Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf
Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf
Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf
Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf
Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf
Ok [38] [63] [190])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf
Ok [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/jknappen/ec/exrllett.mf
Ok [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/jknappen/ec/exrdigit.mf
Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exmligtb.mf
Ok) ) ) )
Font metrics written on ectt1000.tfm.
Output written on ectt1000.600gf (256 characters, 43832 bytes).
Transcript written on ectt1000.log.
mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ectt1000.600pk: successfully generated.
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) </tmp/texfonts/pk/ljfour/j
knappen/ec/ectt1000.600pk> </tmp/texfonts/pk/ljfour/jknappen/ec/ectt1200.600pk>
</tmp/texfonts/pk/ljfour/jknappen/ec/ecsx0900.600pk> </tmp/texfonts/pk/ljfour/
jknappen/ec/ectt0900.600pk> </tmp/texfonts/pk/ljfour/jknappen/ec/ecsx1000.600pk
>{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} </tmp/texfonts/pk/
ljfour/jknappen/ec/ecsx1095.600pk> </tmp/texfonts/pk/ljfour/jknappen/ec/ectt109
5.600pk> </tmp/texfonts/pk/ljfour/jknappen/ec/ecss1095.600pk></usr/share/texliv
e/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texm
f-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/
fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/t
ype1/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a
.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texm
f-dist/fonts/type1/urw/times/utmri8a.pfb>
Output written on manual.pdf (57 pages, 398742 bytes).
Transcript written on manual.log.
pdflatex manual
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2021-11-15> patch level 1
L3 programming layer <2022-02-24> (./sigplanconf.cls
Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)))
(/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/base/fontenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de
f)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
tex)) (/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/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
ric.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
e.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
thmetics.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
s.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
ex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex))
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65
.sty)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarytopaths.code.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty)
(./fppdf.sty
Hyperlinks in pdflatex style.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))))
(./macros.tex) (./version.tex) (./hevea.sty
(/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty
Excluding comment 'comment') Excluding comment 'rawhtml'
Excluding comment 'htmlonly')
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
(./manual.aux)
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty))
(./manual.out) (./manual.out)
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/var/lib/texmf/font
s/map/pdftex/updmap/pdftex.map}] (./manual.toc [2]
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd)) [3]
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [4] [5] [6] [7]
[8]
Underfull \vbox (badness 1472) has occurred while \output is active [9]
[10] [11] [12] [13] Excluding 'comment' comment. [14] [15] [16] [17]
Underfull \hbox (badness 3635) in paragraph at lines 1543--1544
[]\T1/ptm/m/n/10.95 a nonempty se-quence of \T1/ptm/m/it/10.95 X\T1/ptm/m/n/10.
95 's
[18] [19] [20] [21]
Missing character: There is no ] in font nullfont!
[22]
Underfull \vbox (badness 1661) has occurred while \output is active [23]
[24] [25] [26]
Underfull \vbox (badness 2582) has occurred while \output is active [27]
[28]
Underfull \vbox (badness 10000) has occurred while \output is active [29]
Underfull \vbox (badness 1430) has occurred while \output is active [30]
[31]
Underfull \vbox (badness 1112) has occurred while \output is active [32]
[33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45]
Underfull \vbox (badness 6380) has occurred while \output is active [46]
[47] [48] [49] [50] [51] [52]
Underfull \vbox (badness 10000) has occurred while \output is active [53]
Overfull \hbox (52.85591pt too wide) in paragraph at lines 4795--4813
\T1/ptm/m/n/10.95 pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir <options>" []\T1/
ptm/m/n/10.95 to \T1/cmtt/m/n/10.95 ocamlbuild\T1/ptm/m/n/10.95 . To use Men-hi
r's ta-ble back-end, pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir --table"
Overfull \hbox (5.95137pt too wide) in paragraph at lines 4795--4813
\T1/ptm/m/n/10.95 the [][]\T1/cmtt/m/n/10.95 _tags []\T1/ptm/m/n/10.95 file. To
com-bine mul-ti-ple \T1/cmtt/m/n/10.95 .mly \T1/ptm/m/n/10.95 files, say [][]\
T1/cmtt/m/n/10.95 a.mly []\T1/ptm/m/n/10.95 and [][]\T1/cmtt/m/n/10.95 b.mly[]\
T1/ptm/m/n/10.95 , into a sin-gle parser, say [][]\T1/cmtt/m/n/10.95 parser.{ml
,mli}[]\T1/ptm/m/n/10.95 ,
Overfull \hbox (2.62502pt too wide) in paragraph at lines 4795--4813
\T1/ptm/m/n/10.95 cre-ate a file named [][]\T1/cmtt/m/n/10.95 parser.mlypack []
\T1/ptm/m/n/10.95 that con-tains the mod-ule names [][]\T1/cmtt/m/n/10.95 A B[]
\T1/ptm/m/n/10.95 . See the di-rec-tory [][]\T1/cmtt/m/n/10.95 demos/ocamlbuild
[][]
Overfull \hbox (54.26547pt too wide) in paragraph at lines 4795--4813
rules pro-vided in the file [][]\T1/cmtt/m/n/10.95 demos/ocamlbuild/myocamlbuil
d.ml[][]\T1/ptm/m/n/10.95 .
[54] [55] (./manual.bbl
Underfull \vbox (badness 1377) has occurred while \output is active [56])
[57] (./manual.aux) )
(see the transcript file for additional information) </tmp/texfonts/pk/ljfour/j
knappen/ec/ectt1000.600pk> </tmp/texfonts/pk/ljfour/jknappen/ec/ectt1200.600pk>
</tmp/texfonts/pk/ljfour/jknappen/ec/ecsx0900.600pk> </tmp/texfonts/pk/ljfour/
jknappen/ec/ectt0900.600pk> </tmp/texfonts/pk/ljfour/jknappen/ec/ecsx1000.600pk
>{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} </tmp/texfonts/pk/
ljfour/jknappen/ec/ecsx1095.600pk> </tmp/texfonts/pk/ljfour/jknappen/ec/ectt109
5.600pk> </tmp/texfonts/pk/ljfour/jknappen/ec/ecss1095.600pk></usr/share/texliv
e/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texm
f-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/
fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/t
ype1/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a
.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texm
f-dist/fonts/type1/urw/times/utmri8a.pfb>
Output written on manual.pdf (57 pages, 399843 bytes).
Transcript written on manual.log.
hevea -fix manual.tex
./mymacros.hva:4: Warning: Ignoring (re-)definition of '\raisebox' by \newcommand
./mymacros.hva:5: Warning: Ignoring (re-)definition of '\phantom' by \newcommand
Exclude comment 'comment'
./manual.tex:58: Warning: Undefined citation: 'knuth-lr-65'
./manual.tex:59: Warning: Undefined citation: 'johnson-yacc-79'
./manual.tex:59: Warning: Undefined citation: 'tarditi-appel-00'
./manual.tex:60: Warning: Undefined citation: 'ocaml'
./manual.tex:66: Warning: Undefined citation: 'aho-86'
./manual.tex:66: Warning: Undefined citation: 'appel-tiger-98'
./manual.tex:66: Warning: Undefined citation: 'hopcroft-motwani-ullman-00'
./manual.tex:108: Warning: Undefined label: 'sec:errors'
./manual.tex:123: Warning: Undefined label: 'sec:split'
./manual.tex:139: Warning: Undefined label: 'sec:sdk'
./manual.tex:151: Warning: Undefined label: 'sec:errors:new'
./manual.tex:158: Warning: Undefined label: 'sec:errors:new'
./manual.tex:160: Warning: Undefined label: 'sec:coq'
./manual.tex:182: Warning: Undefined label: 'sec:coq'
./manual.tex:184: Warning: Undefined label: 'sec:conflicts:benign'
./manual.tex:192: Warning: Undefined label: 'sec:build'
./manual.tex:197: Warning: Undefined label: 'sec:conflicts'
./manual.tex:198: Warning: Undefined label: 'sec:onerrorreduce'
./manual.tex:203: Warning: Undefined label: 'sec:conflicts'
./manual.tex:204: Warning: Undefined label: 'sec:onerrorreduce'
./manual.tex:209: Warning: Undefined label: 'sec:errors:new'
./manual.tex:216: Warning: Undefined label: 'sec:tokens'
./manual.tex:222: Warning: Undefined label: 'sec:errors:new'
./manual.tex:228: Warning: Undefined label: 'sec:conflicts'
./manual.tex:250: Warning: Undefined label: 'sec:build'
./manual.tex:253: Warning: Undefined label: 'sec:monolithic'
./manual.tex:254: Warning: Undefined label: 'sec:incremental'
./manual.tex:254: Warning: Undefined label: 'sec:inspection'
./manual.tex:262: Warning: Undefined label: 'sec:interpret'
./manual.tex:267: Warning: Undefined label: 'sec:errors:new'
./manual.tex:271: Warning: Undefined label: 'sec:interpret'
./manual.tex:275: Warning: Undefined label: 'sec:errors:new'
./manual.tex:294: Warning: Undefined label: 'sec:errors:new'
./manual.tex:304: Warning: Undefined label: 'sec:library'
./manual.tex:306: Warning: Undefined label: 'sec:build'
./manual.tex:308: Warning: Undefined label: 'sec:build'
./manual.tex:313: Warning: Undefined label: 'sec:split'
./manual.tex:314: Warning: Undefined label: 'sec:templates'
./manual.tex:316: Warning: Undefined label: 'sec:inline'
./manual.tex:360: Warning: Undefined label: 'sec:tokens'
./manual.tex:363: Warning: Undefined label: 'sec:build'
./manual.tex:366: Warning: Undefined label: 'sec:tokens'
./manual.tex:380: Warning: Undefined label: 'sec:errors'
./manual.tex:389: Warning: Undefined label: 'sec:build'
./manual.tex:394: Warning: Undefined label: 'sec:qa'
./manual.tex:407: Warning: Undefined label: 'sec:incremental'
./manual.tex:408: Warning: Undefined label: 'sec:inspection'
./manual.tex:436: Warning: Undefined label: 'sec:errors:new'
./manual.tex:446: Warning: Undefined label: 'sec:decls'
./manual.tex:448: Warning: Undefined label: 'sec:old:rules'
./manual.tex:450: Warning: Undefined label: 'sec:producers'
./manual.tex:452: Warning: Undefined label: 'sec:new:rules'
./manual.tex:467: Warning: Undefined label: 'sec:tokens'
./manual.tex:531: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:541: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:556: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:585: Warning: Undefined label: 'fig:syntax'
./manual.tex:587: Warning: Undefined label: 'sec:attributes'
./manual.tex:593: Warning: Undefined label: 'sec:decls'
./manual.tex:604: Warning: Undefined label: 'sec:old:rules'
./manual.tex:605: Warning: Undefined label: 'sec:new:rules'
./manual.tex:739: Warning: Undefined label: 'sec:conflicts'
./manual.tex:759: Warning: Undefined label: 'sec:decls:headers'
./manual.tex:788: Warning: Undefined label: 'sec:attributes'
./manual.tex:831: Warning: Undefined label: 'sec:errors:diagnostics'
./manual.tex:857: Warning: Undefined label: 'sec:productiongroups'
./manual.tex:861: Warning: Undefined label: 'sec:split'
./manual.tex:861: Warning: Undefined label: 'sec:inline'
./manual.tex:863: Warning: Undefined label: 'sec:templates'
./manual.tex:868: Warning: Undefined label: 'sec:productions'
./manual.tex:869: Warning: Undefined label: 'sec:actions'
./manual.tex:870: Warning: Undefined label: 'sec:prec'
./manual.tex:896: Warning: Undefined label: 'sec:assoc'
./manual.tex:903: Warning: Undefined label: 'sec:conflicts'
./manual.tex:917: Warning: Undefined label: 'sec:producers'
./manual.tex:918: Warning: Undefined label: 'sec:prec'
./manual.tex:926: Warning: Undefined label: 'sec:actual'
./manual.tex:939: Warning: Undefined label: 'sec:templates'
./manual.tex:943: Warning: Undefined label: 'sec:templates'
./manual.tex:944: Warning: Undefined label: 'fig:sugar'
./manual.tex:989: Warning: Undefined label: 'sec:inline'
./manual.tex:992: Warning: Undefined label: 'sec:split'
./manual.tex:994: Warning: Undefined label: 'sec:templates'
./manual.tex:996: Warning: Undefined label: 'fig:syntax'
./manual.tex:1041: Warning: Undefined label: 'sec:templates'
./manual.tex:1041: Warning: Undefined label: 'fig:sugar'
./manual.tex:1088: Warning: Undefined label: 'fig:syntax'
./manual.tex:1103: Warning: Undefined label: 'sec:library'
./manual.tex:1103: Warning: Undefined label: 'fig:standard'
./manual.tex:1111: Warning: Undefined label: 'sec:actual'
./manual.tex:1117: Warning: Undefined label: 'sec:library'
./manual.tex:1150: Warning: Undefined label: 'sec:library'
./manual.tex:1164: Warning: Undefined label: 'sec:inline'
./manual.tex:1187: Warning: Undefined label: 'sec:templates'
./manual.tex:1194: Warning: Undefined label: 'sec:library'
./manual.tex:1251: Warning: Undefined label: 'sec:library'
./manual.tex:1324: Warning: Undefined label: 'sec:library'
./manual.tex:1355: Warning: Undefined label: 'sec:library'
./manual.tex:1356: Warning: Undefined label: 'fig:sugar'
./manual.tex:1490: Warning: Undefined label: 'sec:positions'
./manual.tex:1569: Warning: Undefined label: 'sec:split'
./manual.tex:1570: Warning: Undefined label: 'sec:templates'
./manual.tex:1570: Warning: Undefined label: 'sec:inline'
./manual.tex:1575: Warning: Undefined label: 'fig:standard'
./manual.tex:1576: Warning: Undefined label: 'fig:sugar'
./manual.tex:1607: Warning: Undefined label: 'fig:standard'
./manual.tex:1610: Warning: Undefined label: 'sec:actual'
./manual.tex:1635: Warning: Undefined label: 'sec:actual'
./manual.tex:1636: Warning: Undefined label: 'sec:inline'
./manual.tex:1667: Warning: Undefined label: 'sec:actual'
./manual.tex:1668: Warning: Undefined label: 'sec:inline'
./manual.tex:1701: Warning: Undefined label: 'sec:assoc'
./manual.tex:1701: Warning: Undefined label: 'sec:prec'
./manual.tex:1727: Warning: Undefined label: 'multiway'
./manual.tex:1767: Warning: Undefined label: 'fig:basicshiftreduce'
./manual.tex:1860: Warning: Undefined label: 'fig:shifting:tree'
./manual.tex:1865: Warning: Undefined label: 'fig:shifting:tree'
./manual.tex:1865: Warning: Undefined label: 'fig:shifting:text'
./manual.tex:1876: Warning: Undefined label: 'fig:shifting:text'
./manual.tex:1919: Warning: Undefined label: 'fig:reducing:tree'
./manual.tex:1924: Warning: Undefined label: 'fig:reducing:tree'
./manual.tex:1924: Warning: Undefined label: 'fig:reducing:text'
./manual.tex:1928: Warning: Undefined label: 'fig:reducing:text'
./manual.tex:1941: Warning: Undefined label: 'fig:xreducing:tree'
./manual.tex:1941: Warning: Undefined label: 'fig:xreducing:text'
./manual.tex:1996: Warning: Undefined label: 'fig:xreducing:tree'
./manual.tex:2004: Warning: Undefined label: 'fig:xreducing:text'
./manual.tex:2019: Warning: Undefined label: 'fig:xreducing:tree'
./manual.tex:2020: Warning: Undefined label: 'fig:xreducing:text'
./manual.tex:2205: Warning: Undefined label: 'fig:basiceos'
./manual.tex:2222: Warning: Undefined label: 'fig:basiceos'
./manual.tex:2234: Warning: Undefined label: 'fig:basiceos'
./manual.tex:2239: Warning: Undefined label: 'fig:basiceosdump'
./manual.tex:2263: Warning: Undefined label: 'fig:basiceos:sol'
./manual.tex:2350: Warning: Undefined label: 'fig:pos'
./manual.tex:2414: Warning: Undefined label: 'fig:pos:mapping'
./manual.tex:2419: Warning: Undefined label: 'fig:pos:mapping'
./manual.tex:2425: Warning: Undefined label: 'sec:inline'
./manual.tex:2523: Warning: Undefined label: 'sec:sentences'
./manual.tex:2630: Warning: Undefined label: 'sec:qa'
./manual.tex:2687: Warning: Undefined label: 'sec:incremental'
./manual.tex:2687: Warning: Undefined label: 'sec:inspection'
./manual.tex:2710: Warning: Undefined label: 'sec:incremental:driving'
./manual.tex:2711: Warning: Undefined label: 'sec:incremental:inspecting'
./manual.tex:2711: Warning: Undefined label: 'sec:incremental:updating'
./manual.tex:2820: Warning: Undefined label: 'sec:errors'
./manual.tex:2875: Warning: Undefined label: 'sec:errors'
./manual.tex:3031: Warning: Undefined label: 'sec:inspection'
./manual.tex:3096: Warning: Undefined label: 'sec:incremental:updating'
./manual.tex:3132: Warning: Undefined label: 'sec:incremental:inspecting'
./manual.tex:3144: Warning: Undefined label: 'sec:inspection'
./manual.tex:3192: Warning: Undefined label: 'sec:errors:new'
./manual.tex:3395: Warning: Undefined label: 'sec:errors:new'
./manual.tex:3465: Warning: Undefined label: 'sec:incremental'
./manual.tex:3470: Warning: Undefined label: 'sec:errors'
./manual.tex:3478: Warning: Undefined citation: 'jeffery-03'
./manual.tex:3479: Warning: Undefined citation: 'pottier-reachability-cc-2016'
./manual.tex:3493: Warning: Undefined label: 'sec:messages:format'
./manual.tex:3495: Warning: Undefined label: 'sec:messages:tools'
./manual.tex:3497: Warning: Undefined label: 'sec:errors:diagnostics'
./manual.tex:3498: Warning: Undefined label: 'sec:errors:example'
./manual.tex:3504: Warning: Undefined citation: 'knuth-lr-65'
./manual.tex:3505: Warning: Undefined citation: 'pager-77'
./manual.tex:3511: Warning: Undefined label: 'sec:errors:diagnostics'
./manual.tex:3526: Warning: Undefined label: 'sec:sentences'
./manual.tex:3593: Warning: Undefined label: 'fig:messages:entry'
./manual.tex:3602: Warning: Undefined label: 'sec:messages:merge'
./manual.tex:3616: Warning: Undefined label: 'sec:messages:tools'
./manual.tex:3624: Warning: Undefined label: 'fig:messages:entry:decorated'
./manual.tex:3650: Warning: Undefined label: 'sec:errors:diagnostics'
./manual.tex:3842: Warning: Undefined label: 'fig:declarations'
./manual.tex:3848: Warning: Undefined label: 'sec:messages:format'
./manual.tex:3854: Warning: Undefined label: 'fig:declarations'
./manual.tex:3866: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3869: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3873: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3883: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3896: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3902: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3925: Warning: Undefined label: 'fig:declarations:onerrorreduce'
./manual.tex:3947: Warning: Undefined label: 'fig:declarations:phantom'
./manual.tex:3951: Warning: Undefined label: 'fig:declarations'
./manual.tex:3967: Warning: Undefined label: 'sec:onerrorreduce'
./manual.tex:3968: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3975: Warning: Undefined label: 'fig:declarations:onerrorreduce'
./manual.tex:3977: Warning: Undefined label: 'fig:declarations'
./manual.tex:3992: Warning: Undefined label: 'fig:declarations'
./manual.tex:3994: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3995: Warning: Undefined label: 'fig:declarations:onerrorreduce'
./manual.tex:3997: Warning: Undefined label: 'fig:declarations:under'
./manual.tex:4011: Warning: Undefined label: 'fig:declarations:under'
./manual.tex:4095: Warning: Undefined citation: 'jourdan-leroy-pottier-12'
./manual.tex:4097: Warning: Undefined citation: 'compcert'
./manual.tex:4115: Warning: Undefined label: 'sec:errors'
./manual.tex:4118: Warning: Undefined label: 'fig:pos'
./manual.tex:4119: Warning: Undefined label: 'sec:parameter'
./manual.tex:4120: Warning: Undefined label: 'sec:inline'
./manual.tex:4121: Warning: Undefined label: 'sec:library'
./manual.tex:4126: Warning: Undefined label: 'sec:type'
./manual.tex:4126: Warning: Undefined label: 'sec:start'
./manual.tex:4129: Warning: Undefined label: 'sec:conflicts:benign'
./manual.tex:4131: Warning: Undefined label: 'sec:assoc'
./manual.tex:4167: Warning: Undefined citation: 'compcert'
./manual.tex:4198: Warning: Undefined label: 'sec:coq:errmsg'
./manual.tex:4263: Warning: Undefined citation: 'compcert'
./manual.tex:4263: Warning: Undefined citation: 'compcert-github'
./manual.tex:4271: Warning: Undefined label: 'sec:errors:example'
./manual.tex:4283: Warning: Undefined label: 'sec:messages:format'
./manual.tex:4284: Warning: Undefined label: 'sec:messages:tools'
./manual.tex:4303: Warning: Undefined citation: 'klint-laemmel-verhoef-05'
./manual.tex:4309: Warning: Undefined label: 'sec:sdk'
./manual.tex:4316: Warning: Undefined label: 'sec:attributes'
./manual.tex:4371: Warning: Undefined label: 'sec:decls'
./manual.tex:4402: Warning: Undefined label: 'sec:producers'
./manual.tex:4418: Warning: Undefined label: 'sec:decls'
./manual.tex:4451: Warning: Undefined label: 'sec:build:infer'
./manual.tex:4451: Warning: Undefined label: 'sec:build:flags'
./manual.tex:4457: Warning: Undefined label: 'sec:dune'
./manual.tex:4471: Warning: Undefined label: 'sec:build:infer:none'
./manual.tex:4474: Warning: Undefined label: 'sec:build:infer:direct'
./manual.tex:4477: Warning: Undefined label: 'sec:build:infer:indirect'
./manual.tex:4486: Warning: Undefined label: 'sec:build:infer:direct'
./manual.tex:4487: Warning: Undefined label: 'sec:build:infer:indirect'
./manual.tex:4663: Warning: Undefined label: 'sec:positions'
./manual.tex:4671: Warning: Undefined label: 'sec:templates'
./manual.tex:4673: Warning: Undefined label: 'sec:actual'
./manual.tex:4674: Warning: Undefined label: 'sec:library'
./manual.tex:4677: Warning: Undefined label: 'fig:sugar'
./manual.tex:4682: Warning: Undefined label: 'sec:inline'
./manual.tex:4685: Warning: Undefined label: 'sec:conflicts'
./manual.tex:4689: Warning: Undefined label: 'sec:incremental'
./manual.tex:4695: Warning: Undefined label: 'sec:errors:new'
./manual.tex:4698: Warning: Undefined label: 'sec:coq'
./manual.tex:4700: Warning: Undefined label: 'sec:interpret'
./manual.tex:4703: Warning: Undefined label: 'sec:split'
./manual.tex:4714: Warning: Undefined label: 'sec:eos'
./manual.tex:4730: Warning: Undefined label: 'sec:positions'
./manual.tex:4732: Warning: Undefined label: 'sec:errors'
./manual.tex:4734: Warning: Undefined label: 'sec:errors'
./manual.tex:4739: Warning: Undefined label: 'sec:conflicts'
./manual.tex:4779: Warning: \vspace with arg '-\baselineskip'
./manual.tex:4790: Warning: Undefined label: 'sec:build'
./manual.tex:4811: Warning: Undefined label: 'sec:errors:new'
./manual.tex:4860: Warning: Undefined label: 'sec:errors:new'
./manual.tex:4889: Warning: Undefined label: 'sec:decls:headers'
./manual.tex:4901: Warning: Undefined label: 'sec:monolithic'
./manual.tex:4907: Warning: Undefined label: 'sec:incremental'
./manual.tex:4950: Warning: Undefined label: 'sec:positions'
./manual.tex:4954: Warning: Undefined citation: 'obelisk'
./manual.tex:4957: Warning: Undefined label: 'sec:library'
./manual.tex:4963: Warning: Undefined citation: 'knuth-lr-65'
./manual.tex:4966: Warning: Undefined citation: 'pager-77'
./manual.tex:4969: Warning: Undefined citation: 'bison'
./manual.tex:4972: Warning: Undefined citation: 'deremer-pennello-82'
./manual.tex:4976: Warning: Undefined citation: 'bhamidipaty-proebsting-98'
./manual.tex:4976: Warning: Undefined citation: 'horspool-faster-90'
./manual.tex:4981: Warning: Undefined citation: 'tarjan-yao-79'
./manual.tex:4984: Warning: Undefined citation: 'dencker-84'
./manual.tex:4987: Warning: Undefined citation: 'pottier-regis-gianas-typed-lr'
./manual.tex:4995: Warning: Undefined citation: 'jourdan-leroy-pottier-12'
./manual.tex:4996: Warning: Undefined citation: 'compcert'
./manual.tex:4998: Warning: Undefined citation: 'jourdan-pottier-17'
./manual.tex:5000: Warning: Undefined label: 'sec:errors:new'
./manual.tex:5001: Warning: Undefined citation: 'jeffery-03'
./manual.tex:5002: Warning: Undefined citation: 'pottier-reachability-cc-2016'
./manual.tex:5003: Warning: Undefined citation: 'bour-pottier-21'
HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right.
HeVeA Warning: images may have changed, run 'imagen manual'
Run, run, again...
./mymacros.hva:4: Warning: Ignoring (re-)definition of '\raisebox' by \newcommand
./mymacros.hva:5: Warning: Ignoring (re-)definition of '\phantom' by \newcommand
Exclude comment 'comment'
./manual.tex:531: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:541: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:556: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:4779: Warning: \vspace with arg '-\baselineskip'
Fixpoint reached in 2 step(s)
Now, I am running imagen for you
RESOLUTION: 100
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=latex)
restricted \write18 enabled.
entering extended mode
(./manual.image.tex
LaTeX2e <2021-11-15> patch level 1
L3 programming layer <2022-02-24> (./sigplanconf.cls
Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)))
(/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/base/fontenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/dvips.def)))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-dvips.def
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-postsc
ript.def)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
tex)) (/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/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
ric.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
e.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
thmetics.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
s.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
ex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
x)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
ode.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex))
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65
.sty)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarytopaths.code.tex)))
(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty)
(./fppdf.sty
Hyperlinks in pdflatex style.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hdvips.def
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pdfmark.def
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))))
(./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty
Excluding comment 'comment') Excluding comment 'rawhtml'
Excluding comment 'htmlonly')
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-dvips.def)
No file manual.image.aux.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty))
Package hyperref Warning: Rerun to get /PageLabels entry.
[1] [2]
Missing character: There is no ] in font nullfont!
[3] (./manual.image.aux)
Package rerunfilecheck Warning: File `manual.image.out' has changed.
(rerunfilecheck) Rerun to get outlines right
(rerunfilecheck) or use package `bookmark'.
)
Output written on manual.image.dvi (3 pages, 24164 bytes).
Transcript written on manual.image.log.
This is dvips(k) 2022.1 (TeX Live 2022) Copyright 2022 Radical Eye Software (www.radicaleye.com)
' TeX output 2022.07.06:1109' ->
</usr/share/texlive/texmf-dist/dvips/base/texc.pro>
</usr/share/texlive/texmf-dist/dvips/l3backend/l3backend-dvips.pro>
</usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc>
</usr/share/texlive/texmf-dist/dvips/base/texps.pro>
</usr/share/texlive/texmf-dist/dvips/base/special.pro>
</usr/share/texlive/texmf-dist/dvips/base/color.pro>.
</usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>[1] [2] [3]
convert-im6.q16: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-j4kdx2f8mpftu9FeZA36vdqMMKmAAujX' @ warning/png.c/MagickPNGWarningHandler/1668.
convert-im6.q16: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-7UN2a5sp9dMT5iTss4-YHFUjP1fpQO7x' @ warning/png.c/MagickPNGWarningHandler/1668.
convert-im6.q16: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-YlSIjjBQbYGbhBG5FCxcA0xs9L8Ssrcj' @ warning/png.c/MagickPNGWarningHandler/1668.
sed -i.bak -e "s/cellpadding0/cellpadding1/" manual.html && rm manual.html.bak
make[2]: Leaving directory '/<<BUILDDIR>>/menhir-20220210+ds/doc'
dune build @install
pack lib/pack/menhirLib.{ml,mli}
Creating menhirLib.ml...
Creating menhirLib.mli...
menhir src/stage2/parserMessages.check
Read 101 sample input sentences and 101 error messages.
Read 101 sample input sentences and 48 error messages.
menhir src/stage2/parserMessages.ml
Read 101 sample input sentences and 48 error messages.
menhir src/stage2/parser.{ml,mli}
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
The construction mode is no-pager.
Built an LR(1) automaton with 298 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 40 states.
Priority played a role in 0 of these states.
152 out of 298 states have a default reduction.
102 out of 298 states are represented.
44 out of 96 symbols keep track of their start position.
41 out of 96 symbols keep track of their end position.
264 specialized copies of 64 functions have been created.
The StackLang code contains 5161 instructions in 241 blocks.
The StackLang code comprises 5 mutually recursive groups.
make[1]: Leaving directory '/<<BUILDDIR>>/menhir-20220210+ds'
create-stamp debian/debhelper-build-stamp
dh_prep -a
dh_installdirs -a
debian/rules override_dh_auto_install
make[1]: Entering directory '/<<BUILDDIR>>/menhir-20220210+ds'
DESTDIR=/<<BUILDDIR>>/menhir-20220210+ds/debian/tmp dune install --prefix=usr --libdir=lib/ocaml
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/coq-menhirlib/META
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/coq-menhirlib/dune-package
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/doc/coq-menhirlib/LICENSE
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhir/META
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhir/dune-package
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/bin/menhir
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/doc/menhir/LICENSE
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual.html
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual.pdf
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual001.png
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual002.png
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual003.png
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/man/man1/menhir.1
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/META
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/dune-package
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.a
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cma
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmi
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmt
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmti
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmx
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmxa
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.ml
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.mli
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmxs
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/doc/menhirLib/LICENSE
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/META
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_api.ml
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_format.ml
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_read.ml
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_read.mli
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/dune-package
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/keyword.ml
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/keyword.mli
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.a
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cma
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmi
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmt
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmx
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmxa
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.ml
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmi
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmt
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmx
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmi
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmt
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmx
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmi
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmt
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmti
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmx
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmi
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmt
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmti
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmx
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmi
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmt
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmx
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/version.ml
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
Installing /<<BUILDDIR>>/menhir-20220210+ds/debian/tmp/usr/doc/menhirSdk/LICENSE
make[1]: Leaving directory '/<<BUILDDIR>>/menhir-20220210+ds'
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_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/menhir/usr/bin/menhir was not linked against ld-linux-armhf.so.3 (it uses none of the library's symbols)
dh_installdeb -a
dh_ocaml -a
dh_gencontrol -a
dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package 'menhir' in '../menhir_20220210+ds-2_armhf.deb'.
dpkg-deb: building package 'menhir-dbgsym' in '../menhir-dbgsym_20220210+ds-2_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev-dbgsym' in '../libmenhir-ocaml-dev-dbgsym_20220210+ds-2_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20220210+ds-2_armhf.deb'.
dpkg-genbuildinfo --build=any -O../menhir_20220210+ds-2_armhf.buildinfo
dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> -O../menhir_20220210+ds-2_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2022-07-06T11:10:22Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
menhir_20220210+ds-2_armhf.changes:
-----------------------------------
Format: 1.8
Date: Fri, 13 May 2022 13:47:21 +0200
Source: menhir
Binary: libmenhir-ocaml-dev libmenhir-ocaml-dev-dbgsym menhir menhir-dbgsym
Architecture: armhf
Version: 20220210+ds-2
Distribution: bookworm-staging
Urgency: medium
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libmenhir-ocaml-dev - Menhir library for OCaml
menhir - Parser generator for OCaml
Changes:
menhir (20220210+ds-2) unstable; urgency=medium
.
* Prepare for upload to unstable.
Checksums-Sha1:
84942c532402c22120d4a23b29d2de595e03bbc1 14028 libmenhir-ocaml-dev-dbgsym_20220210+ds-2_armhf.deb
127b941183f42ff05094aba1957673af5afe1b7e 530264 libmenhir-ocaml-dev_20220210+ds-2_armhf.deb
3a4155e80936297b6a855e4f69a8f5553145dd3d 265140 menhir-dbgsym_20220210+ds-2_armhf.deb
dedfd8fd85329aea8980035d25ff02f3f1f1c0d8 9471 menhir_20220210+ds-2_armhf.buildinfo
fad9d6fc937942e0cd3906674306a43d3346cf57 1020544 menhir_20220210+ds-2_armhf.deb
Checksums-Sha256:
5dac3b17b088a1517097122020e623394c71afb23cf4d18f0c0f987c55d6f3cc 14028 libmenhir-ocaml-dev-dbgsym_20220210+ds-2_armhf.deb
3595e8e82afa16e64859273d582219b30c005fcffe791e8d56063ed5a37b5deb 530264 libmenhir-ocaml-dev_20220210+ds-2_armhf.deb
0578e112a8b3b643043f5eac540bad30cb0b27a5bfeacbb0bf6418664aa654e2 265140 menhir-dbgsym_20220210+ds-2_armhf.deb
374aa96dab2562fe522e329fc7a25fb7ef31bfef8192ca36811fc8447d6270fa 9471 menhir_20220210+ds-2_armhf.buildinfo
1a22ea5a8b9c8287f1766362d1835dd683a2e29223edea5a17925fd803c3f853 1020544 menhir_20220210+ds-2_armhf.deb
Files:
757bcad21a3dfc69805cde2def82d1e2 14028 debug optional libmenhir-ocaml-dev-dbgsym_20220210+ds-2_armhf.deb
7d0f6d154dc9aa1f595c90d665a51fe3 530264 ocaml optional libmenhir-ocaml-dev_20220210+ds-2_armhf.deb
75345c8ba9b9594dbf199e56c4ddfa98 265140 debug optional menhir-dbgsym_20220210+ds-2_armhf.deb
241a29ff35150a9a284c6535086f7ea9 9471 ocaml optional menhir_20220210+ds-2_armhf.buildinfo
4db3e5d7ab1ea419e8918ecef308ee92 1020544 ocaml optional menhir_20220210+ds-2_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
libmenhir-ocaml-dev-dbgsym_20220210+ds-2_armhf.deb
--------------------------------------------------
new Debian package, version 2.0.
size 14028 bytes: control archive=600 bytes.
447 bytes, 12 lines control
212 bytes, 2 lines md5sums
Package: libmenhir-ocaml-dev-dbgsym
Source: menhir
Version: 20220210+ds-2
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 59
Depends: libmenhir-ocaml-dev (= 20220210+ds-2)
Section: debug
Priority: optional
Description: debug symbols for libmenhir-ocaml-dev
Build-Ids: 32fac7475b6e034845142133cf5f68bb29fd0402 aa213555c52ecda770b6f918eb374a2452334710
drwxr-xr-x root/root 0 2022-05-13 11:47 ./
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/debug/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/debug/.build-id/32/
-rw-r--r-- root/root 30660 2022-05-13 11:47 ./usr/lib/debug/.build-id/32/fac7475b6e034845142133cf5f68bb29fd0402.debug
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/debug/.build-id/aa/
-rw-r--r-- root/root 18028 2022-05-13 11:47 ./usr/lib/debug/.build-id/aa/213555c52ecda770b6f918eb374a2452334710.debug
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/doc/
lrwxrwxrwx root/root 0 2022-05-13 11:47 ./usr/share/doc/libmenhir-ocaml-dev-dbgsym -> libmenhir-ocaml-dev
libmenhir-ocaml-dev_20220210+ds-2_armhf.deb
-------------------------------------------
new Debian package, version 2.0.
size 530264 bytes: control archive=2140 bytes.
1014 bytes, 24 lines control
4060 bytes, 54 lines md5sums
Package: libmenhir-ocaml-dev
Source: menhir
Version: 20220210+ds-2
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 2300
Depends: ocaml-4.13.1, libc6 (>= 2.4)
Suggests: ocaml-findlib
Provides: libmenhir-ocaml-dev-86p89
Section: ocaml
Priority: optional
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Menhir library for OCaml
Menhir is a LR(1) parser generator for the OCaml programming language.
It is mostly compatible with the ocamlyacc parser generator provided with
OCaml, and has a number of enhancements over ocamlyacc.
.
This package contains the Menhir library for the OCaml programming language.
It gives access to, among others, the following modules:
* InfiniteArray: implements infinite arrays, that is, arrays
that grow transparently upon demand.
* RowDisplacement: compresses a two-dimensional table, where some
values are considered insignificant, via row displacement.
* Engine: LR parsing engine.
drwxr-xr-x root/root 0 2022-05-13 11:47 ./
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/ocaml/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/ocaml/coq-menhirlib/
-rw-r--r-- root/root 0 2022-05-13 11:47 ./usr/lib/ocaml/coq-menhirlib/META
-rw-r--r-- root/root 56 2022-05-13 11:47 ./usr/lib/ocaml/coq-menhirlib/dune-package
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/ocaml/menhir/
-rw-r--r-- root/root 0 2022-05-13 11:47 ./usr/lib/ocaml/menhir/META
-rw-r--r-- root/root 49 2022-05-13 11:47 ./usr/lib/ocaml/menhir/dune-package
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/
-rw-r--r-- root/root 227 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/META
-rw-r--r-- root/root 461 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/dune-package
-rw-r--r-- root/root 120212 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/menhirLib.a
-rw-r--r-- root/root 255316 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/menhirLib.cma
-rw-r--r-- root/root 54685 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/menhirLib.cmi
-rw-r--r-- root/root 758695 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/menhirLib.cmt
-rw-r--r-- root/root 269122 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/menhirLib.cmti
-rw-r--r-- root/root 1112 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/menhirLib.cmx
-rw-r--r-- root/root 1119 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/menhirLib.cmxa
-rw-r--r-- root/root 107760 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/menhirLib.cmxs
-rw-r--r-- root/root 134529 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/menhirLib.ml
-rw-r--r-- root/root 70471 2022-05-13 11:47 ./usr/lib/ocaml/menhirLib/menhirLib.mli
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/
-rw-r--r-- root/root 239 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/META
-rw-r--r-- root/root 4726 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/cmly_api.ml
-rw-r--r-- root/root 3095 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/cmly_format.ml
-rw-r--r-- root/root 8958 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/cmly_read.ml
-rw-r--r-- root/root 1072 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/cmly_read.mli
-rw-r--r-- root/root 1051 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/dune-package
-rw-r--r-- root/root 3044 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/keyword.ml
-rw-r--r-- root/root 2969 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/keyword.mli
-rw-r--r-- root/root 55294 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk.a
-rw-r--r-- root/root 100601 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk.cma
-rw-r--r-- root/root 586 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmi
-rw-r--r-- root/root 4134 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmt
-rw-r--r-- root/root 216 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmx
-rw-r--r-- root/root 2558 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmxa
-rw-r--r-- root/root 45524 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
-rw-r--r-- root/root 389 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk.ml
-rw-r--r-- root/root 11495 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmi
-rw-r--r-- root/root 48382 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmt
-rw-r--r-- root/root 488 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmx
-rw-r--r-- root/root 5403 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmi
-rw-r--r-- root/root 24137 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmt
-rw-r--r-- root/root 352 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmx
-rw-r--r-- root/root 800 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmi
-rw-r--r-- root/root 122176 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmt
-rw-r--r-- root/root 5223 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmti
-rw-r--r-- root/root 978 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmx
-rw-r--r-- root/root 6893 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmi
-rw-r--r-- root/root 33914 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmt
-rw-r--r-- root/root 25730 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmti
-rw-r--r-- root/root 451 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmx
-rw-r--r-- root/root 312 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmi
-rw-r--r-- root/root 2605 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmt
-rw-r--r-- root/root 210 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmx
-rw-r--r-- root/root 25 2022-05-13 11:47 ./usr/lib/ocaml/menhirSdk/version.ml
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/doc/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/doc/libmenhir-ocaml-dev/
-rw-r--r-- root/root 4804 2022-05-13 11:47 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root 1865 2022-05-13 11:47 ./usr/share/doc/libmenhir-ocaml-dev/copyright
drwxr-xr-x root/root 0 2022-05-13 11:47 ./var/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./var/lib/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./var/lib/ocaml/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root 308 2022-05-13 11:47 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
drwxr-xr-x root/root 0 2022-05-13 11:47 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root 1294 2022-05-13 11:47 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums
menhir-dbgsym_20220210+ds-2_armhf.deb
-------------------------------------
new Debian package, version 2.0.
size 265140 bytes: control archive=532 bytes.
369 bytes, 12 lines control
106 bytes, 1 lines md5sums
Package: menhir-dbgsym
Source: menhir
Version: 20220210+ds-2
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 1235
Depends: menhir (= 20220210+ds-2)
Section: debug
Priority: optional
Description: debug symbols for menhir
Build-Ids: 0df580890b9f93c0beea4f35e7fef301f14d14e4
drwxr-xr-x root/root 0 2022-05-13 11:47 ./
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/debug/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/lib/debug/.build-id/0d/
-rw-r--r-- root/root 1254140 2022-05-13 11:47 ./usr/lib/debug/.build-id/0d/f580890b9f93c0beea4f35e7fef301f14d14e4.debug
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/doc/
lrwxrwxrwx root/root 0 2022-05-13 11:47 ./usr/share/doc/menhir-dbgsym -> menhir
menhir_20220210+ds-2_armhf.deb
------------------------------
new Debian package, version 2.0.
size 1020544 bytes: control archive=908 bytes.
867 bytes, 21 lines control
254 bytes, 4 lines md5sums
Package: menhir
Version: 20220210+ds-2
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 3341
Depends: libc6 (>= 2.29)
Suggests: menhir-doc
Section: ocaml
Priority: optional
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Parser generator for OCaml
Menhir is a LR(1) parser generator for the OCaml programming language.
It is mostly compatible with the ocamlyacc parser generator provided with
the OCaml system, and has the following enhancements over ocamlyacc:
* it accepts LR(1) grammars,
* it offers parameterized nonterminal symbols as well as a library of
standard definitions,
* it explains conflicts in terms of the grammar,
* it allows grammar specifications to be split over multiple files and
parametrized by OCaml modules,
* it produces reentrant parsers.
drwxr-xr-x root/root 0 2022-05-13 11:47 ./
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/bin/
-rwxr-xr-x root/root 3401368 2022-05-13 11:47 ./usr/bin/menhir
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/doc/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/doc/menhir/
-rw-r--r-- root/root 4804 2022-05-13 11:47 ./usr/share/doc/menhir/changelog.Debian.gz
-rw-r--r-- root/root 1865 2022-05-13 11:47 ./usr/share/doc/menhir/copyright
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/man/
drwxr-xr-x root/root 0 2022-05-13 11:47 ./usr/share/man/man1/
-rw-r--r-- root/root 2247 2022-05-13 11:47 ./usr/share/man/man1/menhir.1.gz
+------------------------------------------------------------------------------+
| Post Build |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: armhf
Build-Space: 71784
Build-Time: 78
Distribution: bookworm-staging
Host Architecture: armhf
Install-Time: 723
Job: menhir_20220210+ds-2
Machine Architecture: armhf
Package: menhir
Package-Time: 818
Source-Version: 20220210+ds-2
Space: 71784
Status: successful
Version: 20220210+ds-2
--------------------------------------------------------------------------------
Finished at 2022-07-06T11:10:22Z
Build needed 00:13:38, 71784k disk space