menhir →
20230608+ds-1 →
armhf → 2023-09-21 12:25:15
sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on bm-wb-02
+==============================================================================+
| menhir 20230608+ds-1 (armhf) Thu, 21 Sep 2023 11:33:35 +0000 |
+==============================================================================+
Package: menhir
Version: 20230608+ds-1
Source Version: 20230608+ds-1
Distribution: trixie-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/trixie-staging-armhf-sbuild-11830c54-84e2-454f-808e-302dd45784e8' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.4.1/private trixie-staging InRelease [11.3 kB]
Get:2 http://172.17.4.1/private trixie-staging/main Sources [14.1 MB]
Get:3 http://172.17.4.1/private trixie-staging/main armhf Packages [14.7 MB]
Fetched 28.7 MB in 30s (959 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/trixie-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 539 kB of source archives.
Get:1 http://172.17.4.1/private trixie-staging/main menhir 20230608+ds-1 (dsc) [2084 B]
Get:2 http://172.17.4.1/private trixie-staging/main menhir 20230608+ds-1 (tar) [523 kB]
Get:3 http://172.17.4.1/private trixie-staging/main menhir 20230608+ds-1 (diff) [13.7 kB]
Fetched 539 kB in 0s (3634 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/menhir-olRrNM/menhir-20230608+ds' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/menhir-olRrNM' 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-WuVpqt/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-WuVpqt/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-WuVpqt/gpg/trustdb.gpg: trustdb created
gpg: key 35506D9A48F77B2E: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg: imported: 1
gpg: key 35506D9A48F77B2E: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 35506D9A48F77B2E: secret key imported
gpg: Total number processed: 1
gpg: unchanged: 1
gpg: secret keys read: 1
gpg: secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-WuVpqt/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-WuVpqt/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-WuVpqt/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-WuVpqt/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-WuVpqt/apt_archive ./ Packages [429 B]
Fetched 2105 B in 1s (2823 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 libldap-common libpam-cap netbase sensible-utils sgml-base
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 55 not upgraded.
Need to get 848 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-WuVpqt/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [848 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 848 B in 0s (23.8 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12024 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 (>= 1.2.2), hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml, texlive-fonts-recommended, texlive-latex-extra
Filtered Build-Depends: debhelper-compat (= 13), dh-ocaml (>= 1.2.2), hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml, texlive-fonts-recommended, texlive-latex-extra
dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/<<BUILDDIR>>/resolver-WuVpqt/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-WuVpqt/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-WuVpqt/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-WuVpqt/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-WuVpqt/apt_archive ./ Sources [558 B]
Get:5 copy:/<<BUILDDIR>>/resolver-WuVpqt/apt_archive ./ Packages [637 B]
Fetched 2528 B in 1s (3449 B/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 libldap-common libpam-cap netbase sgml-base util-linux-extra
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils bsdutils 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 libapache-pom-java libarchive-zip-perl libavahi-client3
libavahi-common-data libavahi-common3 libblkid1 libbrotli1 libbsd0 libcairo2
libcommons-logging-java libcommons-parent-java libcompiler-libs-ocaml-dev
libcups2 libdav1d6 libdbus-1-3 libde265-0 libdebhelper-perl libdeflate0
libelf1 libexpat1 libfftw3-double3 libfile-stripnondeterminism-perl
libfontbox-java libfontconfig1 libfontenc1 libfreetype6 libglib2.0-0
libgraphite2-3 libgs-common libgs10 libgs10-common libharfbuzz0b
libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libice6 libicu72
libidn12 libijs-0.35 libjbig0 libjbig2dec0 libjpeg62-turbo libkpathsea6
liblcms2-2 liblerc4 liblqr-1-0 libltdl7 libmagic-mgc libmagic1
libmagickcore-6.q16-6 libmagickwand-6.q16-6 libmount1 libncurses-dev
libncurses6 libncursesw6 libnetpbm11 libopenjp2-7 libpaper-utils libpaper1
libpdfbox-java libpipeline1 libpixman-1-0 libpng16-16 libpotrace0
libptexenc1 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib
libsm6 libsmartcols1 libstdlib-ocaml libstdlib-ocaml-dev
libsub-override-perl libsynctex2 libteckit0 libtexlua53-5 libtexluajit2
libtiff6 libtinfo6 libtool libuchardet0 libuuid1 libwebp7 libwebpdemux2
libwebpmux3 libx11-6 libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0
libxcb1 libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6
libzzip-0-13 m4 man-db media-types mount ncurses-bin netpbm ocaml ocaml-base
ocaml-dune ocaml-interp po-debconf poppler-data preview-latex-style python3
python3-minimal python3.11 python3.11-minimal t1utils tex-common
texlive-base texlive-binaries texlive-fonts-recommended texlive-latex-base
texlive-latex-extra texlive-latex-recommended texlive-pictures ucf
util-linux util-linux-extra x11-common xdg-utils xfonts-encodings
xfonts-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 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 low-memory-monitor libheif-plugin-rav1e libheif-plugin-svtenc
liblcms2-utils libmagickcore-6.q16-6-extra cryptsetup-bin ncurses-doc
libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less
www-browser nfs-common 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.11-venv python3.11-doc
binfmt-support perl-tk xpdf | pdf-viewer xzdec texlive-fonts-recommended-doc
texlive-latex-base-doc wp2latex 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 dosfstools kbd util-linux-locales
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
libheif-plugin-aomenc libheif-plugin-x265 gsfonts libgpm2 ocaml-man
libltdl-dev uuid-runtime ledit | readline-editor libmail-sendmail-perl
ca-certificates lmodern dvisvgm tex-gyre tipa default-jre
libspreadsheet-parseexcel-perl texlive-plain-generic ruby tk
libfile-mimeinfo-perl libnet-dbus-perl libx11-protocol-perl x11-utils
x11-xserver-utils
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils debhelper
dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig-config
fonts-lmodern fonts-urw-base35 gettext gettext-base ghostscript groff-base
hevea hicolor-icon-theme imagemagick imagemagick-6-common imagemagick-6.q16
intltool-debian libapache-pom-java libarchive-zip-perl libavahi-client3
libavahi-common-data libavahi-common3 libbrotli1 libbsd0 libcairo2
libcommons-logging-java libcommons-parent-java libcompiler-libs-ocaml-dev
libcups2 libdav1d6 libdbus-1-3 libde265-0 libdebhelper-perl libdeflate0
libelf1 libexpat1 libfftw3-double3 libfile-stripnondeterminism-perl
libfontbox-java libfontconfig1 libfontenc1 libfreetype6 libglib2.0-0
libgraphite2-3 libgs-common libgs10 libgs10-common libharfbuzz0b
libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libice6 libicu72
libidn12 libijs-0.35 libjbig0 libjbig2dec0 libjpeg62-turbo libkpathsea6
liblcms2-2 liblerc4 liblqr-1-0 libltdl7 libmagic-mgc libmagic1
libmagickcore-6.q16-6 libmagickwand-6.q16-6 libncurses-dev libncurses6
libnetpbm11 libopenjp2-7 libpaper-utils libpaper1 libpdfbox-java
libpipeline1 libpixman-1-0 libpng16-16 libpotrace0 libptexenc1
libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libsm6
libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libsynctex2
libteckit0 libtexlua53-5 libtexluajit2 libtiff6 libtool libuchardet0
libwebp7 libwebpdemux2 libwebpmux3 libx11-6 libx11-data 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-dune ocaml-interp po-debconf poppler-data
preview-latex-style python3 python3-minimal python3.11 python3.11-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 xfonts-encodings xfonts-utils
The following packages will be upgraded:
bsdutils libblkid1 libmount1 libncursesw6 libsmartcols1 libtinfo6 libuuid1
mount ncurses-bin util-linux util-linux-extra
11 upgraded, 149 newly installed, 0 to remove and 44 not upgraded.
Need to get 261 MB of archives.
After this operation, 956 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-WuVpqt/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [928 B]
Get:2 http://172.17.4.1/private trixie-staging/main armhf bsdutils armhf 1:2.39.2-1 [85.9 kB]
Get:3 http://172.17.4.1/private trixie-staging/main armhf libtinfo6 armhf 6.4+20230625-2 [323 kB]
Get:4 http://172.17.4.1/private trixie-staging/main armhf libncursesw6 armhf 6.4+20230625-2 [106 kB]
Get:5 http://172.17.4.1/private trixie-staging/main armhf ncurses-bin armhf 6.4+20230625-2 [417 kB]
Get:6 http://172.17.4.1/private trixie-staging/main armhf libblkid1 armhf 2.39.2-1 [143 kB]
Get:7 http://172.17.4.1/private trixie-staging/main armhf libmount1 armhf 2.39.2-1 [166 kB]
Get:8 http://172.17.4.1/private trixie-staging/main armhf libsmartcols1 armhf 2.39.2-1 [101 kB]
Get:9 http://172.17.4.1/private trixie-staging/main armhf util-linux-extra armhf 2.39.2-1 [136 kB]
Get:10 http://172.17.4.1/private trixie-staging/main armhf util-linux armhf 2.39.2-1 [1107 kB]
Get:11 http://172.17.4.1/private trixie-staging/main armhf mount armhf 2.39.2-1 [132 kB]
Get:12 http://172.17.4.1/private trixie-staging/main armhf libfftw3-double3 armhf 3.3.10-1 [325 kB]
Get:13 http://172.17.4.1/private trixie-staging/main armhf libexpat1 armhf 2.5.0-1 [77.2 kB]
Get:14 http://172.17.4.1/private trixie-staging/main armhf libbrotli1 armhf 1.0.9-2+b3 [258 kB]
Get:15 http://172.17.4.1/private trixie-staging/main armhf libpng16-16 armhf 1.6.40-1 [258 kB]
Get:16 http://172.17.4.1/private trixie-staging/main armhf libfreetype6 armhf 2.13.2+dfsg-1 [366 kB]
Get:17 http://172.17.4.1/private trixie-staging/main armhf libfontenc1 armhf 1:1.1.4-1 [22.3 kB]
Get:18 http://172.17.4.1/private trixie-staging/main armhf x11-common all 1:7.7+23 [252 kB]
Get:19 http://172.17.4.1/private trixie-staging/main armhf xfonts-encodings all 1:1.0.4-2.2 [577 kB]
Get:20 http://172.17.4.1/private trixie-staging/main armhf xfonts-utils armhf 1:7.7+6 [82.5 kB]
Get:21 http://172.17.4.1/private trixie-staging/main armhf fonts-urw-base35 all 20200910-7 [10.8 MB]
Get:22 http://172.17.4.1/private trixie-staging/main armhf fontconfig-config armhf 2.14.2-6 [316 kB]
Get:23 http://172.17.4.1/private trixie-staging/main armhf libfontconfig1 armhf 2.14.2-6 [367 kB]
Get:24 http://172.17.4.1/private trixie-staging/main armhf libdav1d6 armhf 1.0.0-2+rpi1 [205 kB]
Get:25 http://172.17.4.1/private trixie-staging/main armhf libheif-plugin-dav1d armhf 1.16.2-2 [8864 B]
Get:26 http://172.17.4.1/private trixie-staging/main armhf libde265-0 armhf 1.0.11-1+rpi1 [137 kB]
Get:27 http://172.17.4.1/private trixie-staging/main armhf libheif-plugin-libde265 armhf 1.16.2-2 [11.8 kB]
Get:28 http://172.17.4.1/private trixie-staging/main armhf libheif1 armhf 1.16.2-2 [188 kB]
Get:29 http://172.17.4.1/private trixie-staging/main armhf libjbig0 armhf 2.1-6.1 [27.0 kB]
Get:30 http://172.17.4.1/private trixie-staging/main armhf libjpeg62-turbo armhf 1:2.1.5-2 [143 kB]
Get:31 http://172.17.4.1/private trixie-staging/main armhf liblcms2-2 armhf 2.14-2 [124 kB]
Get:32 http://172.17.4.1/private trixie-staging/main armhf libglib2.0-0 armhf 2.74.6-1 [1203 kB]
Get:33 http://172.17.4.1/private trixie-staging/main armhf liblqr-1-0 armhf 0.4.2-2.1 [23.1 kB]
Get:34 http://172.17.4.1/private trixie-staging/main armhf libltdl7 armhf 2.4.7-7 [390 kB]
Get:35 http://172.17.4.1/private trixie-staging/main armhf libopenjp2-7 armhf 2.5.0-2 [164 kB]
Get:36 http://172.17.4.1/private trixie-staging/main armhf libdeflate0 armhf 1.18-1 [38.3 kB]
Get:37 http://172.17.4.1/private trixie-staging/main armhf liblerc4 armhf 4.0.0+ds-3 [133 kB]
Get:38 http://172.17.4.1/private trixie-staging/main armhf libwebp7 armhf 1.2.4-0.3 [242 kB]
Get:39 http://172.17.4.1/private trixie-staging/main armhf libtiff6 armhf 4.5.1+git230720-1 [298 kB]
Get:40 http://172.17.4.1/private trixie-staging/main armhf libwebpdemux2 armhf 1.2.4-0.3 [98.5 kB]
Get:41 http://172.17.4.1/private trixie-staging/main armhf libwebpmux3 armhf 1.2.4-0.3 [106 kB]
Get:42 http://172.17.4.1/private trixie-staging/main armhf libxau6 armhf 1:1.0.9-1 [19.1 kB]
Get:43 http://172.17.4.1/private trixie-staging/main armhf libbsd0 armhf 0.11.7-4 [111 kB]
Get:44 http://172.17.4.1/private trixie-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:45 http://172.17.4.1/private trixie-staging/main armhf libxcb1 armhf 1.15-1 [139 kB]
Get:46 http://172.17.4.1/private trixie-staging/main armhf libx11-data all 2:1.8.6-1 [323 kB]
Get:47 http://172.17.4.1/private trixie-staging/main armhf libx11-6 armhf 2:1.8.6-1 [726 kB]
Get:48 http://172.17.4.1/private trixie-staging/main armhf libxext6 armhf 2:1.3.4-1 [48.0 kB]
Get:49 http://172.17.4.1/private trixie-staging/main armhf libicu72 armhf 72.1-3 [9009 kB]
Get:50 http://172.17.4.1/private trixie-staging/main armhf libxml2 armhf 2.9.14+dfsg-1.3 [571 kB]
Get:51 http://172.17.4.1/private trixie-staging/main armhf imagemagick-6-common all 8:6.9.11.60+dfsg-1.6 [165 kB]
Get:52 http://172.17.4.1/private trixie-staging/main armhf libmagickcore-6.q16-6 armhf 8:6.9.11.60+dfsg-1.6 [1596 kB]
Get:53 http://172.17.4.1/private trixie-staging/main armhf libmagickwand-6.q16-6 armhf 8:6.9.11.60+dfsg-1.6 [385 kB]
Get:54 http://172.17.4.1/private trixie-staging/main armhf poppler-data all 0.4.12-1 [1601 kB]
Get:55 http://172.17.4.1/private trixie-staging/main armhf libpython3.11-minimal armhf 3.11.5-3 [800 kB]
Get:56 http://172.17.4.1/private trixie-staging/main armhf python3.11-minimal armhf 3.11.5-3 [1676 kB]
Get:57 http://172.17.4.1/private trixie-staging/main armhf python3-minimal armhf 3.11.4-5 [26.2 kB]
Get:58 http://172.17.4.1/private trixie-staging/main armhf media-types all 10.1.0 [26.9 kB]
Get:59 http://172.17.4.1/private trixie-staging/main armhf libuuid1 armhf 2.39.2-1 [27.7 kB]
Get:60 http://172.17.4.1/private trixie-staging/main armhf libpython3.11-stdlib armhf 3.11.5-3 [1675 kB]
Get:61 http://172.17.4.1/private trixie-staging/main armhf python3.11 armhf 3.11.5-3 [582 kB]
Get:62 http://172.17.4.1/private trixie-staging/main armhf libpython3-stdlib armhf 3.11.4-5 [9200 B]
Get:63 http://172.17.4.1/private trixie-staging/main armhf python3 armhf 3.11.4-5 [26.2 kB]
Get:64 http://172.17.4.1/private trixie-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:65 http://172.17.4.1/private trixie-staging/main armhf groff-base armhf 1.22.4-10 [774 kB]
Get:66 http://172.17.4.1/private trixie-staging/main armhf bsdextrautils armhf 2.39.2-1 [80.5 kB]
Get:67 http://172.17.4.1/private trixie-staging/main armhf libpipeline1 armhf 1.5.7-1 [33.4 kB]
Get:68 http://172.17.4.1/private trixie-staging/main armhf man-db armhf 2.11.2-3 [1342 kB]
Get:69 http://172.17.4.1/private trixie-staging/main armhf libmagic-mgc armhf 1:5.45-2 [314 kB]
Get:70 http://172.17.4.1/private trixie-staging/main armhf libmagic1 armhf 1:5.45-2 [96.1 kB]
Get:71 http://172.17.4.1/private trixie-staging/main armhf file armhf 1:5.45-2 [41.6 kB]
Get:72 http://172.17.4.1/private trixie-staging/main armhf gettext-base armhf 0.21-12 [156 kB]
Get:73 http://172.17.4.1/private trixie-staging/main armhf ucf all 3.0043+nmu1 [55.2 kB]
Get:74 http://172.17.4.1/private trixie-staging/main armhf m4 armhf 1.4.19-3 [256 kB]
Get:75 http://172.17.4.1/private trixie-staging/main armhf autoconf all 2.71-3 [332 kB]
Get:76 http://172.17.4.1/private trixie-staging/main armhf autotools-dev all 20220109.1 [51.6 kB]
Get:77 http://172.17.4.1/private trixie-staging/main armhf automake all 1:1.16.5-1.3 [823 kB]
Get:78 http://172.17.4.1/private trixie-staging/main armhf autopoint all 0.21-13 [496 kB]
Get:79 http://172.17.4.1/private trixie-staging/main armhf libdebhelper-perl all 13.11.6 [81.9 kB]
Get:80 http://172.17.4.1/private trixie-staging/main armhf libtool all 2.4.7-7 [517 kB]
Get:81 http://172.17.4.1/private trixie-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:82 http://172.17.4.1/private trixie-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:83 http://172.17.4.1/private trixie-staging/main armhf libsub-override-perl all 0.09-4 [9304 B]
Get:84 http://172.17.4.1/private trixie-staging/main armhf libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB]
Get:85 http://172.17.4.1/private trixie-staging/main armhf dh-strip-nondeterminism all 1.13.1-1 [8620 B]
Get:86 http://172.17.4.1/private trixie-staging/main armhf libelf1 armhf 0.188-2.1+rpi1 [171 kB]
Get:87 http://172.17.4.1/private trixie-staging/main armhf dwz armhf 0.15-1 [92.4 kB]
Get:88 http://172.17.4.1/private trixie-staging/main armhf gettext armhf 0.21-12 [1201 kB]
Get:89 http://172.17.4.1/private trixie-staging/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:90 http://172.17.4.1/private trixie-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:91 http://172.17.4.1/private trixie-staging/main armhf debhelper all 13.11.6 [952 kB]
Get:92 http://172.17.4.1/private trixie-staging/main armhf dh-ocaml all 2.0 [75.1 kB]
Get:93 http://172.17.4.1/private trixie-staging/main armhf fonts-lmodern all 2.005-1 [4540 kB]
Get:94 http://172.17.4.1/private trixie-staging/main armhf libgs-common all 10.01.2~dfsg-1 [149 kB]
Get:95 http://172.17.4.1/private trixie-staging/main armhf libgs10-common all 10.01.2~dfsg-1 [586 kB]
Get:96 http://172.17.4.1/private trixie-staging/main armhf libavahi-common-data armhf 0.8-11 [110 kB]
Get:97 http://172.17.4.1/private trixie-staging/main armhf libavahi-common3 armhf 0.8-11 [39.0 kB]
Get:98 http://172.17.4.1/private trixie-staging/main armhf libdbus-1-3 armhf 1.14.10-1 [177 kB]
Get:99 http://172.17.4.1/private trixie-staging/main armhf libavahi-client3 armhf 0.8-11 [41.6 kB]
Get:100 http://172.17.4.1/private trixie-staging/main armhf libcups2 armhf 2.4.2-5 [204 kB]
Get:101 http://172.17.4.1/private trixie-staging/main armhf libidn12 armhf 1.41-1+b1 [77.0 kB]
Get:102 http://172.17.4.1/private trixie-staging/main armhf libijs-0.35 armhf 0.35-15 [14.7 kB]
Get:103 http://172.17.4.1/private trixie-staging/main armhf libjbig2dec0 armhf 0.19-3+b2 [58.6 kB]
Get:104 http://172.17.4.1/private trixie-staging/main armhf libpaper1 armhf 1.1.29 [11.9 kB]
Get:105 http://172.17.4.1/private trixie-staging/main armhf libice6 armhf 2:1.0.10-1 [51.7 kB]
Get:106 http://172.17.4.1/private trixie-staging/main armhf libsm6 armhf 2:1.2.3-1 [32.9 kB]
Get:107 http://172.17.4.1/private trixie-staging/main armhf libxt6 armhf 1:1.2.1-1.1 [155 kB]
Get:108 http://172.17.4.1/private trixie-staging/main armhf libgs10 armhf 10.01.2~dfsg-1 [2067 kB]
Get:109 http://172.17.4.1/private trixie-staging/main armhf ghostscript armhf 10.01.2~dfsg-1 [50.5 kB]
Get:110 http://172.17.4.1/private trixie-staging/main armhf libnetpbm11 armhf 2:11.01.00-2 [157 kB]
Get:111 http://172.17.4.1/private trixie-staging/main armhf netpbm armhf 2:11.01.00-2 [1878 kB]
Get:112 http://172.17.4.1/private trixie-staging/main armhf tex-common all 6.18 [32.5 kB]
Get:113 http://172.17.4.1/private trixie-staging/main armhf libpaper-utils armhf 1.1.29 [8416 B]
Get:114 http://172.17.4.1/private trixie-staging/main armhf libkpathsea6 armhf 2023.20230311.66589-4 [144 kB]
Get:115 http://172.17.4.1/private trixie-staging/main armhf libptexenc1 armhf 2023.20230311.66589-4 [42.2 kB]
Get:116 http://172.17.4.1/private trixie-staging/main armhf libsynctex2 armhf 2023.20230311.66589-4 [47.8 kB]
Get:117 http://172.17.4.1/private trixie-staging/main armhf libtexlua53-5 armhf 2023.20230311.66589-4 [81.4 kB]
Get:118 http://172.17.4.1/private trixie-staging/main armhf libtexluajit2 armhf 2023.20230311.66589-4 [187 kB]
Get:119 http://172.17.4.1/private trixie-staging/main armhf t1utils armhf 1.41-4 [52.3 kB]
Get:120 http://172.17.4.1/private trixie-staging/main armhf libpixman-1-0 armhf 0.42.2-1 [461 kB]
Get:121 http://172.17.4.1/private trixie-staging/main armhf libxcb-render0 armhf 1.15-1 [114 kB]
Get:122 http://172.17.4.1/private trixie-staging/main armhf libxcb-shm0 armhf 1.15-1 [106 kB]
Get:123 http://172.17.4.1/private trixie-staging/main armhf libxrender1 armhf 1:0.9.10-1.1 [30.0 kB]
Get:124 http://172.17.4.1/private trixie-staging/main armhf libcairo2 armhf 1.17.8-3 [418 kB]
Get:125 http://172.17.4.1/private trixie-staging/main armhf libgraphite2-3 armhf 1.3.14-1 [70.3 kB]
Get:126 http://172.17.4.1/private trixie-staging/main armhf libharfbuzz0b armhf 8.0.1-1 [2098 kB]
Get:127 http://172.17.4.1/private trixie-staging/main armhf libpotrace0 armhf 1.16-2 [23.6 kB]
Get:128 http://172.17.4.1/private trixie-staging/main armhf libteckit0 armhf 2.5.11+ds1-1 [256 kB]
Get:129 http://172.17.4.1/private trixie-staging/main armhf libxmu6 armhf 2:1.1.3-3 [52.0 kB]
Get:130 http://172.17.4.1/private trixie-staging/main armhf libxpm4 armhf 1:3.5.12-1.1 [42.0 kB]
Get:131 http://172.17.4.1/private trixie-staging/main armhf libxaw7 armhf 2:1.0.14-1 [165 kB]
Get:132 http://172.17.4.1/private trixie-staging/main armhf libxi6 armhf 2:1.8-1 [78.1 kB]
Get:133 http://172.17.4.1/private trixie-staging/main armhf libzzip-0-13 armhf 0.13.72+dfsg.1-1.1 [54.3 kB]
Get:134 http://172.17.4.1/private trixie-staging/main armhf texlive-binaries armhf 2023.20230311.66589-4 [5559 kB]
Get:135 http://172.17.4.1/private trixie-staging/main armhf xdg-utils all 1.1.3-4.1 [75.5 kB]
Get:136 http://172.17.4.1/private trixie-staging/main armhf texlive-base all 2023.20230613-3 [22.0 MB]
Get:137 http://172.17.4.1/private trixie-staging/main armhf hicolor-icon-theme all 0.17-2 [11.4 kB]
Get:138 http://172.17.4.1/private trixie-staging/main armhf imagemagick-6.q16 armhf 8:6.9.11.60+dfsg-1.6 [339 kB]
Get:139 http://172.17.4.1/private trixie-staging/main armhf imagemagick armhf 8:6.9.11.60+dfsg-1.6 [122 kB]
Get:140 http://172.17.4.1/private trixie-staging/main armhf hevea armhf 2.36-2 [1685 kB]
Get:141 http://172.17.4.1/private trixie-staging/main armhf libapache-pom-java all 29-2 [5276 B]
Get:142 http://172.17.4.1/private trixie-staging/main armhf libcommons-parent-java all 56-1 [10.8 kB]
Get:143 http://172.17.4.1/private trixie-staging/main armhf libcommons-logging-java all 1.2-3 [62.4 kB]
Get:144 http://172.17.4.1/private trixie-staging/main armhf libstdlib-ocaml armhf 4.13.1-6+rpi1 [450 kB]
Get:145 http://172.17.4.1/private trixie-staging/main armhf libstdlib-ocaml-dev armhf 4.13.1-6+rpi1 [6644 kB]
Get:146 http://172.17.4.1/private trixie-staging/main armhf libcompiler-libs-ocaml-dev armhf 4.13.1-6+rpi1 [30.4 MB]
Get:147 http://172.17.4.1/private trixie-staging/main armhf libfontbox-java all 1:1.8.16-4 [211 kB]
Get:148 http://172.17.4.1/private trixie-staging/main armhf libncurses6 armhf 6.4+20230625-2 [79.6 kB]
Get:149 http://172.17.4.1/private trixie-staging/main armhf libncurses-dev armhf 6.4+20230625-2 [290 kB]
Get:150 http://172.17.4.1/private trixie-staging/main armhf libpdfbox-java all 1:1.8.16-4 [5527 kB]
Get:151 http://172.17.4.1/private trixie-staging/main armhf ocaml-base armhf 4.13.1-6+rpi1 [326 kB]
Get:152 http://172.17.4.1/private trixie-staging/main armhf ocaml-interp armhf 4.13.1-6+rpi1 [6159 kB]
Get:153 http://172.17.4.1/private trixie-staging/main armhf ocaml armhf 4.13.1-6+rpi1 [64.3 MB]
Get:154 http://172.17.4.1/private trixie-staging/main armhf ocaml-dune armhf 3.10.0-1 [3650 kB]
Get:155 http://172.17.4.1/private trixie-staging/main armhf preview-latex-style all 12.2-1 [201 kB]
Get:156 http://172.17.4.1/private trixie-staging/main armhf texlive-fonts-recommended all 2023.20230613-3 [4989 kB]
Get:157 http://172.17.4.1/private trixie-staging/main armhf texlive-latex-base all 2023.20230613-3 [1222 kB]
Get:158 http://172.17.4.1/private trixie-staging/main armhf texlive-latex-recommended all 2023.20230613-3 [8843 kB]
Get:159 http://172.17.4.1/private trixie-staging/main armhf texlive-pictures all 2023.20230613-3 [15.9 MB]
Get:160 http://172.17.4.1/private trixie-staging/main armhf texlive-latex-extra all 2023.20230613-2 [19.5 MB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 261 MB in 22s (11.8 MB/s)
(Reading database ... 12024 files and directories currently installed.)
Preparing to unpack .../bsdutils_1%3a2.39.2-1_armhf.deb ...
Unpacking bsdutils (1:2.39.2-1) over (1:2.38.1-5) ...
Setting up bsdutils (1:2.39.2-1) ...
(Reading database ... 12024 files and directories currently installed.)
Preparing to unpack .../libtinfo6_6.4+20230625-2_armhf.deb ...
Unpacking libtinfo6:armhf (6.4+20230625-2) over (6.4-4) ...
Setting up libtinfo6:armhf (6.4+20230625-2) ...
(Reading database ... 12024 files and directories currently installed.)
Preparing to unpack .../libncursesw6_6.4+20230625-2_armhf.deb ...
Unpacking libncursesw6:armhf (6.4+20230625-2) over (6.4-4) ...
Setting up libncursesw6:armhf (6.4+20230625-2) ...
(Reading database ... 12024 files and directories currently installed.)
Preparing to unpack .../ncurses-bin_6.4+20230625-2_armhf.deb ...
Unpacking ncurses-bin (6.4+20230625-2) over (6.4-4) ...
Setting up ncurses-bin (6.4+20230625-2) ...
(Reading database ... 12024 files and directories currently installed.)
Preparing to unpack .../libblkid1_2.39.2-1_armhf.deb ...
Unpacking libblkid1:armhf (2.39.2-1) over (2.38.1-5) ...
Setting up libblkid1:armhf (2.39.2-1) ...
(Reading database ... 12024 files and directories currently installed.)
Preparing to unpack .../libmount1_2.39.2-1_armhf.deb ...
Unpacking libmount1:armhf (2.39.2-1) over (2.38.1-5) ...
Setting up libmount1:armhf (2.39.2-1) ...
(Reading database ... 12024 files and directories currently installed.)
Preparing to unpack .../libsmartcols1_2.39.2-1_armhf.deb ...
Unpacking libsmartcols1:armhf (2.39.2-1) over (2.38.1-5) ...
Setting up libsmartcols1:armhf (2.39.2-1) ...
(Reading database ... 12024 files and directories currently installed.)
Preparing to unpack .../util-linux-extra_2.39.2-1_armhf.deb ...
Unpacking util-linux-extra (2.39.2-1) over (2.38.1-5) ...
Setting up util-linux-extra (2.39.2-1) ...
(Reading database ... 12035 files and directories currently installed.)
Preparing to unpack .../util-linux_2.39.2-1_armhf.deb ...
Unpacking util-linux (2.39.2-1) over (2.38.1-5) ...
Setting up util-linux (2.39.2-1) ...
(Reading database ... 12037 files and directories currently installed.)
Preparing to unpack .../00-mount_2.39.2-1_armhf.deb ...
Unpacking mount (2.39.2-1) over (2.38.1-5) ...
Selecting previously unselected package libfftw3-double3:armhf.
Preparing to unpack .../01-libfftw3-double3_3.3.10-1_armhf.deb ...
Unpacking libfftw3-double3:armhf (3.3.10-1) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../02-libexpat1_2.5.0-1_armhf.deb ...
Unpacking libexpat1:armhf (2.5.0-1) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../03-libbrotli1_1.0.9-2+b3_armhf.deb ...
Unpacking libbrotli1:armhf (1.0.9-2+b3) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../04-libpng16-16_1.6.40-1_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.40-1) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../05-libfreetype6_2.13.2+dfsg-1_armhf.deb ...
Unpacking libfreetype6:armhf (2.13.2+dfsg-1) ...
Selecting previously unselected package libfontenc1:armhf.
Preparing to unpack .../06-libfontenc1_1%3a1.1.4-1_armhf.deb ...
Unpacking libfontenc1:armhf (1:1.1.4-1) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../07-x11-common_1%3a7.7+23_all.deb ...
Unpacking x11-common (1:7.7+23) ...
Selecting previously unselected package xfonts-encodings.
Preparing to unpack .../08-xfonts-encodings_1%3a1.0.4-2.2_all.deb ...
Unpacking xfonts-encodings (1:1.0.4-2.2) ...
Selecting previously unselected package xfonts-utils.
Preparing to unpack .../09-xfonts-utils_1%3a7.7+6_armhf.deb ...
Unpacking xfonts-utils (1:7.7+6) ...
Selecting previously unselected package fonts-urw-base35.
Preparing to unpack .../10-fonts-urw-base35_20200910-7_all.deb ...
Unpacking fonts-urw-base35 (20200910-7) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../11-fontconfig-config_2.14.2-6_armhf.deb ...
Unpacking fontconfig-config (2.14.2-6) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../12-libfontconfig1_2.14.2-6_armhf.deb ...
Unpacking libfontconfig1:armhf (2.14.2-6) ...
Selecting previously unselected package libdav1d6:armhf.
Preparing to unpack .../13-libdav1d6_1.0.0-2+rpi1_armhf.deb ...
Unpacking libdav1d6:armhf (1.0.0-2+rpi1) ...
Selecting previously unselected package libheif-plugin-dav1d:armhf.
Preparing to unpack .../14-libheif-plugin-dav1d_1.16.2-2_armhf.deb ...
Unpacking libheif-plugin-dav1d:armhf (1.16.2-2) ...
Selecting previously unselected package libde265-0:armhf.
Preparing to unpack .../15-libde265-0_1.0.11-1+rpi1_armhf.deb ...
Unpacking libde265-0:armhf (1.0.11-1+rpi1) ...
Selecting previously unselected package libheif-plugin-libde265:armhf.
Preparing to unpack .../16-libheif-plugin-libde265_1.16.2-2_armhf.deb ...
Unpacking libheif-plugin-libde265:armhf (1.16.2-2) ...
Selecting previously unselected package libheif1:armhf.
Preparing to unpack .../17-libheif1_1.16.2-2_armhf.deb ...
Unpacking libheif1:armhf (1.16.2-2) ...
Selecting previously unselected package libjbig0:armhf.
Preparing to unpack .../18-libjbig0_2.1-6.1_armhf.deb ...
Unpacking libjbig0:armhf (2.1-6.1) ...
Selecting previously unselected package libjpeg62-turbo:armhf.
Preparing to unpack .../19-libjpeg62-turbo_1%3a2.1.5-2_armhf.deb ...
Unpacking libjpeg62-turbo:armhf (1:2.1.5-2) ...
Selecting previously unselected package liblcms2-2:armhf.
Preparing to unpack .../20-liblcms2-2_2.14-2_armhf.deb ...
Unpacking liblcms2-2:armhf (2.14-2) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../21-libglib2.0-0_2.74.6-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.74.6-1) ...
Selecting previously unselected package liblqr-1-0:armhf.
Preparing to unpack .../22-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 .../23-libltdl7_2.4.7-7_armhf.deb ...
Unpacking libltdl7:armhf (2.4.7-7) ...
Selecting previously unselected package libopenjp2-7:armhf.
Preparing to unpack .../24-libopenjp2-7_2.5.0-2_armhf.deb ...
Unpacking libopenjp2-7:armhf (2.5.0-2) ...
Selecting previously unselected package libdeflate0:armhf.
Preparing to unpack .../25-libdeflate0_1.18-1_armhf.deb ...
Unpacking libdeflate0:armhf (1.18-1) ...
Selecting previously unselected package liblerc4:armhf.
Preparing to unpack .../26-liblerc4_4.0.0+ds-3_armhf.deb ...
Unpacking liblerc4:armhf (4.0.0+ds-3) ...
Selecting previously unselected package libwebp7:armhf.
Preparing to unpack .../27-libwebp7_1.2.4-0.3_armhf.deb ...
Unpacking libwebp7:armhf (1.2.4-0.3) ...
Selecting previously unselected package libtiff6:armhf.
Preparing to unpack .../28-libtiff6_4.5.1+git230720-1_armhf.deb ...
Unpacking libtiff6:armhf (4.5.1+git230720-1) ...
Selecting previously unselected package libwebpdemux2:armhf.
Preparing to unpack .../29-libwebpdemux2_1.2.4-0.3_armhf.deb ...
Unpacking libwebpdemux2:armhf (1.2.4-0.3) ...
Selecting previously unselected package libwebpmux3:armhf.
Preparing to unpack .../30-libwebpmux3_1.2.4-0.3_armhf.deb ...
Unpacking libwebpmux3:armhf (1.2.4-0.3) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../31-libxau6_1%3a1.0.9-1_armhf.deb ...
Unpacking libxau6:armhf (1:1.0.9-1) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../32-libbsd0_0.11.7-4_armhf.deb ...
Unpacking libbsd0:armhf (0.11.7-4) ...
Selecting previously unselected package libxdmcp6:armhf.
Preparing to unpack .../33-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 .../34-libxcb1_1.15-1_armhf.deb ...
Unpacking libxcb1:armhf (1.15-1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../35-libx11-data_2%3a1.8.6-1_all.deb ...
Unpacking libx11-data (2:1.8.6-1) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../36-libx11-6_2%3a1.8.6-1_armhf.deb ...
Unpacking libx11-6:armhf (2:1.8.6-1) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../37-libxext6_2%3a1.3.4-1_armhf.deb ...
Unpacking libxext6:armhf (2:1.3.4-1) ...
Selecting previously unselected package libicu72:armhf.
Preparing to unpack .../38-libicu72_72.1-3_armhf.deb ...
Unpacking libicu72:armhf (72.1-3) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../39-libxml2_2.9.14+dfsg-1.3_armhf.deb ...
Unpacking libxml2:armhf (2.9.14+dfsg-1.3) ...
Selecting previously unselected package imagemagick-6-common.
Preparing to unpack .../40-imagemagick-6-common_8%3a6.9.11.60+dfsg-1.6_all.deb ...
Unpacking imagemagick-6-common (8:6.9.11.60+dfsg-1.6) ...
Selecting previously unselected package libmagickcore-6.q16-6:armhf.
Preparing to unpack .../41-libmagickcore-6.q16-6_8%3a6.9.11.60+dfsg-1.6_armhf.deb ...
Unpacking libmagickcore-6.q16-6:armhf (8:6.9.11.60+dfsg-1.6) ...
Selecting previously unselected package libmagickwand-6.q16-6:armhf.
Preparing to unpack .../42-libmagickwand-6.q16-6_8%3a6.9.11.60+dfsg-1.6_armhf.deb ...
Unpacking libmagickwand-6.q16-6:armhf (8:6.9.11.60+dfsg-1.6) ...
Selecting previously unselected package poppler-data.
Preparing to unpack .../43-poppler-data_0.4.12-1_all.deb ...
Unpacking poppler-data (0.4.12-1) ...
Selecting previously unselected package libpython3.11-minimal:armhf.
Preparing to unpack .../44-libpython3.11-minimal_3.11.5-3_armhf.deb ...
Unpacking libpython3.11-minimal:armhf (3.11.5-3) ...
Selecting previously unselected package python3.11-minimal.
Preparing to unpack .../45-python3.11-minimal_3.11.5-3_armhf.deb ...
Unpacking python3.11-minimal (3.11.5-3) ...
Setting up libpython3.11-minimal:armhf (3.11.5-3) ...
Setting up libexpat1:armhf (2.5.0-1) ...
Setting up python3.11-minimal (3.11.5-3) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 14066 files and directories currently installed.)
Preparing to unpack .../python3-minimal_3.11.4-5_armhf.deb ...
Unpacking python3-minimal (3.11.4-5) ...
Selecting previously unselected package media-types.
Preparing to unpack .../media-types_10.1.0_all.deb ...
Unpacking media-types (10.1.0) ...
Preparing to unpack .../libuuid1_2.39.2-1_armhf.deb ...
Unpacking libuuid1:armhf (2.39.2-1) over (2.38.1-5) ...
Setting up libuuid1:armhf (2.39.2-1) ...
Selecting previously unselected package libpython3.11-stdlib:armhf.
(Reading database ... 14093 files and directories currently installed.)
Preparing to unpack .../libpython3.11-stdlib_3.11.5-3_armhf.deb ...
Unpacking libpython3.11-stdlib:armhf (3.11.5-3) ...
Selecting previously unselected package python3.11.
Preparing to unpack .../python3.11_3.11.5-3_armhf.deb ...
Unpacking python3.11 (3.11.5-3) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../libpython3-stdlib_3.11.4-5_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.11.4-5) ...
Setting up python3-minimal (3.11.4-5) ...
Selecting previously unselected package python3.
(Reading database ... 14474 files and directories currently installed.)
Preparing to unpack .../00-python3_3.11.4-5_armhf.deb ...
Unpacking python3 (3.11.4-5) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../01-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../02-groff-base_1.22.4-10_armhf.deb ...
Unpacking groff-base (1.22.4-10) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../03-bsdextrautils_2.39.2-1_armhf.deb ...
Unpacking bsdextrautils (2.39.2-1) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../04-libpipeline1_1.5.7-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.7-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../05-man-db_2.11.2-3_armhf.deb ...
Unpacking man-db (2.11.2-3) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../06-libmagic-mgc_1%3a5.45-2_armhf.deb ...
Unpacking libmagic-mgc (1:5.45-2) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../07-libmagic1_1%3a5.45-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.45-2) ...
Selecting previously unselected package file.
Preparing to unpack .../08-file_1%3a5.45-2_armhf.deb ...
Unpacking file (1:5.45-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../09-gettext-base_0.21-12_armhf.deb ...
Unpacking gettext-base (0.21-12) ...
Selecting previously unselected package ucf.
Preparing to unpack .../10-ucf_3.0043+nmu1_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0043+nmu1) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.19-3_armhf.deb ...
Unpacking m4 (1.4.19-3) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.71-3_all.deb ...
Unpacking autoconf (2.71-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-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 .../15-autopoint_0.21-13_all.deb ...
Unpacking autopoint (0.21-13) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../16-libdebhelper-perl_13.11.6_all.deb ...
Unpacking libdebhelper-perl (13.11.6) ...
Selecting previously unselected package libtool.
Preparing to unpack .../17-libtool_2.4.7-7_all.deb ...
Unpacking libtool (2.4.7-7) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../18-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../19-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 .../20-libsub-override-perl_0.09-4_all.deb ...
Unpacking libsub-override-perl (0.09-4) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../21-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../22-dh-strip-nondeterminism_1.13.1-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.13.1-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../23-libelf1_0.188-2.1+rpi1_armhf.deb ...
Unpacking libelf1:armhf (0.188-2.1+rpi1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../24-dwz_0.15-1_armhf.deb ...
Unpacking dwz (0.15-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../25-gettext_0.21-12_armhf.deb ...
Unpacking gettext (0.21-12) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../26-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../27-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../28-debhelper_13.11.6_all.deb ...
Unpacking debhelper (13.11.6) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../29-dh-ocaml_2.0_all.deb ...
Unpacking dh-ocaml (2.0) ...
Selecting previously unselected package fonts-lmodern.
Preparing to unpack .../30-fonts-lmodern_2.005-1_all.deb ...
Unpacking fonts-lmodern (2.005-1) ...
Selecting previously unselected package libgs-common.
Preparing to unpack .../31-libgs-common_10.01.2~dfsg-1_all.deb ...
Unpacking libgs-common (10.01.2~dfsg-1) ...
Selecting previously unselected package libgs10-common.
Preparing to unpack .../32-libgs10-common_10.01.2~dfsg-1_all.deb ...
Unpacking libgs10-common (10.01.2~dfsg-1) ...
Selecting previously unselected package libavahi-common-data:armhf.
Preparing to unpack .../33-libavahi-common-data_0.8-11_armhf.deb ...
Unpacking libavahi-common-data:armhf (0.8-11) ...
Selecting previously unselected package libavahi-common3:armhf.
Preparing to unpack .../34-libavahi-common3_0.8-11_armhf.deb ...
Unpacking libavahi-common3:armhf (0.8-11) ...
Selecting previously unselected package libdbus-1-3:armhf.
Preparing to unpack .../35-libdbus-1-3_1.14.10-1_armhf.deb ...
Unpacking libdbus-1-3:armhf (1.14.10-1) ...
Selecting previously unselected package libavahi-client3:armhf.
Preparing to unpack .../36-libavahi-client3_0.8-11_armhf.deb ...
Unpacking libavahi-client3:armhf (0.8-11) ...
Selecting previously unselected package libcups2:armhf.
Preparing to unpack .../37-libcups2_2.4.2-5_armhf.deb ...
Unpacking libcups2:armhf (2.4.2-5) ...
Selecting previously unselected package libidn12:armhf.
Preparing to unpack .../38-libidn12_1.41-1+b1_armhf.deb ...
Unpacking libidn12:armhf (1.41-1+b1) ...
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.29_armhf.deb ...
Unpacking libpaper1:armhf (1.1.29) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../42-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 .../43-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 .../44-libxt6_1%3a1.2.1-1.1_armhf.deb ...
Unpacking libxt6:armhf (1:1.2.1-1.1) ...
Selecting previously unselected package libgs10:armhf.
Preparing to unpack .../45-libgs10_10.01.2~dfsg-1_armhf.deb ...
Unpacking libgs10:armhf (10.01.2~dfsg-1) ...
Selecting previously unselected package ghostscript.
Preparing to unpack .../46-ghostscript_10.01.2~dfsg-1_armhf.deb ...
Unpacking ghostscript (10.01.2~dfsg-1) ...
Selecting previously unselected package libnetpbm11:armhf.
Preparing to unpack .../47-libnetpbm11_2%3a11.01.00-2_armhf.deb ...
Unpacking libnetpbm11:armhf (2:11.01.00-2) ...
Selecting previously unselected package netpbm.
Preparing to unpack .../48-netpbm_2%3a11.01.00-2_armhf.deb ...
Unpacking netpbm (2:11.01.00-2) ...
Selecting previously unselected package tex-common.
Preparing to unpack .../49-tex-common_6.18_all.deb ...
Unpacking tex-common (6.18) ...
Selecting previously unselected package libpaper-utils.
Preparing to unpack .../50-libpaper-utils_1.1.29_armhf.deb ...
Unpacking libpaper-utils (1.1.29) ...
Selecting previously unselected package libkpathsea6:armhf.
Preparing to unpack .../51-libkpathsea6_2023.20230311.66589-4_armhf.deb ...
Unpacking libkpathsea6:armhf (2023.20230311.66589-4) ...
Selecting previously unselected package libptexenc1:armhf.
Preparing to unpack .../52-libptexenc1_2023.20230311.66589-4_armhf.deb ...
Unpacking libptexenc1:armhf (2023.20230311.66589-4) ...
Selecting previously unselected package libsynctex2:armhf.
Preparing to unpack .../53-libsynctex2_2023.20230311.66589-4_armhf.deb ...
Unpacking libsynctex2:armhf (2023.20230311.66589-4) ...
Selecting previously unselected package libtexlua53-5:armhf.
Preparing to unpack .../54-libtexlua53-5_2023.20230311.66589-4_armhf.deb ...
Unpacking libtexlua53-5:armhf (2023.20230311.66589-4) ...
Selecting previously unselected package libtexluajit2:armhf.
Preparing to unpack .../55-libtexluajit2_2023.20230311.66589-4_armhf.deb ...
Unpacking libtexluajit2:armhf (2023.20230311.66589-4) ...
Selecting previously unselected package t1utils.
Preparing to unpack .../56-t1utils_1.41-4_armhf.deb ...
Unpacking t1utils (1.41-4) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../57-libpixman-1-0_0.42.2-1_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.42.2-1) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../58-libxcb-render0_1.15-1_armhf.deb ...
Unpacking libxcb-render0:armhf (1.15-1) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../59-libxcb-shm0_1.15-1_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.15-1) ...
Selecting previously unselected package libxrender1:armhf.
Preparing to unpack .../60-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 .../61-libcairo2_1.17.8-3_armhf.deb ...
Unpacking libcairo2:armhf (1.17.8-3) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../62-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 .../63-libharfbuzz0b_8.0.1-1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (8.0.1-1) ...
Selecting previously unselected package libpotrace0:armhf.
Preparing to unpack .../64-libpotrace0_1.16-2_armhf.deb ...
Unpacking libpotrace0:armhf (1.16-2) ...
Selecting previously unselected package libteckit0:armhf.
Preparing to unpack .../65-libteckit0_2.5.11+ds1-1_armhf.deb ...
Unpacking libteckit0:armhf (2.5.11+ds1-1) ...
Selecting previously unselected package libxmu6:armhf.
Preparing to unpack .../66-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 .../67-libxpm4_1%3a3.5.12-1.1_armhf.deb ...
Unpacking libxpm4:armhf (1:3.5.12-1.1) ...
Selecting previously unselected package libxaw7:armhf.
Preparing to unpack .../68-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 .../69-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 .../70-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 .../71-texlive-binaries_2023.20230311.66589-4_armhf.deb ...
Unpacking texlive-binaries (2023.20230311.66589-4) ...
Selecting previously unselected package xdg-utils.
Preparing to unpack .../72-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 .../73-texlive-base_2023.20230613-3_all.deb ...
Unpacking texlive-base (2023.20230613-3) ...
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.6_armhf.deb ...
Unpacking imagemagick-6.q16 (8:6.9.11.60+dfsg-1.6) ...
Selecting previously unselected package imagemagick.
Preparing to unpack .../76-imagemagick_8%3a6.9.11.60+dfsg-1.6_armhf.deb ...
Unpacking imagemagick (8:6.9.11.60+dfsg-1.6) ...
Selecting previously unselected package hevea.
Preparing to unpack .../77-hevea_2.36-2_armhf.deb ...
Unpacking hevea (2.36-2) ...
Selecting previously unselected package libapache-pom-java.
Preparing to unpack .../78-libapache-pom-java_29-2_all.deb ...
Unpacking libapache-pom-java (29-2) ...
Selecting previously unselected package libcommons-parent-java.
Preparing to unpack .../79-libcommons-parent-java_56-1_all.deb ...
Unpacking libcommons-parent-java (56-1) ...
Selecting previously unselected package libcommons-logging-java.
Preparing to unpack .../80-libcommons-logging-java_1.2-3_all.deb ...
Unpacking libcommons-logging-java (1.2-3) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../81-libstdlib-ocaml_4.13.1-6+rpi1_armhf.deb ...
Unpacking libstdlib-ocaml (4.13.1-6+rpi1) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../82-libstdlib-ocaml-dev_4.13.1-6+rpi1_armhf.deb ...
Unpacking libstdlib-ocaml-dev (4.13.1-6+rpi1) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../83-libcompiler-libs-ocaml-dev_4.13.1-6+rpi1_armhf.deb ...
Unpacking libcompiler-libs-ocaml-dev (4.13.1-6+rpi1) ...
Selecting previously unselected package libfontbox-java.
Preparing to unpack .../84-libfontbox-java_1%3a1.8.16-4_all.deb ...
Unpacking libfontbox-java (1:1.8.16-4) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../85-libncurses6_6.4+20230625-2_armhf.deb ...
Unpacking libncurses6:armhf (6.4+20230625-2) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../86-libncurses-dev_6.4+20230625-2_armhf.deb ...
Unpacking libncurses-dev:armhf (6.4+20230625-2) ...
Selecting previously unselected package libpdfbox-java.
Preparing to unpack .../87-libpdfbox-java_1%3a1.8.16-4_all.deb ...
Unpacking libpdfbox-java (1:1.8.16-4) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../88-ocaml-base_4.13.1-6+rpi1_armhf.deb ...
Unpacking ocaml-base (4.13.1-6+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../89-ocaml-interp_4.13.1-6+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.13.1-6+rpi1) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../90-ocaml_4.13.1-6+rpi1_armhf.deb ...
Unpacking ocaml (4.13.1-6+rpi1) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../91-ocaml-dune_3.10.0-1_armhf.deb ...
Unpacking ocaml-dune (3.10.0-1) ...
Selecting previously unselected package preview-latex-style.
Preparing to unpack .../92-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 .../93-texlive-fonts-recommended_2023.20230613-3_all.deb ...
Unpacking texlive-fonts-recommended (2023.20230613-3) ...
Selecting previously unselected package texlive-latex-base.
Preparing to unpack .../94-texlive-latex-base_2023.20230613-3_all.deb ...
Unpacking texlive-latex-base (2023.20230613-3) ...
Selecting previously unselected package texlive-latex-recommended.
Preparing to unpack .../95-texlive-latex-recommended_2023.20230613-3_all.deb ...
Unpacking texlive-latex-recommended (2023.20230613-3) ...
Selecting previously unselected package texlive-pictures.
Preparing to unpack .../96-texlive-pictures_2023.20230613-3_all.deb ...
Unpacking texlive-pictures (2023.20230613-3) ...
Selecting previously unselected package texlive-latex-extra.
Preparing to unpack .../97-texlive-latex-extra_2023.20230613-2_all.deb ...
Unpacking texlive-latex-extra (2023.20230613-2) ...
Selecting previously unselected package sbuild-build-depends-menhir-dummy.
Preparing to unpack .../98-sbuild-build-depends-menhir-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Setting up media-types (10.1.0) ...
Setting up libpipeline1:armhf (1.5.7-1) ...
Setting up libgraphite2-3:armhf (1.3.14-1) ...
Setting up liblcms2-2:armhf (2.14-2) ...
Setting up libpixman-1-0:armhf (0.42.2-1) ...
Setting up libxau6:armhf (1:1.0.9-1) ...
Setting up imagemagick-6-common (8:6.9.11.60+dfsg-1.6) ...
Setting up libicu72:armhf (72.1-3) ...
Setting up liblerc4:armhf (4.0.0+ds-3) ...
Setting up bsdextrautils (2.39.2-1) ...
Setting up hicolor-icon-theme (0.17-2) ...
Setting up libmagic-mgc (1:5.45-2) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libglib2.0-0:armhf (2.74.6-1) ...
No schema files found: doing nothing.
Setting up libijs-0.35:armhf (0.35-15) ...
Setting up libpython3.11-stdlib:armhf (3.11.5-3) ...
Setting up libtexluajit2:armhf (2023.20230311.66589-4) ...
Setting up libdebhelper-perl (13.11.6) ...
Setting up libgs-common (10.01.2~dfsg-1) ...
Setting up libbrotli1:armhf (1.0.9-2+b3) ...
Setting up libfontbox-java (1:1.8.16-4) ...
Setting up x11-common (1:7.7+23) ...
invoke-rc.d: could not determine current runlevel
invoke-rc.d: WARNING: No init system and policy-rc.d missing! Defaulting to block.
Setting up dh-ocaml (2.0) ...
Setting up libmagic1:armhf (1:5.45-2) ...
Setting up libnetpbm11:armhf (2:11.01.00-2) ...
Setting up libdeflate0:armhf (1.18-1) ...
Setting up gettext-base (0.21-12) ...
Setting up m4 (1.4.19-3) ...
Setting up libzzip-0-13:armhf (0.13.72+dfsg.1-1.1) ...
Setting up file (1:5.45-2) ...
Setting up libjbig0:armhf (2.1-6.1) ...
Setting up poppler-data (0.4.12-1) ...
Setting up ocaml-dune (3.10.0-1) ...
Setting up libfontenc1:armhf (1:1.1.4-1) ...
Setting up autotools-dev (20220109.1) ...
Setting up libjpeg62-turbo:armhf (1:2.1.5-2) ...
Setting up libx11-data (2:1.8.6-1) ...
Setting up libjbig2dec0:armhf (0.19-3+b2) ...
Setting up libteckit0:armhf (2.5.11+ds1-1) ...
Setting up libapache-pom-java (29-2) ...
Setting up libavahi-common-data:armhf (0.8-11) ...
Setting up libncurses6:armhf (6.4+20230625-2) ...
Setting up libdbus-1-3:armhf (1.14.10-1) ...
Setting up xfonts-encodings (1:1.0.4-2.2) ...
Setting up t1utils (1.41-4) ...
Setting up libtexlua53-5:armhf (2023.20230311.66589-4) ...
Setting up libstdlib-ocaml (4.13.1-6+rpi1) ...
Setting up libpng16-16:armhf (1.6.40-1) ...
Setting up libidn12:armhf (1.41-1+b1) ...
Setting up autopoint (0.21-13) ...
Setting up ocaml-base (4.13.1-6+rpi1) ...
Setting up ucf (3.0043+nmu1) ...
Setting up libdav1d6:armhf (1.0.0-2+rpi1) ...
Setting up libltdl7:armhf (2.4.7-7) ...
Setting up libfftw3-double3:armhf (3.3.10-1) ...
Setting up libkpathsea6:armhf (2023.20230311.66589-4) ...
Setting up autoconf (2.71-3) ...
Setting up libwebp7:armhf (1.2.4-0.3) ...
Setting up mount (2.39.2-1) ...
Setting up liblqr-1-0:armhf (0.4.2-2.1) ...
Setting up libtiff6:armhf (4.5.1+git230720-1) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up fonts-lmodern (2.005-1) ...
Setting up libopenjp2-7:armhf (2.5.0-2) ...
Setting up libsub-override-perl (0.09-4) ...
Setting up libde265-0:armhf (1.0.11-1+rpi1) ...
Setting up libwebpmux3:armhf (1.2.4-0.3) ...
Setting up libbsd0:armhf (0.11.7-4) ...
Setting up libelf1:armhf (0.188-2.1+rpi1) ...
Setting up libxml2:armhf (2.9.14+dfsg-1.3) ...
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 (2023.20230311.66589-4) ...
Setting up libpython3-stdlib:armhf (3.11.4-5) ...
Setting up libpotrace0:armhf (1.16-2) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.13.1-1) ...
Setting up libpaper1:armhf (1.1.29) ...
Creating config file /etc/papersize with new version
Setting up python3.11 (3.11.5-3) ...
Setting up libice6:armhf (2:1.0.10-1) ...
Setting up libxdmcp6:armhf (1:1.1.2-3) ...
Setting up libncurses-dev:armhf (6.4+20230625-2) ...
Setting up libxcb1:armhf (1.15-1) ...
Setting up gettext (0.21-12) ...
Setting up libpdfbox-java (1:1.8.16-4) ...
Setting up libtool (2.4.7-7) ...
Setting up libstdlib-ocaml-dev (4.13.1-6+rpi1) ...
Setting up libxcb-render0:armhf (1.15-1) ...
Setting up libwebpdemux2:armhf (1.2.4-0.3) ...
Setting up libcommons-parent-java (56-1) ...
Setting up libavahi-common3:armhf (0.8-11) ...
Setting up libcommons-logging-java (1.2-3) ...
Setting up python3 (3.11.4-5) ...
Setting up libxcb-shm0:armhf (1.15-1) ...
Setting up libpaper-utils (1.1.29) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up tex-common (6.18) ...
update-language: texlive-base not installed and configured, doing nothing!
Setting up libcompiler-libs-ocaml-dev (4.13.1-6+rpi1) ...
Setting up ocaml-interp (4.13.1-6+rpi1) ...
Setting up libptexenc1:armhf (2023.20230311.66589-4) ...
Setting up libfreetype6:armhf (2.13.2+dfsg-1) ...
Setting up dh-strip-nondeterminism (1.13.1-1) ...
Setting up dwz (0.15-1) ...
Setting up groff-base (1.22.4-10) ...
Setting up libx11-6:armhf (2:1.8.6-1) ...
Setting up libharfbuzz0b:armhf (8.0.1-1) ...
Setting up libsm6:armhf (2:1.2.3-1) ...
Setting up libavahi-client3:armhf (0.8-11) ...
Setting up libxpm4:armhf (1:3.5.12-1.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 ocaml (4.13.1-6+rpi1) ...
Setting up xfonts-utils (1:7.7+6) ...
Setting up man-db (2.11.2-3) ...
Not building database; man-db/auto-update is not 'true'.
Setting up netpbm (2:11.01.00-2) ...
Setting up libxt6:armhf (1:1.2.1-1.1) ...
Setting up libcups2:armhf (2.4.2-5) ...
Setting up libxmu6:armhf (2:1.1.3-3) ...
Setting up libxi6:armhf (2:1.8-1) ...
Setting up debhelper (13.11.6) ...
Setting up libxaw7:armhf (2:1.0.14-1) ...
Setting up fonts-urw-base35 (20200910-7) ...
Setting up libgs10-common (10.01.2~dfsg-1) ...
Setting up fontconfig-config (2.14.2-6) ...
Setting up libheif-plugin-dav1d:armhf (1.16.2-2) ...
Setting up libheif-plugin-libde265:armhf (1.16.2-2) ...
Setting up libheif1:armhf (1.16.2-2) ...
Processing triggers for sgml-base (1.31) ...
Setting up libfontconfig1:armhf (2.14.2-6) ...
Setting up libgs10:armhf (10.01.2~dfsg-1) ...
Processing triggers for libc-bin (2.36-9+rpi1+deb12u1) ...
Setting up ghostscript (10.01.2~dfsg-1) ...
Setting up libcairo2:armhf (1.17.8-3) ...
Setting up libmagickcore-6.q16-6:armhf (8:6.9.11.60+dfsg-1.6) ...
Setting up texlive-binaries (2023.20230311.66589-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 libmagickwand-6.q16-6:armhf (8:6.9.11.60+dfsg-1.6) ...
Setting up texlive-base (2023.20230613-3) ...
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 (2023.20230613-3) ...
Setting up texlive-latex-recommended (2023.20230613-3) ...
Setting up texlive-pictures (2023.20230613-3) ...
Setting up imagemagick-6.q16 (8:6.9.11.60+dfsg-1.6) ...
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-fonts-recommended (2023.20230613-3) ...
Setting up texlive-latex-extra (2023.20230613-2) ...
Setting up hevea (2.36-2) ...
Setting up imagemagick (8:6.9.11.60+dfsg-1.6) ...
Setting up sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.36-9+rpi1+deb12u1) ...
Processing triggers for tex-common (6.18) ...
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Building format(s) --all.
This may take some time... done.
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.9.0-0.bpo.6-armmp armhf (armv7l)
Toolchain package versions: binutils_2.40-2+rpi2 dpkg-dev_1.21.22+rpi1 g++-12_12.2.0-14+rpi1 gcc-12_12.2.0-14+rpi1 libc6-dev_2.36-9+rpi1+deb12u1 libstdc++-12-dev_12.2.0-14+rpi1 libstdc++6_12.2.0-14+rpi1 linux-libc-dev_6.1.38-1+rpi1
Package versions: adduser_3.137 apt_2.6.1 aptitude_0.8.13-5 aptitude-common_0.8.13-5 autoconf_2.71-3 automake_1:1.16.5-1.3 autopoint_0.21-13 autotools-dev_20220109.1 base-files_12.4+rpi1+deb12u1 base-passwd_3.6.1 bash_5.2.15-2 binutils_2.40-2+rpi2 binutils-arm-linux-gnueabihf_2.40-2+rpi2 binutils-common_2.40-2+rpi2 bsdextrautils_2.39.2-1 bsdutils_1:2.39.2-1 build-essential_12.9 bzip2_1.0.8-5+b2 coreutils_9.1-1 cpp_4:12.2.0-3+rpi1 cpp-12_12.2.0-14+rpi1 dash_0.5.12-2 debconf_1.5.82 debhelper_13.11.6 debianutils_5.7-0.4 dh-autoreconf_20 dh-ocaml_2.0 dh-strip-nondeterminism_1.13.1-1 diffutils_1:3.8-4 dirmngr_2.2.40-1.1 dpkg_1.21.22+rpi1 dpkg-dev_1.21.22+rpi1 dwz_0.15-1 e2fsprogs_1.47.0-2 fakeroot_1.31-1.2 file_1:5.45-2 findutils_4.9.0-4 fontconfig-config_2.14.2-6 fonts-lmodern_2.005-1 fonts-urw-base35_20200910-7 g++_4:12.2.0-3+rpi1 g++-12_12.2.0-14+rpi1 gcc_4:12.2.0-3+rpi1 gcc-12_12.2.0-14+rpi1 gcc-12-base_12.2.0-14+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-12 gettext-base_0.21-12 ghostscript_10.01.2~dfsg-1 gnupg_2.2.40-1.1 gnupg-l10n_2.2.40-1.1 gnupg-utils_2.2.40-1.1 gpg_2.2.40-1.1 gpg-agent_2.2.40-1.1 gpg-wks-client_2.2.40-1.1 gpg-wks-server_2.2.40-1.1 gpgconf_2.2.40-1.1 gpgsm_2.2.40-1.1 gpgv_2.2.40-1.1 grep_3.8-5 groff-base_1.22.4-10 gzip_1.12-1 hevea_2.36-2 hicolor-icon-theme_0.17-2 hostname_3.23+nmu1 imagemagick_8:6.9.11.60+dfsg-1.6 imagemagick-6-common_8:6.9.11.60+dfsg-1.6 imagemagick-6.q16_8:6.9.11.60+dfsg-1.6 init-system-helpers_1.65.2 intltool-debian_0.35.0+20060710.6 iputils-ping_3:20221126-1 krb5-locales_1.20.1-3 libacl1_2.3.1-3 libapache-pom-java_29-2 libapt-pkg6.0_2.6.1 libarchive-zip-perl_1.68-1 libasan8_12.2.0-14+rpi1 libassuan0_2.5.5-5 libatomic1_12.2.0-14+rpi1 libattr1_1:2.5.1-4 libaudit-common_1:3.1.1-1 libaudit1_1:3.0.9-1 libavahi-client3_0.8-11 libavahi-common-data_0.8-11 libavahi-common3_0.8-11 libbinutils_2.40-2+rpi2 libblkid1_2.39.2-1 libboost-iostreams1.74.0_1.74.0+ds1-21 libbrotli1_1.0.9-2+b3 libbsd0_0.11.7-4 libbz2-1.0_1.0.8-5+b2 libc-bin_2.36-9+rpi1+deb12u1 libc-dev-bin_2.36-9+rpi1+deb12u1 libc6_2.36-9+rpi1+deb12u1 libc6-dev_2.36-9+rpi1+deb12u1 libcairo2_1.17.8-3 libcap-ng0_0.8.3-1+b1 libcap2_1:2.66-4 libcap2-bin_1:2.66-4 libcc1-0_12.2.0-14+rpi1 libcom-err2_1.47.0-2 libcommons-logging-java_1.2-3 libcommons-parent-java_56-1 libcompiler-libs-ocaml-dev_4.13.1-6+rpi1 libcrypt-dev_1:4.4.33-2 libcrypt1_1:4.4.33-2 libctf-nobfd0_2.40-2+rpi2 libctf0_2.40-2+rpi2 libcups2_2.4.2-5 libcwidget4_0.5.18-6 libdav1d6_1.0.0-2+rpi1 libdb5.3_5.3.28+dfsg2-1 libdbus-1-3_1.14.10-1 libde265-0_1.0.11-1+rpi1 libdebconfclient0_0.270 libdebhelper-perl_13.11.6 libdeflate0_1.18-1 libdpkg-perl_1.21.22+rpi1 libelf1_0.188-2.1+rpi1 libexpat1_2.5.0-1 libext2fs2_1.47.0-2 libfakeroot_1.31-1.2 libffi8_3.4.4-1 libfftw3-double3_3.3.10-1 libfile-find-rule-perl_0.34-3 libfile-stripnondeterminism-perl_1.13.1-1 libfontbox-java_1:1.8.16-4 libfontconfig1_2.14.2-6 libfontenc1_1:1.1.4-1 libfreetype6_2.13.2+dfsg-1 libgcc-12-dev_12.2.0-14+rpi1 libgcc-s1_12.2.0-14+rpi1 libgcrypt20_1.10.1-3 libgdbm-compat4_1.23-3 libgdbm6_1.23-3 libglib2.0-0_2.74.6-1 libgmp10_2:6.2.1+dfsg1-1.1 libgnutls30_3.7.9-2 libgomp1_12.2.0-14+rpi1 libgpg-error0_1.46-1 libgraphite2-3_1.3.14-1 libgs-common_10.01.2~dfsg-1 libgs10_10.01.2~dfsg-1 libgs10-common_10.01.2~dfsg-1 libgssapi-krb5-2_1.20.1-2 libharfbuzz0b_8.0.1-1 libheif-plugin-dav1d_1.16.2-2 libheif-plugin-libde265_1.16.2-2 libheif1_1.16.2-2 libhogweed6_3.8.1-2 libice6_2:1.0.10-1 libicu72_72.1-3 libidn12_1.41-1+b1 libidn2-0_2.3.3-1+b2 libijs-0.35_0.35-15 libisl23_0.25-1 libjansson4_2.14-2 libjbig0_2.1-6.1 libjbig2dec0_0.19-3+b2 libjpeg62-turbo_1:2.1.5-2 libk5crypto3_1.20.1-2 libkeyutils1_1.6.3-2 libkpathsea6_2023.20230311.66589-4 libkrb5-3_1.20.1-2 libkrb5support0_1.20.1-2 libksba8_1.6.3-2 liblcms2-2_2.14-2 libldap-2.4-2_2.4.59+dfsg-1+b1 libldap-2.5-0_2.5.13+dfsg-5+rpi1 libldap-common_2.5.13+dfsg-5+rpi1 liblerc4_4.0.0+ds-3 liblqr-1-0_0.4.2-2.1 libltdl7_2.4.7-7 liblz4-1_1.9.4-1+rpi1+b1 liblzma5_5.4.1-0.2 libmagic-mgc_1:5.45-2 libmagic1_1:5.45-2 libmagickcore-6.q16-6_8:6.9.11.60+dfsg-1.6 libmagickwand-6.q16-6_8:6.9.11.60+dfsg-1.6 libmd0_1.0.4-2 libmount1_2.39.2-1 libmpc3_1.3.1-1 libmpfr6_4.2.0-1 libncurses-dev_6.4+20230625-2 libncurses6_6.4+20230625-2 libncursesw6_6.4+20230625-2 libnetpbm11_2:11.01.00-2 libnettle8_3.8.1-2 libnpth0_1.6-3 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnumber-compare-perl_0.03-3 libopenjp2-7_2.5.0-2 libp11-kit0_0.24.1-2 libpam-cap_1:2.66-4 libpam-modules_1.5.2-6 libpam-modules-bin_1.5.2-6 libpam-runtime_1.5.2-7 libpam0g_1.5.2-6 libpaper-utils_1.1.29 libpaper1_1.1.29 libpcre2-8-0_10.42-1 libpcre3_2:8.39-15 libpdfbox-java_1:1.8.16-4 libperl5.36_5.36.0-7 libpipeline1_1.5.7-1 libpixman-1-0_0.42.2-1 libpng16-16_1.6.40-1 libpotrace0_1.16-2 libptexenc1_2023.20230311.66589-4 libpython3-stdlib_3.11.4-5 libpython3.11-minimal_3.11.5-3 libpython3.11-stdlib_3.11.5-3 libreadline8_8.2-1.3 libsasl2-2_2.1.28+dfsg-10 libsasl2-modules-db_2.1.28+dfsg-10 libseccomp2_2.5.4-1+rpi1+b1 libselinux1_3.4-1+b2 libsemanage-common_3.5-1 libsemanage2_3.4-1+b2 libsepol1_3.1-1 libsepol2_3.4-2.1 libsigc++-2.0-0v5_2.12.0-1 libsm6_2:1.2.3-1 libsmartcols1_2.39.2-1 libsqlite3-0_3.40.1-2 libss2_1.47.0-2 libssl1.1_1.1.1o-1 libssl3_3.0.9-1 libstdc++-12-dev_12.2.0-14+rpi1 libstdc++6_12.2.0-14+rpi1 libstdlib-ocaml_4.13.1-6+rpi1 libstdlib-ocaml-dev_4.13.1-6+rpi1 libsub-override-perl_0.09-4 libsynctex2_2023.20230311.66589-4 libsystemd0_252.12-1~deb12u1+rpi1 libtasn1-6_4.19.0-2 libteckit0_2.5.11+ds1-1 libtexlua53-5_2023.20230311.66589-4 libtexluajit2_2023.20230311.66589-4 libtext-glob-perl_0.11-3 libtiff6_4.5.1+git230720-1 libtinfo6_6.4+20230625-2 libtirpc-common_1.3.3+ds-1 libtirpc-dev_1.3.3+ds-1 libtirpc3_1.3.3+ds-1 libtool_2.4.7-7 libubsan1_12.2.0-14+rpi1 libuchardet0_0.0.7-1 libudev1_252.12-1~deb12u1+rpi1 libunistring2_1.0-2 libuuid1_2.39.2-1 libwebp7_1.2.4-0.3 libwebpdemux2_1.2.4-0.3 libwebpmux3_1.2.4-0.3 libx11-6_2:1.8.6-1 libx11-data_2:1.8.6-1 libxapian30_1.4.22-1 libxau6_1:1.0.9-1 libxaw7_2:1.0.14-1 libxcb-render0_1.15-1 libxcb-shm0_1.15-1 libxcb1_1.15-1 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.4-1 libxi6_2:1.8-1 libxml2_2.9.14+dfsg-1.3 libxmu6_2:1.1.3-3 libxpm4_1:3.5.12-1.1 libxrender1_1:0.9.10-1.1 libxt6_1:1.2.1-1.1 libxxhash0_0.8.1-1 libzstd1_1.5.4+dfsg2-5 libzzip-0-13_0.13.72+dfsg.1-1.1 linux-libc-dev_6.1.38-1+rpi1 login_1:4.13+dfsg1-1 logsave_1.47.0-2 lsb-base_11.6+rpi1 m4_1.4.19-3 make_4.3-4.1 man-db_2.11.2-3 mawk_1.3.4.20200120-3.1 media-types_10.1.0 mount_2.39.2-1 nano_7.2-1 ncurses-base_6.4+20230625-2 ncurses-bin_6.4+20230625-2 netbase_6.4 netpbm_2:11.01.00-2 ocaml_4.13.1-6+rpi1 ocaml-base_4.13.1-6+rpi1 ocaml-dune_3.10.0-1 ocaml-interp_4.13.1-6+rpi1 passwd_1:4.13+dfsg1-1 patch_2.7.6-7 perl_5.36.0-7 perl-base_5.36.0-7 perl-modules-5.36_5.36.0-7 pinentry-curses_1.2.1-1 po-debconf_1.0.21+nmu1 poppler-data_0.4.12-1 preview-latex-style_12.2-1 python3_3.11.4-5 python3-minimal_3.11.4-5 python3.11_3.11.5-3 python3.11-minimal_3.11.5-3 raspbian-archive-keyring_20120528.2 readline-common_8.2-1.3 rpcsvc-proto_1.4.3-1 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-menhir-dummy_0.invalid.0 sed_4.9-1 sensible-utils_0.0.20 sgml-base_1.31 sysvinit-utils_3.06-4 t1utils_1.41-4 tar_1.34+dfsg-1.2 tex-common_6.18 texlive-base_2023.20230613-3 texlive-binaries_2023.20230311.66589-4 texlive-fonts-recommended_2023.20230613-3 texlive-latex-base_2023.20230613-3 texlive-latex-extra_2023.20230613-2 texlive-latex-recommended_2023.20230613-3 texlive-pictures_2023.20230613-3 tzdata_2023c-10 ucf_3.0043+nmu1 usrmerge_37 util-linux_2.39.2-1 util-linux-extra_2.39.2-1 x11-common_1:7.7+23 xdg-utils_1.1.3-4.1 xfonts-encodings_1:1.0.4-2.2 xfonts-utils_1:7.7+6 xz-utils_5.4.1-0.2 zlib1g_1:1.2.13.dfsg-1
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: Signature made Sun Aug 27 04:56:39 2023 UTC
gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081
gpgv: issuer "glondu@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for ./menhir_20230608+ds-1.dsc: no acceptable signature found
dpkg-source: info: extracting menhir in /<<BUILDDIR>>/menhir-20230608+ds
dpkg-source: info: unpacking menhir_20230608+ds.orig.tar.xz
dpkg-source: info: unpacking menhir_20230608+ds-1.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying menhirLib
Check disc space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=trixie-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=trixie-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=trixie-staging-armhf-sbuild-11830c54-84e2-454f-808e-302dd45784e8
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=xterm
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package menhir
dpkg-buildpackage: info: source version 20230608+ds-1
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
debian/rules clean
dh clean --with ocaml --buildsystem ocaml_dune
dh_auto_clean -O--buildsystem=ocaml_dune
dune clean
dh_autoreconf_clean -O--buildsystem=ocaml_dune
dh_ocamlclean -O--buildsystem=ocaml_dune
dh_clean -O--buildsystem=ocaml_dune
debian/rules binary-arch
dh binary-arch --with ocaml --buildsystem ocaml_dune
dh_update_autotools_config -a -O--buildsystem=ocaml_dune
dh_autoreconf -a -O--buildsystem=ocaml_dune
dh_ocamlinit -a -O--buildsystem=ocaml_dune
dh_auto_configure -a -O--buildsystem=ocaml_dune
debian/rules execute_before_dh_auto_build
make[1]: Entering directory '/<<BUILDDIR>>/menhir-20230608+ds'
make -C doc
make[2]: Entering directory '/<<BUILDDIR>>/menhir-20230608+ds/doc'
pdflatex manual
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2023-06-01>
L3 programming layer <2023-06-05>
(./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 2023/05/17 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-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/pgfkeyslibraryfiltered
.code.tex)) (/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/latex/graphics/mathcolor.ltx))
(/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/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/pgfmathcalc.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/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/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.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/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/base/t1cmss.fd) [1{/var/lib/texmf/font
s/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/b
ase/8r.enc}]
No file manual.toc.
[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 211.
LaTeX Warning: Reference `sec:onerrorreduce' on page 4 undefined on input line
212.
LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 217
.
LaTeX Warning: Reference `sec:tokens' on page 4 undefined on input line 224.
LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 230
.
[4]
LaTeX Warning: Reference `sec:conflicts' on page 5 undefined on input line 236.
LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 252.
LaTeX Warning: Reference `sec:monolithic' on page 5 undefined on input line 255
.
LaTeX Warning: Reference `sec:incremental' on page 5 undefined on input line 25
6.
LaTeX Warning: Reference `sec:inspection' on page 5 undefined on input line 256
.
LaTeX Warning: Reference `sec:interpret' on page 5 undefined on input line 264.
LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 269
.
LaTeX Warning: Reference `sec:interpret' on page 5 undefined on input line 273.
LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 277
.
LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 296
.
LaTeX Warning: Reference `sec:library' on page 5 undefined on input line 306.
LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 308.
LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 310.
[5]
LaTeX Warning: Reference `sec:split' on page 6 undefined on input line 315.
LaTeX Warning: Reference `sec:templates' on page 6 undefined on input line 316.
LaTeX Warning: Reference `sec:inline' on page 6 undefined on input line 318.
LaTeX Warning: Reference `sec:tokens' on page 6 undefined on input line 362.
LaTeX Warning: Reference `sec:build' on page 6 undefined on input line 365.
LaTeX Warning: Reference `sec:tokens' on page 6 undefined on input line 374.
LaTeX Warning: Reference `sec:errors' on page 6 undefined on input line 388.
[6]
LaTeX Warning: Reference `sec:build' on page 7 undefined on input line 397.
LaTeX Warning: Reference `sec:qa' on page 7 undefined on input line 402.
LaTeX Warning: Reference `sec:incremental' on page 7 undefined on input line 41
5.
LaTeX Warning: Reference `sec:inspection' on page 7 undefined on input line 416
.
LaTeX Warning: Reference `sec:errors:new' on page 7 undefined on input line 444
.
LaTeX Warning: Reference `sec:decls' on page 7 undefined on input line 454.
LaTeX Warning: Reference `sec:old:rules' on page 7 undefined on input line 456.
LaTeX Warning: Reference `sec:producers' on page 7 undefined on input line 458.
LaTeX Warning: Reference `sec:new:rules' on page 7 undefined on input line 460.
LaTeX Warning: Reference `sec:tokens' on page 7 undefined on input line 475.
[7]
LaTeX Warning: Reference `fig:syntax' on page 8 undefined on input line 593.
LaTeX Warning: Reference `sec:attributes' on page 8 undefined on input line 595
.
LaTeX Warning: Reference `sec:decls' on page 8 undefined on input line 601.
LaTeX Warning: Reference `sec:old:rules' on page 8 undefined on input line 612.
LaTeX Warning: Reference `sec:new:rules' on page 8 undefined on input line 613.
Underfull \vbox (badness 10000) has occurred while \output is active [8]
[9]
LaTeX Warning: Reference `sec:conflicts' on page 10 undefined on input line 747
.
LaTeX Warning: Reference `sec:decls:headers' on page 10 undefined on input line
767.
LaTeX Warning: Reference `sec:attributes' on page 10 undefined on input line 79
6.
Underfull \vbox (badness 2261) has occurred while \output is active [10]
LaTeX Warning: Reference `sec:errors:diagnostics' on page 11 undefined on input
line 839.
LaTeX Warning: Reference `sec:productiongroups' on page 11 undefined on input l
ine 865.
LaTeX Warning: Reference `sec:split' on page 11 undefined on input line 869.
LaTeX Warning: Reference `sec:inline' on page 11 undefined on input line 869.
LaTeX Warning: Reference `sec:templates' on page 11 undefined on input line 871
.
LaTeX Warning: Reference `sec:productions' on page 11 undefined on input line 8
76.
LaTeX Warning: Reference `sec:actions' on page 11 undefined on input line 877.
LaTeX Warning: Reference `sec:prec' on page 11 undefined on input line 878.
[11]
LaTeX Warning: Reference `sec:assoc' on page 12 undefined on input line 904.
LaTeX Warning: Reference `sec:conflicts' on page 12 undefined on input line 911
.
LaTeX Warning: Reference `sec:producers' on page 12 undefined on input line 925
.
LaTeX Warning: Reference `sec:prec' on page 12 undefined on input line 926.
LaTeX Warning: Reference `sec:actual' on page 12 undefined on input line 934.
LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 947
.
LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 951
.
LaTeX Warning: Reference `fig:sugar' on page 12 undefined on input line 952.
LaTeX Warning: Reference `sec:inline' on page 12 undefined on input line 997.
LaTeX Warning: Reference `sec:split' on page 12 undefined on input line 1000.
LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 100
2.
LaTeX Warning: Reference `fig:syntax' on page 12 undefined on input line 1004.
[12]
LaTeX Warning: Reference `sec:templates' on page 13 undefined on input line 104
9.
LaTeX Warning: Reference `fig:sugar' on page 13 undefined on input line 1049.
Excluding 'comment' comment.
LaTeX Warning: Reference `fig:syntax' on page 13 undefined on input line 1096.
LaTeX Warning: Reference `sec:library' on page 13 undefined on input line 1111.
LaTeX Warning: Reference `fig:standard' on page 13 undefined on input line 1111
.
LaTeX Warning: Reference `sec:actual' on page 13 undefined on input line 1119.
LaTeX Warning: Reference `sec:library' on page 13 undefined on input line 1125.
[13]
LaTeX Warning: Reference `sec:library' on page 14 undefined on input line 1158.
LaTeX Warning: Reference `sec:inline' on page 14 undefined on input line 1172.
LaTeX Warning: Reference `sec:templates' on page 14 undefined on input line 119
5.
LaTeX Warning: Reference `sec:library' on page 14 undefined on input line 1202.
[14]
LaTeX Warning: Reference `sec:library' on page 15 undefined on input line 1259.
LaTeX Warning: Reference `sec:library' on page 15 undefined on input line 1332.
[15]
LaTeX Warning: Reference `sec:library' on page 16 undefined on input line 1363.
LaTeX Warning: Reference `fig:sugar' on page 16 undefined on input line 1364.
[16]
LaTeX Warning: Reference `sec:positions' on page 17 undefined on input line 149
8.
Underfull \hbox (badness 3635) in paragraph at lines 1551--1552
[]\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 1577.
LaTeX Warning: Reference `sec:templates' on page 17 undefined on input line 157
8.
LaTeX Warning: Reference `sec:inline' on page 17 undefined on input line 1578.
LaTeX Warning: Reference `fig:standard' on page 17 undefined on input line 1583
.
LaTeX Warning: Reference `fig:sugar' on page 17 undefined on input line 1584.
[17]
LaTeX Warning: Reference `fig:standard' on page 18 undefined on input line 1615
.
LaTeX Warning: Reference `sec:actual' on page 18 undefined on input line 1618.
LaTeX Warning: Reference `sec:actual' on page 18 undefined on input line 1643.
LaTeX Warning: Reference `sec:inline' on page 18 undefined on input line 1644.
[18]
LaTeX Warning: Reference `sec:actual' on page 19 undefined on input line 1675.
LaTeX Warning: Reference `sec:inline' on page 19 undefined on input line 1676.
LaTeX Warning: Reference `sec:assoc' on page 19 undefined on input line 1709.
LaTeX Warning: Reference `sec:prec' on page 19 undefined on input line 1709.
LaTeX Warning: Reference `multiway' on page 19 undefined on input line 1735.
LaTeX Warning: Reference `fig:basicshiftreduce' on page 19 undefined on input l
ine 1775.
[19]
LaTeX Warning: Reference `fig:shifting:tree' on page 20 undefined on input line
1868.
LaTeX Warning: Reference `fig:shifting:tree' on page 20 undefined on input line
1873.
LaTeX Warning: Reference `fig:shifting:text' on page 20 undefined on input line
1873.
[20]
LaTeX Warning: Reference `fig:shifting:text' on page 21 undefined on input line
1884.
LaTeX Warning: Reference `fig:reducing:tree' on page 21 undefined on input line
1927.
LaTeX Warning: Reference `fig:reducing:tree' on page 21 undefined on input line
1932.
LaTeX Warning: Reference `fig:reducing:text' on page 21 undefined on input line
1932.
LaTeX Warning: Reference `fig:reducing:text' on page 21 undefined on input line
1936.
[21]
LaTeX Warning: Reference `fig:xreducing:tree' on page 22 undefined on input lin
e 1949.
LaTeX Warning: Reference `fig:xreducing:text' on page 22 undefined on input lin
e 1949.
Missing character: There is no ] in font nullfont!
LaTeX Warning: Reference `fig:xreducing:tree' on page 22 undefined on input lin
e 2004.
LaTeX Warning: Reference `fig:xreducing:text' on page 22 undefined on input lin
e 2012.
LaTeX Warning: Reference `fig:xreducing:tree' on page 22 undefined on input lin
e 2027.
LaTeX Warning: Reference `fig:xreducing:text' on page 22 undefined on input lin
e 2028.
[22] [23]
LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2213
.
LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2230
.
LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2242
.
LaTeX Warning: Reference `fig:basiceosdump' on page 24 undefined on input line
2247.
LaTeX Warning: Reference `fig:basiceos:sol' on page 24 undefined on input line
2271.
Underfull \vbox (badness 6078) has occurred while \output is active [24]
[25]
LaTeX Warning: Reference `fig:pos' on page 26 undefined on input line 2358.
[26]
LaTeX Warning: Reference `fig:pos:mapping' on page 27 undefined on input line 2
422.
LaTeX Warning: Reference `fig:pos:mapping' on page 27 undefined on input line 2
427.
LaTeX Warning: Reference `sec:inline' on page 27 undefined on input line 2433.
[27]
LaTeX Warning: Reference `sec:sentences' on page 28 undefined on input line 253
1.
[28]
LaTeX Warning: Reference `sec:qa' on page 29 undefined on input line 2638.
[29]
LaTeX Warning: Reference `sec:incremental' on page 30 undefined on input line 2
695.
LaTeX Warning: Reference `sec:inspection' on page 30 undefined on input line 26
95.
LaTeX Warning: Reference `sec:incremental:driving' on page 30 undefined on inpu
t line 2718.
LaTeX Warning: Reference `sec:incremental:inspecting' on page 30 undefined on i
nput line 2719.
LaTeX Warning: Reference `sec:incremental:updating' on page 30 undefined on inp
ut line 2719.
[30]
LaTeX Warning: Reference `sec:errors' on page 31 undefined on input line 2828.
[31]
LaTeX Warning: Reference `sec:errors' on page 32 undefined on input line 2883.
[32]
LaTeX Warning: Reference `sec:inspection' on page 33 undefined on input line 30
39.
[33]
LaTeX Warning: Reference `sec:incremental:updating' on page 34 undefined on inp
ut line 3104.
LaTeX Warning: Reference `sec:incremental:inspecting' on page 34 undefined on i
nput line 3140.
LaTeX Warning: Reference `sec:inspection' on page 34 undefined on input line 31
52.
[34]
LaTeX Warning: Reference `sec:errors:new' on page 35 undefined on input line 32
00.
[35] [36]
LaTeX Warning: Reference `sec:errors:new' on page 37 undefined on input line 34
03.
[37]
LaTeX Warning: Reference `sec:incremental' on page 38 undefined on input line 3
473.
LaTeX Warning: Reference `sec:errors' on page 38 undefined on input line 3478.
LaTeX Warning: Citation `jeffery-03' on page 38 undefined on input line 3486.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 38 undefined on
input line 3487.
LaTeX Warning: Reference `sec:messages:format' on page 38 undefined on input li
ne 3501.
LaTeX Warning: Reference `sec:messages:tools' on page 38 undefined on input lin
e 3503.
LaTeX Warning: Reference `sec:errors:diagnostics' on page 38 undefined on input
line 3505.
LaTeX Warning: Reference `sec:errors:example' on page 38 undefined on input lin
e 3506.
LaTeX Warning: Citation `knuth-lr-65' on page 38 undefined on input line 3512.
LaTeX Warning: Citation `pager-77' on page 38 undefined on input line 3513.
LaTeX Warning: Reference `sec:errors:diagnostics' on page 38 undefined on input
line 3519.
LaTeX Warning: Reference `sec:sentences' on page 38 undefined on input line 353
4.
LaTeX Warning: Reference `fig:messages:entry' on page 38 undefined on input lin
e 3601.
[38] [39]
LaTeX Warning: Reference `sec:messages:merge' on page 40 undefined on input lin
e 3610.
LaTeX Warning: Reference `sec:messages:tools' on page 40 undefined on input lin
e 3624.
LaTeX Warning: Reference `fig:messages:entry:decorated' on page 40 undefined on
input line 3632.
LaTeX Warning: Reference `sec:errors:diagnostics' on page 40 undefined on input
line 3658.
[40] [41]
LaTeX Warning: Reference `fig:declarations' on page 42 undefined on input line
3850.
LaTeX Warning: Reference `sec:messages:format' on page 42 undefined on input li
ne 3856.
LaTeX Warning: Reference `fig:declarations' on page 42 undefined on input line
3862.
LaTeX Warning: Reference `fig:declarations:over' on page 42 undefined on input
line 3874.
[42]
LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input
line 3877.
LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input
line 3881.
LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input
line 3891.
LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input
line 3904.
LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input
line 3910.
LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 43 undefined
on input line 3933.
LaTeX Warning: Reference `fig:declarations:phantom' on page 43 undefined on inp
ut line 3955.
LaTeX Warning: Reference `fig:declarations' on page 43 undefined on input line
3959.
[43]
LaTeX Warning: Reference `sec:onerrorreduce' on page 44 undefined on input line
3975.
LaTeX Warning: Reference `fig:declarations:over' on page 44 undefined on input
line 3976.
LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 44 undefined
on input line 3983.
LaTeX Warning: Reference `fig:declarations' on page 44 undefined on input line
3985.
[44]
LaTeX Warning: Reference `fig:declarations' on page 45 undefined on input line
4000.
LaTeX Warning: Reference `fig:declarations:over' on page 45 undefined on input
line 4002.
LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 45 undefined
on input line 4003.
LaTeX Warning: Reference `fig:declarations:under' on page 45 undefined on input
line 4005.
LaTeX Warning: Reference `fig:declarations:under' on page 45 undefined on input
line 4019.
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 4103.
LaTeX Warning: Citation `compcert' on page 46 undefined on input line 4105.
LaTeX Warning: Reference `sec:errors' on page 46 undefined on input line 4123.
LaTeX Warning: Reference `fig:pos' on page 46 undefined on input line 4126.
LaTeX Warning: Reference `sec:parameter' on page 46 undefined on input line 412
7.
LaTeX Warning: Reference `sec:inline' on page 46 undefined on input line 4128.
LaTeX Warning: Reference `sec:library' on page 46 undefined on input line 4129.
LaTeX Warning: Reference `sec:type' on page 46 undefined on input line 4134.
LaTeX Warning: Reference `sec:start' on page 46 undefined on input line 4134.
LaTeX Warning: Reference `sec:conflicts:benign' on page 46 undefined on input l
ine 4137.
LaTeX Warning: Reference `sec:assoc' on page 46 undefined on input line 4139.
LaTeX Warning: Citation `compcert' on page 46 undefined on input line 4175.
[46]
LaTeX Warning: Reference `sec:coq:errmsg' on page 47 undefined on input line 42
06.
LaTeX Warning: Citation `compcert' on page 47 undefined on input line 4271.
LaTeX Warning: Citation `compcert-github' on page 47 undefined on input line 42
71.
LaTeX Warning: Reference `sec:errors:example' on page 47 undefined on input lin
e 4279.
LaTeX Warning: Reference `sec:messages:format' on page 47 undefined on input li
ne 4291.
LaTeX Warning: Reference `sec:messages:tools' on page 47 undefined on input lin
e 4292.
[47]
LaTeX Warning: Citation `klint-laemmel-verhoef-05' on page 48 undefined on inpu
t line 4311.
LaTeX Warning: Reference `sec:sdk' on page 48 undefined on input line 4317.
LaTeX Warning: Reference `sec:attributes' on page 48 undefined on input line 43
24.
LaTeX Warning: Reference `sec:decls' on page 48 undefined on input line 4379.
[48]
LaTeX Warning: Reference `sec:producers' on page 49 undefined on input line 441
0.
LaTeX Warning: Reference `sec:decls' on page 49 undefined on input line 4426.
LaTeX Warning: Reference `sec:build:infer' on page 49 undefined on input line 4
459.
LaTeX Warning: Reference `sec:build:flags' on page 49 undefined on input line 4
459.
LaTeX Warning: Reference `sec:dune' on page 49 undefined on input line 4465.
LaTeX Warning: Reference `sec:build:infer:none' on page 49 undefined on input l
ine 4479.
LaTeX Warning: Reference `sec:build:infer:direct' on page 49 undefined on input
line 4482.
LaTeX Warning: Reference `sec:build:infer:indirect' on page 49 undefined on inp
ut line 4485.
[49]
LaTeX Warning: Reference `sec:build:infer:direct' on page 50 undefined on input
line 4494.
LaTeX Warning: Reference `sec:build:infer:indirect' on page 50 undefined on inp
ut line 4495.
[50]
LaTeX Warning: Reference `sec:positions' on page 51 undefined on input line 467
1.
LaTeX Warning: Reference `sec:templates' on page 51 undefined on input line 467
9.
LaTeX Warning: Reference `sec:actual' on page 51 undefined on input line 4681.
LaTeX Warning: Reference `sec:library' on page 51 undefined on input line 4682.
LaTeX Warning: Reference `fig:sugar' on page 51 undefined on input line 4685.
[51]
LaTeX Warning: Reference `sec:inline' on page 52 undefined on input line 4690.
LaTeX Warning: Reference `sec:conflicts' on page 52 undefined on input line 469
3.
LaTeX Warning: Reference `sec:incremental' on page 52 undefined on input line 4
697.
LaTeX Warning: Reference `sec:errors:new' on page 52 undefined on input line 47
03.
LaTeX Warning: Reference `sec:coq' on page 52 undefined on input line 4706.
LaTeX Warning: Reference `sec:interpret' on page 52 undefined on input line 470
8.
LaTeX Warning: Reference `sec:split' on page 52 undefined on input line 4711.
LaTeX Warning: Reference `sec:eos' on page 52 undefined on input line 4722.
LaTeX Warning: Reference `sec:positions' on page 52 undefined on input line 473
8.
LaTeX Warning: Reference `sec:errors' on page 52 undefined on input line 4740.
LaTeX Warning: Reference `sec:errors' on page 52 undefined on input line 4742.
LaTeX Warning: Reference `sec:conflicts' on page 52 undefined on input line 474
7.
Underfull \vbox (badness 10000) has occurred while \output is active [52]
LaTeX Warning: Reference `sec:build' on page 53 undefined on input line 4798.
LaTeX Warning: Reference `sec:errors:new' on page 53 undefined on input line 48
19.
Overfull \hbox (52.85591pt too wide) in paragraph at lines 4803--4821
\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 4803--4821
\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 4803--4821
\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 4803--4821
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
68.
LaTeX Warning: Reference `sec:decls:headers' on page 53 undefined on input line
4897.
[53]
LaTeX Warning: Reference `sec:monolithic' on page 54 undefined on input line 49
09.
LaTeX Warning: Reference `sec:incremental' on page 54 undefined on input line 4
915.
LaTeX Warning: Reference `sec:positions' on page 54 undefined on input line 495
8.
LaTeX Warning: Citation `obelisk' on page 54 undefined on input line 4962.
LaTeX Warning: Reference `sec:library' on page 54 undefined on input line 4965.
LaTeX Warning: Citation `knuth-lr-65' on page 54 undefined on input line 4971.
LaTeX Warning: Citation `pager-77' on page 54 undefined on input line 4974.
LaTeX Warning: Citation `bison' on page 54 undefined on input line 4977.
[54]
LaTeX Warning: Citation `deremer-pennello-82' on page 55 undefined on input lin
e 4980.
LaTeX Warning: Citation `bhamidipaty-proebsting-98' on page 55 undefined on inp
ut line 4984.
LaTeX Warning: Citation `horspool-faster-90' on page 55 undefined on input line
4984.
LaTeX Warning: Citation `tarjan-yao-79' on page 55 undefined on input line 4989
.
LaTeX Warning: Citation `dencker-84' on page 55 undefined on input line 4992.
LaTeX Warning: Citation `pottier-regis-gianas-typed-lr' on page 55 undefined on
input line 4995.
LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 55 undefined on inpu
t line 5003.
LaTeX Warning: Citation `compcert' on page 55 undefined on input line 5004.
LaTeX Warning: Citation `jourdan-pottier-17' on page 55 undefined on input line
5006.
LaTeX Warning: Reference `sec:errors:new' on page 55 undefined on input line 50
08.
LaTeX Warning: Citation `jeffery-03' on page 55 undefined on input line 5009.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 55 undefined on
input line 5010.
LaTeX Warning: Citation `bour-pottier-21' on page 55 undefined on input line 50
11.
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 2023/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 2023/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 2023/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 2023/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>
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 2023/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 2023/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 2023/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/ecss1095.600pk></usr/share/texlive/texmf-dist/fonts/type1/public/a
msfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
s/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cm
r10.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/t
exlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-di
st/fonts/type1/urw/times/utmbi8a.pfb></usr/share/texlive/texmf-dist/fonts/type1
/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr
i8a.pfb>
Output written on manual.pdf (55 pages, 367373 bytes).
Transcript written on manual.log.
bibtex manual
This is BibTeX, Version 0.99d (TeX Live 2023/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.25 (TeX Live 2023/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2023-06-01>
L3 programming layer <2023-06-05>
(./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 2023/05/17 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-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/pgfkeyslibraryfiltered
.code.tex)) (/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/latex/graphics/mathcolor.ltx))
(/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/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/pgfmathcalc.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/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/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.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/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))
(./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}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/b
ase/8r.enc}] (./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 10000) has occurred while \output is active [9]
[10]
Underfull \vbox (badness 2261) has occurred while \output is active [11]
[12] [13] Excluding 'comment' comment. [14] [15] [16] [17]
Underfull \hbox (badness 3635) in paragraph at lines 1551--1552
[]\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] [22]
Missing character: There is no ] in font nullfont!
[23] [24]
Underfull \vbox (badness 6078) has occurred while \output is active [25]
[26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38]
LaTeX Warning: Citation `jeffery-03' on page 39 undefined on input line 3486.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 39 undefined on
input line 3487.
LaTeX Warning: Citation `knuth-lr-65' on page 39 undefined on input line 3512.
LaTeX Warning: Citation `pager-77' on page 39 undefined on input line 3513.
[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 4103.
LaTeX Warning: Citation `compcert' on page 47 undefined on input line 4105.
LaTeX Warning: Citation `compcert' on page 47 undefined on input line 4175.
[47]
LaTeX Warning: Citation `compcert' on page 48 undefined on input line 4271.
LaTeX Warning: Citation `compcert-github' on page 48 undefined on input line 42
71.
[48]
LaTeX Warning: Citation `klint-laemmel-verhoef-05' on page 49 undefined on inpu
t line 4311.
[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 4803--4821
\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 4803--4821
\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 4803--4821
\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 4803--4821
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 4962.
LaTeX Warning: Citation `knuth-lr-65' on page 55 undefined on input line 4971.
LaTeX Warning: Citation `pager-77' on page 55 undefined on input line 4974.
LaTeX Warning: Citation `bison' on page 55 undefined on input line 4977.
[55]
LaTeX Warning: Citation `deremer-pennello-82' on page 56 undefined on input lin
e 4980.
LaTeX Warning: Citation `bhamidipaty-proebsting-98' on page 56 undefined on inp
ut line 4984.
LaTeX Warning: Citation `horspool-faster-90' on page 56 undefined on input line
4984.
LaTeX Warning: Citation `tarjan-yao-79' on page 56 undefined on input line 4989
.
LaTeX Warning: Citation `dencker-84' on page 56 undefined on input line 4992.
LaTeX Warning: Citation `pottier-regis-gianas-typed-lr' on page 56 undefined on
input line 4995.
LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 56 undefined on inpu
t line 5003.
LaTeX Warning: Citation `compcert' on page 56 undefined on input line 5004.
LaTeX Warning: Citation `jourdan-pottier-17' on page 56 undefined on input line
5006.
LaTeX Warning: Citation `jeffery-03' on page 56 undefined on input line 5009.
LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 56 undefined on
input line 5010.
LaTeX Warning: Citation `bour-pottier-21' on page 56 undefined on input line 50
11.
(./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 2023/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
> </tmp/texfonts/pk/ljfour/jknappen/ec/ecsx1095.600pk> </tmp/texfonts/pk/ljfour
/jknappen/ec/ectt1095.600pk> </tmp/texfonts/pk/ljfour/jknappen/ec/ecss1095.600p
k></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></us
r/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/texliv
e/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/f
onts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/u
tmbi8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></us
r/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
Output written on manual.pdf (57 pages, 399109 bytes).
Transcript written on manual.log.
pdflatex manual
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2023-06-01>
L3 programming layer <2023-06-05>
(./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 2023/05/17 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-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/pgfkeyslibraryfiltered
.code.tex)) (/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/latex/graphics/mathcolor.ltx))
(/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/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/pgfmathcalc.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/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/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.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/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))
(./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}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/b
ase/8r.enc}] (./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 10000) has occurred while \output is active [9]
[10]
Underfull \vbox (badness 2261) has occurred while \output is active [11]
[12] [13] Excluding 'comment' comment. [14] [15] [16] [17]
Underfull \hbox (badness 3635) in paragraph at lines 1551--1552
[]\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] [22]
Missing character: There is no ] in font nullfont!
[23] [24]
Underfull \vbox (badness 6078) has occurred while \output is active [25]
[26] [27] [28] [29] [30] [31] [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 4803--4821
\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 4803--4821
\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 4803--4821
\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 4803--4821
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
> </tmp/texfonts/pk/ljfour/jknappen/ec/ecsx1095.600pk> </tmp/texfonts/pk/ljfour
/jknappen/ec/ectt1095.600pk> </tmp/texfonts/pk/ljfour/jknappen/ec/ecss1095.600p
k></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></us
r/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/texliv
e/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/f
onts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/u
tmbi8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></us
r/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
Output written on manual.pdf (57 pages, 400219 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:211: Warning: Undefined label: 'sec:conflicts'
./manual.tex:212: Warning: Undefined label: 'sec:onerrorreduce'
./manual.tex:217: Warning: Undefined label: 'sec:errors:new'
./manual.tex:224: Warning: Undefined label: 'sec:tokens'
./manual.tex:230: Warning: Undefined label: 'sec:errors:new'
./manual.tex:236: Warning: Undefined label: 'sec:conflicts'
./manual.tex:252: Warning: Undefined label: 'sec:build'
./manual.tex:255: Warning: Undefined label: 'sec:monolithic'
./manual.tex:256: Warning: Undefined label: 'sec:incremental'
./manual.tex:256: Warning: Undefined label: 'sec:inspection'
./manual.tex:264: Warning: Undefined label: 'sec:interpret'
./manual.tex:269: Warning: Undefined label: 'sec:errors:new'
./manual.tex:273: Warning: Undefined label: 'sec:interpret'
./manual.tex:277: Warning: Undefined label: 'sec:errors:new'
./manual.tex:296: Warning: Undefined label: 'sec:errors:new'
./manual.tex:306: Warning: Undefined label: 'sec:library'
./manual.tex:308: Warning: Undefined label: 'sec:build'
./manual.tex:310: Warning: Undefined label: 'sec:build'
./manual.tex:315: Warning: Undefined label: 'sec:split'
./manual.tex:316: Warning: Undefined label: 'sec:templates'
./manual.tex:318: Warning: Undefined label: 'sec:inline'
./manual.tex:362: Warning: Undefined label: 'sec:tokens'
./manual.tex:365: Warning: Undefined label: 'sec:build'
./manual.tex:374: Warning: Undefined label: 'sec:tokens'
./manual.tex:388: Warning: Undefined label: 'sec:errors'
./manual.tex:397: Warning: Undefined label: 'sec:build'
./manual.tex:402: Warning: Undefined label: 'sec:qa'
./manual.tex:415: Warning: Undefined label: 'sec:incremental'
./manual.tex:416: Warning: Undefined label: 'sec:inspection'
./manual.tex:444: Warning: Undefined label: 'sec:errors:new'
./manual.tex:454: Warning: Undefined label: 'sec:decls'
./manual.tex:456: Warning: Undefined label: 'sec:old:rules'
./manual.tex:458: Warning: Undefined label: 'sec:producers'
./manual.tex:460: Warning: Undefined label: 'sec:new:rules'
./manual.tex:475: Warning: Undefined label: 'sec:tokens'
./manual.tex:539: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:549: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:564: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:593: Warning: Undefined label: 'fig:syntax'
./manual.tex:595: Warning: Undefined label: 'sec:attributes'
./manual.tex:601: Warning: Undefined label: 'sec:decls'
./manual.tex:612: Warning: Undefined label: 'sec:old:rules'
./manual.tex:613: Warning: Undefined label: 'sec:new:rules'
./manual.tex:747: Warning: Undefined label: 'sec:conflicts'
./manual.tex:767: Warning: Undefined label: 'sec:decls:headers'
./manual.tex:796: Warning: Undefined label: 'sec:attributes'
./manual.tex:839: Warning: Undefined label: 'sec:errors:diagnostics'
./manual.tex:865: Warning: Undefined label: 'sec:productiongroups'
./manual.tex:869: Warning: Undefined label: 'sec:split'
./manual.tex:869: Warning: Undefined label: 'sec:inline'
./manual.tex:871: Warning: Undefined label: 'sec:templates'
./manual.tex:876: Warning: Undefined label: 'sec:productions'
./manual.tex:877: Warning: Undefined label: 'sec:actions'
./manual.tex:878: Warning: Undefined label: 'sec:prec'
./manual.tex:904: Warning: Undefined label: 'sec:assoc'
./manual.tex:911: Warning: Undefined label: 'sec:conflicts'
./manual.tex:925: Warning: Undefined label: 'sec:producers'
./manual.tex:926: Warning: Undefined label: 'sec:prec'
./manual.tex:934: Warning: Undefined label: 'sec:actual'
./manual.tex:947: Warning: Undefined label: 'sec:templates'
./manual.tex:951: Warning: Undefined label: 'sec:templates'
./manual.tex:952: Warning: Undefined label: 'fig:sugar'
./manual.tex:997: Warning: Undefined label: 'sec:inline'
./manual.tex:1000: Warning: Undefined label: 'sec:split'
./manual.tex:1002: Warning: Undefined label: 'sec:templates'
./manual.tex:1004: Warning: Undefined label: 'fig:syntax'
./manual.tex:1049: Warning: Undefined label: 'sec:templates'
./manual.tex:1049: Warning: Undefined label: 'fig:sugar'
./manual.tex:1096: Warning: Undefined label: 'fig:syntax'
./manual.tex:1111: Warning: Undefined label: 'sec:library'
./manual.tex:1111: Warning: Undefined label: 'fig:standard'
./manual.tex:1119: Warning: Undefined label: 'sec:actual'
./manual.tex:1125: Warning: Undefined label: 'sec:library'
./manual.tex:1158: Warning: Undefined label: 'sec:library'
./manual.tex:1172: Warning: Undefined label: 'sec:inline'
./manual.tex:1195: Warning: Undefined label: 'sec:templates'
./manual.tex:1202: Warning: Undefined label: 'sec:library'
./manual.tex:1259: Warning: Undefined label: 'sec:library'
./manual.tex:1332: Warning: Undefined label: 'sec:library'
./manual.tex:1363: Warning: Undefined label: 'sec:library'
./manual.tex:1364: Warning: Undefined label: 'fig:sugar'
./manual.tex:1498: Warning: Undefined label: 'sec:positions'
./manual.tex:1577: Warning: Undefined label: 'sec:split'
./manual.tex:1578: Warning: Undefined label: 'sec:templates'
./manual.tex:1578: Warning: Undefined label: 'sec:inline'
./manual.tex:1583: Warning: Undefined label: 'fig:standard'
./manual.tex:1584: Warning: Undefined label: 'fig:sugar'
./manual.tex:1615: Warning: Undefined label: 'fig:standard'
./manual.tex:1618: Warning: Undefined label: 'sec:actual'
./manual.tex:1643: Warning: Undefined label: 'sec:actual'
./manual.tex:1644: Warning: Undefined label: 'sec:inline'
./manual.tex:1675: Warning: Undefined label: 'sec:actual'
./manual.tex:1676: Warning: Undefined label: 'sec:inline'
./manual.tex:1709: Warning: Undefined label: 'sec:assoc'
./manual.tex:1709: Warning: Undefined label: 'sec:prec'
./manual.tex:1735: Warning: Undefined label: 'multiway'
./manual.tex:1775: Warning: Undefined label: 'fig:basicshiftreduce'
./manual.tex:1868: Warning: Undefined label: 'fig:shifting:tree'
./manual.tex:1873: Warning: Undefined label: 'fig:shifting:tree'
./manual.tex:1873: Warning: Undefined label: 'fig:shifting:text'
./manual.tex:1884: Warning: Undefined label: 'fig:shifting:text'
./manual.tex:1927: Warning: Undefined label: 'fig:reducing:tree'
./manual.tex:1932: Warning: Undefined label: 'fig:reducing:tree'
./manual.tex:1932: Warning: Undefined label: 'fig:reducing:text'
./manual.tex:1936: Warning: Undefined label: 'fig:reducing:text'
./manual.tex:1949: Warning: Undefined label: 'fig:xreducing:tree'
./manual.tex:1949: Warning: Undefined label: 'fig:xreducing:text'
./manual.tex:2004: Warning: Undefined label: 'fig:xreducing:tree'
./manual.tex:2012: Warning: Undefined label: 'fig:xreducing:text'
./manual.tex:2027: Warning: Undefined label: 'fig:xreducing:tree'
./manual.tex:2028: Warning: Undefined label: 'fig:xreducing:text'
./manual.tex:2213: Warning: Undefined label: 'fig:basiceos'
./manual.tex:2230: Warning: Undefined label: 'fig:basiceos'
./manual.tex:2242: Warning: Undefined label: 'fig:basiceos'
./manual.tex:2247: Warning: Undefined label: 'fig:basiceosdump'
./manual.tex:2271: Warning: Undefined label: 'fig:basiceos:sol'
./manual.tex:2358: Warning: Undefined label: 'fig:pos'
./manual.tex:2422: Warning: Undefined label: 'fig:pos:mapping'
./manual.tex:2427: Warning: Undefined label: 'fig:pos:mapping'
./manual.tex:2433: Warning: Undefined label: 'sec:inline'
./manual.tex:2531: Warning: Undefined label: 'sec:sentences'
./manual.tex:2638: Warning: Undefined label: 'sec:qa'
./manual.tex:2695: Warning: Undefined label: 'sec:incremental'
./manual.tex:2695: Warning: Undefined label: 'sec:inspection'
./manual.tex:2718: Warning: Undefined label: 'sec:incremental:driving'
./manual.tex:2719: Warning: Undefined label: 'sec:incremental:inspecting'
./manual.tex:2719: Warning: Undefined label: 'sec:incremental:updating'
./manual.tex:2828: Warning: Undefined label: 'sec:errors'
./manual.tex:2883: Warning: Undefined label: 'sec:errors'
./manual.tex:3039: Warning: Undefined label: 'sec:inspection'
./manual.tex:3104: Warning: Undefined label: 'sec:incremental:updating'
./manual.tex:3140: Warning: Undefined label: 'sec:incremental:inspecting'
./manual.tex:3152: Warning: Undefined label: 'sec:inspection'
./manual.tex:3200: Warning: Undefined label: 'sec:errors:new'
./manual.tex:3403: Warning: Undefined label: 'sec:errors:new'
./manual.tex:3473: Warning: Undefined label: 'sec:incremental'
./manual.tex:3478: Warning: Undefined label: 'sec:errors'
./manual.tex:3486: Warning: Undefined citation: 'jeffery-03'
./manual.tex:3487: Warning: Undefined citation: 'pottier-reachability-cc-2016'
./manual.tex:3501: Warning: Undefined label: 'sec:messages:format'
./manual.tex:3503: Warning: Undefined label: 'sec:messages:tools'
./manual.tex:3505: Warning: Undefined label: 'sec:errors:diagnostics'
./manual.tex:3506: Warning: Undefined label: 'sec:errors:example'
./manual.tex:3512: Warning: Undefined citation: 'knuth-lr-65'
./manual.tex:3513: Warning: Undefined citation: 'pager-77'
./manual.tex:3519: Warning: Undefined label: 'sec:errors:diagnostics'
./manual.tex:3534: Warning: Undefined label: 'sec:sentences'
./manual.tex:3601: Warning: Undefined label: 'fig:messages:entry'
./manual.tex:3610: Warning: Undefined label: 'sec:messages:merge'
./manual.tex:3624: Warning: Undefined label: 'sec:messages:tools'
./manual.tex:3632: Warning: Undefined label: 'fig:messages:entry:decorated'
./manual.tex:3658: Warning: Undefined label: 'sec:errors:diagnostics'
./manual.tex:3850: Warning: Undefined label: 'fig:declarations'
./manual.tex:3856: Warning: Undefined label: 'sec:messages:format'
./manual.tex:3862: Warning: Undefined label: 'fig:declarations'
./manual.tex:3874: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3877: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3881: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3891: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3904: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3910: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3933: Warning: Undefined label: 'fig:declarations:onerrorreduce'
./manual.tex:3955: Warning: Undefined label: 'fig:declarations:phantom'
./manual.tex:3959: Warning: Undefined label: 'fig:declarations'
./manual.tex:3975: Warning: Undefined label: 'sec:onerrorreduce'
./manual.tex:3976: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:3983: Warning: Undefined label: 'fig:declarations:onerrorreduce'
./manual.tex:3985: Warning: Undefined label: 'fig:declarations'
./manual.tex:4000: Warning: Undefined label: 'fig:declarations'
./manual.tex:4002: Warning: Undefined label: 'fig:declarations:over'
./manual.tex:4003: Warning: Undefined label: 'fig:declarations:onerrorreduce'
./manual.tex:4005: Warning: Undefined label: 'fig:declarations:under'
./manual.tex:4019: Warning: Undefined label: 'fig:declarations:under'
./manual.tex:4103: Warning: Undefined citation: 'jourdan-leroy-pottier-12'
./manual.tex:4105: Warning: Undefined citation: 'compcert'
./manual.tex:4123: Warning: Undefined label: 'sec:errors'
./manual.tex:4126: Warning: Undefined label: 'fig:pos'
./manual.tex:4127: Warning: Undefined label: 'sec:parameter'
./manual.tex:4128: Warning: Undefined label: 'sec:inline'
./manual.tex:4129: Warning: Undefined label: 'sec:library'
./manual.tex:4134: Warning: Undefined label: 'sec:type'
./manual.tex:4134: Warning: Undefined label: 'sec:start'
./manual.tex:4137: Warning: Undefined label: 'sec:conflicts:benign'
./manual.tex:4139: Warning: Undefined label: 'sec:assoc'
./manual.tex:4175: Warning: Undefined citation: 'compcert'
./manual.tex:4206: Warning: Undefined label: 'sec:coq:errmsg'
./manual.tex:4271: Warning: Undefined citation: 'compcert'
./manual.tex:4271: Warning: Undefined citation: 'compcert-github'
./manual.tex:4279: Warning: Undefined label: 'sec:errors:example'
./manual.tex:4291: Warning: Undefined label: 'sec:messages:format'
./manual.tex:4292: Warning: Undefined label: 'sec:messages:tools'
./manual.tex:4311: Warning: Undefined citation: 'klint-laemmel-verhoef-05'
./manual.tex:4317: Warning: Undefined label: 'sec:sdk'
./manual.tex:4324: Warning: Undefined label: 'sec:attributes'
./manual.tex:4379: Warning: Undefined label: 'sec:decls'
./manual.tex:4410: Warning: Undefined label: 'sec:producers'
./manual.tex:4426: Warning: Undefined label: 'sec:decls'
./manual.tex:4459: Warning: Undefined label: 'sec:build:infer'
./manual.tex:4459: Warning: Undefined label: 'sec:build:flags'
./manual.tex:4465: Warning: Undefined label: 'sec:dune'
./manual.tex:4479: Warning: Undefined label: 'sec:build:infer:none'
./manual.tex:4482: Warning: Undefined label: 'sec:build:infer:direct'
./manual.tex:4485: Warning: Undefined label: 'sec:build:infer:indirect'
./manual.tex:4494: Warning: Undefined label: 'sec:build:infer:direct'
./manual.tex:4495: Warning: Undefined label: 'sec:build:infer:indirect'
./manual.tex:4671: Warning: Undefined label: 'sec:positions'
./manual.tex:4679: Warning: Undefined label: 'sec:templates'
./manual.tex:4681: Warning: Undefined label: 'sec:actual'
./manual.tex:4682: Warning: Undefined label: 'sec:library'
./manual.tex:4685: Warning: Undefined label: 'fig:sugar'
./manual.tex:4690: Warning: Undefined label: 'sec:inline'
./manual.tex:4693: Warning: Undefined label: 'sec:conflicts'
./manual.tex:4697: Warning: Undefined label: 'sec:incremental'
./manual.tex:4703: Warning: Undefined label: 'sec:errors:new'
./manual.tex:4706: Warning: Undefined label: 'sec:coq'
./manual.tex:4708: Warning: Undefined label: 'sec:interpret'
./manual.tex:4711: Warning: Undefined label: 'sec:split'
./manual.tex:4722: Warning: Undefined label: 'sec:eos'
./manual.tex:4738: Warning: Undefined label: 'sec:positions'
./manual.tex:4740: Warning: Undefined label: 'sec:errors'
./manual.tex:4742: Warning: Undefined label: 'sec:errors'
./manual.tex:4747: Warning: Undefined label: 'sec:conflicts'
./manual.tex:4787: Warning: \vspace with arg '-\baselineskip'
./manual.tex:4798: Warning: Undefined label: 'sec:build'
./manual.tex:4819: Warning: Undefined label: 'sec:errors:new'
./manual.tex:4868: Warning: Undefined label: 'sec:errors:new'
./manual.tex:4897: Warning: Undefined label: 'sec:decls:headers'
./manual.tex:4909: Warning: Undefined label: 'sec:monolithic'
./manual.tex:4915: Warning: Undefined label: 'sec:incremental'
./manual.tex:4958: Warning: Undefined label: 'sec:positions'
./manual.tex:4962: Warning: Undefined citation: 'obelisk'
./manual.tex:4965: Warning: Undefined label: 'sec:library'
./manual.tex:4971: Warning: Undefined citation: 'knuth-lr-65'
./manual.tex:4974: Warning: Undefined citation: 'pager-77'
./manual.tex:4977: Warning: Undefined citation: 'bison'
./manual.tex:4980: Warning: Undefined citation: 'deremer-pennello-82'
./manual.tex:4984: Warning: Undefined citation: 'bhamidipaty-proebsting-98'
./manual.tex:4984: Warning: Undefined citation: 'horspool-faster-90'
./manual.tex:4989: Warning: Undefined citation: 'tarjan-yao-79'
./manual.tex:4992: Warning: Undefined citation: 'dencker-84'
./manual.tex:4995: Warning: Undefined citation: 'pottier-regis-gianas-typed-lr'
./manual.tex:5003: Warning: Undefined citation: 'jourdan-leroy-pottier-12'
./manual.tex:5004: Warning: Undefined citation: 'compcert'
./manual.tex:5006: Warning: Undefined citation: 'jourdan-pottier-17'
./manual.tex:5008: Warning: Undefined label: 'sec:errors:new'
./manual.tex:5009: Warning: Undefined citation: 'jeffery-03'
./manual.tex:5010: Warning: Undefined citation: 'pottier-reachability-cc-2016'
./manual.tex:5011: 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:539: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:549: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:564: Warning: ignoring \hspace or \hspace* with negative length
./manual.tex:4787: 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.25 (TeX Live 2023/Debian) (preloaded format=latex)
restricted \write18 enabled.
entering extended mode
(./manual.image.tex
LaTeX2e <2023-06-01>
L3 programming layer <2023-06-05>
(./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 2023/05/17 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-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/pgfkeyslibraryfiltered
.code.tex)) (/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/latex/graphics/mathcolor.ltx))
(/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/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/pgfmathcalc.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/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/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.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/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.
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) 2023.1 (TeX Live 2023) Copyright 2023 Radical Eye Software (www.radicaleye.com)
' TeX output 2023.09.21:1221' ->
</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]
sed -i.bak -e "s/cellpadding0/cellpadding1/" manual.html && rm manual.html.bak
make[2]: Leaving directory '/<<BUILDDIR>>/menhir-20230608+ds/doc'
make[1]: Leaving directory '/<<BUILDDIR>>/menhir-20230608+ds'
dh_auto_build -a -O--buildsystem=ocaml_dune
dune build -j 4 -p menhirLib,menhirSdk,menhir
(cd _build/default/lib/pack && ./pack.exe)
Creating menhirLib.ml...
Creating menhirLib.mli...
(cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
Read 101 sample input sentences and 101 error messages.
Read 101 sample input sentences and 48 error messages.
(cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
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.
The StackLang code contains 3973 instructions in 267 blocks.
The StackLang code comprises 5 mutually recursive groups.
(cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
Read 101 sample input sentences and 48 error messages.
dh_auto_test -a -O--buildsystem=ocaml_dune
dune runtest -j 4 -p menhirLib,menhirSdk,menhir
create-stamp debian/debhelper-build-stamp
dh_testroot -a -O--buildsystem=ocaml_dune
dh_prep -a -O--buildsystem=ocaml_dune
dh_installdirs -a -O--buildsystem=ocaml_dune
dh_auto_install -a -O--buildsystem=ocaml_dune
dune install --destdir=debian/tmp --prefix=/usr --libdir=/usr/lib/ocaml menhirLib menhirSdk menhir
dh_install -a -O--buildsystem=ocaml_dune
dh_ocamldoc -a -O--buildsystem=ocaml_dune
dh_installdocs -a -O--buildsystem=ocaml_dune
dh_installchangelogs -a -O--buildsystem=ocaml_dune
dh_installman -a -O--buildsystem=ocaml_dune
dh_installsystemduser -a -O--buildsystem=ocaml_dune
dh_perl -a -O--buildsystem=ocaml_dune
dh_link -a -O--buildsystem=ocaml_dune
dh_strip_nondeterminism -a -O--buildsystem=ocaml_dune
dh_compress -a -O--buildsystem=ocaml_dune
dh_fixperms -a -O--buildsystem=ocaml_dune
dh_missing -a -O--buildsystem=ocaml_dune
dh_dwz -a -O--buildsystem=ocaml_dune
dwz: debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs: DWARF compression not beneficial - old size 9708 new size 9708
dh_strip -a -O--buildsystem=ocaml_dune
dh_makeshlibs -a -O--buildsystem=ocaml_dune
dh_shlibdeps -a -O--buildsystem=ocaml_dune
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 -O--buildsystem=ocaml_dune
dh_ocaml -a -O--buildsystem=ocaml_dune
dh_gencontrol -a -O--buildsystem=ocaml_dune
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 -O--buildsystem=ocaml_dune
dh_builddeb -a -O--buildsystem=ocaml_dune
dpkg-deb: building package 'menhir' in '../menhir_20230608+ds-1_armhf.deb'.
dpkg-deb: building package 'menhir-dbgsym' in '../menhir-dbgsym_20230608+ds-1_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20230608+ds-1_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev-dbgsym' in '../libmenhir-ocaml-dev-dbgsym_20230608+ds-1_armhf.deb'.
dpkg-genbuildinfo --build=any -O../menhir_20230608+ds-1_armhf.buildinfo
dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> -O../menhir_20230608+ds-1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2023-09-21T12:25:01Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
menhir_20230608+ds-1_armhf.changes:
-----------------------------------
Format: 1.8
Date: Sun, 27 Aug 2023 06:34:07 +0200
Source: menhir
Binary: libmenhir-ocaml-dev libmenhir-ocaml-dev-dbgsym menhir menhir-dbgsym
Architecture: armhf
Version: 20230608+ds-1
Distribution: trixie-staging
Urgency: medium
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
libmenhir-ocaml-dev - Menhir library for OCaml
menhir - Parser generator for OCaml
Closes: 1046147
Changes:
menhir (20230608+ds-1) unstable; urgency=medium
.
[ Stéphane Glondu ]
* Team upload
* New upstream release
* Fix debian/watch
* Fix cleaning (Closes: #1046147)
.
[ Debian Janitor ]
* Remove constraints unnecessary since buster (oldstable):
+ Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.02.3~).
+ menhir-doc: Drop conflict with removed package menhir (<< 20170712-1) in
Replaces.
+ menhir-doc: Drop conflict with removed package menhir (<< 20170712-1) in
Breaks.
* Use secure URI in Homepage field.
Checksums-Sha1:
de6156ee5fc624ca4e4e8d1303b62cee6c25d387 19036 libmenhir-ocaml-dev-dbgsym_20230608+ds-1_armhf.deb
15e0b95ff26b29ebf6faba89137563880a795cd0 544228 libmenhir-ocaml-dev_20230608+ds-1_armhf.deb
7af8aa2345705ff868267c87b9fef86426d6ab03 371772 menhir-dbgsym_20230608+ds-1_armhf.deb
4ecff5fe853e8d3652b4e7a189a01b877eec4265 9779 menhir_20230608+ds-1_armhf.buildinfo
e198fb6e665532d74ba25e55fa0a641584c60265 1080612 menhir_20230608+ds-1_armhf.deb
Checksums-Sha256:
9b4895c51a79bf8da48fcb5ab7b9e95a471d052f5f1bbbc21253363199e9ec1b 19036 libmenhir-ocaml-dev-dbgsym_20230608+ds-1_armhf.deb
df150620c8d7b60b9f39f8f51cb3125b23e4fcab5f6370b514dbe5596f98f09c 544228 libmenhir-ocaml-dev_20230608+ds-1_armhf.deb
5166f5c85d8556388d69dcf96f8f5d712beb8ce4ce2115b0242f2f0433dc5d8a 371772 menhir-dbgsym_20230608+ds-1_armhf.deb
73ae7287e5ad248e15355944808e639479e0a9fd598551770ade058bd3a72b54 9779 menhir_20230608+ds-1_armhf.buildinfo
ad3c2bec8320a954abaa1e651fc9c3943ed484e4c8cd3043f29b57570e70deed 1080612 menhir_20230608+ds-1_armhf.deb
Files:
6cb588571adc0904c808a384c27f1fbc 19036 debug optional libmenhir-ocaml-dev-dbgsym_20230608+ds-1_armhf.deb
8d8590cec9b8d0cc2f05b9626d6c325e 544228 ocaml optional libmenhir-ocaml-dev_20230608+ds-1_armhf.deb
be9f90fcbdd5057eb39402217cfadbf0 371772 debug optional menhir-dbgsym_20230608+ds-1_armhf.deb
3b09c1a504d36dcc11f527f324588c44 9779 ocaml optional menhir_20230608+ds-1_armhf.buildinfo
d2f99b0d958582e8d225922b1625e9a4 1080612 ocaml optional menhir_20230608+ds-1_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
libmenhir-ocaml-dev-dbgsym_20230608+ds-1_armhf.deb
--------------------------------------------------
new Debian package, version 2.0.
size 19036 bytes: control archive=644 bytes.
447 bytes, 12 lines control
311 bytes, 3 lines md5sums
Package: libmenhir-ocaml-dev-dbgsym
Source: menhir
Version: 20230608+ds-1
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 68
Depends: libmenhir-ocaml-dev (= 20230608+ds-1)
Section: debug
Priority: optional
Description: debug symbols for libmenhir-ocaml-dev
Build-Ids: 462213893fb9011dd9f9f010fc441591f1dad3bf 4c1931cbc1f77eed86ba5d7c771d6bae0940f984
drwxr-xr-x root/root 0 2023-08-27 04:34 ./
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/debug/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/debug/.build-id/46/
-rw-r--r-- root/root 19656 2023-08-27 04:34 ./usr/lib/debug/.build-id/46/2213893fb9011dd9f9f010fc441591f1dad3bf.debug
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/debug/.build-id/4c/
-rw-r--r-- root/root 34356 2023-08-27 04:34 ./usr/lib/debug/.build-id/4c/1931cbc1f77eed86ba5d7c771d6bae0940f984.debug
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/debug/.dwz/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/debug/.dwz/arm-linux-gnueabihf/
-rw-r--r-- root/root 320 2023-08-27 04:34 ./usr/lib/debug/.dwz/arm-linux-gnueabihf/libmenhir-ocaml-dev.debug
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/doc/
lrwxrwxrwx root/root 0 2023-08-27 04:34 ./usr/share/doc/libmenhir-ocaml-dev-dbgsym -> libmenhir-ocaml-dev
libmenhir-ocaml-dev_20230608+ds-1_armhf.deb
-------------------------------------------
new Debian package, version 2.0.
size 544228 bytes: control archive=2116 bytes.
1042 bytes, 24 lines control
3918 bytes, 52 lines md5sums
Package: libmenhir-ocaml-dev
Source: menhir
Version: 20230608+ds-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 2373
Depends: libstdlib-ocaml-dev-ubr32, ocaml-4.13.1, libc6 (>= 2.4)
Suggests: ocaml-findlib
Provides: libmenhir-ocaml-dev-lrkl4
Section: ocaml
Priority: optional
Homepage: https://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 2023-08-27 04:34 ./
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/ocaml/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/ocaml/menhir/
-rw-r--r-- root/root 0 2023-08-27 04:34 ./usr/lib/ocaml/menhir/META
-rw-r--r-- root/root 303 2023-08-27 04:34 ./usr/lib/ocaml/menhir/dune-package
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/
-rw-r--r-- root/root 227 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/META
-rw-r--r-- root/root 860 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/dune-package
-rw-r--r-- root/root 137462 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/menhirLib.a
-rw-r--r-- root/root 258220 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/menhirLib.cma
-rw-r--r-- root/root 54882 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/menhirLib.cmi
-rw-r--r-- root/root 766188 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/menhirLib.cmt
-rw-r--r-- root/root 272708 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/menhirLib.cmti
-rw-r--r-- root/root 16308 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/menhirLib.cmx
-rw-r--r-- root/root 1119 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/menhirLib.cmxa
-rw-r--r-- root/root 108356 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/menhirLib.cmxs
-rw-r--r-- root/root 135333 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/menhirLib.ml
-rw-r--r-- root/root 71328 2023-08-27 04:34 ./usr/lib/ocaml/menhirLib/menhirLib.mli
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/
-rw-r--r-- root/root 239 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/META
-rw-r--r-- root/root 4893 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/cmly_api.ml
-rw-r--r-- root/root 3134 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/cmly_format.ml
-rw-r--r-- root/root 9128 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/cmly_read.ml
-rw-r--r-- root/root 1206 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/cmly_read.mli
-rw-r--r-- root/root 2247 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/dune-package
-rw-r--r-- root/root 3044 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/keyword.ml
-rw-r--r-- root/root 2969 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/keyword.mli
-rw-r--r-- root/root 62742 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk.a
-rw-r--r-- root/root 102645 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk.cma
-rw-r--r-- root/root 587 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmi
-rw-r--r-- root/root 4076 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmt
-rw-r--r-- root/root 217 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmx
-rw-r--r-- root/root 2578 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmxa
-rw-r--r-- root/root 46016 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
-rw-r--r-- root/root 410 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk.ml
-rw-r--r-- root/root 11774 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmi
-rw-r--r-- root/root 49630 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmt
-rw-r--r-- root/root 489 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmx
-rw-r--r-- root/root 5477 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmi
-rw-r--r-- root/root 24284 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmt
-rw-r--r-- root/root 353 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmx
-rw-r--r-- root/root 1129 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmi
-rw-r--r-- root/root 124966 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmt
-rw-r--r-- root/root 6414 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmti
-rw-r--r-- root/root 10299 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmx
-rw-r--r-- root/root 6891 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmi
-rw-r--r-- root/root 33806 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmt
-rw-r--r-- root/root 25620 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmti
-rw-r--r-- root/root 3662 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmx
-rw-r--r-- root/root 310 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmi
-rw-r--r-- root/root 2495 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmt
-rw-r--r-- root/root 250 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmx
-rw-r--r-- root/root 25 2023-08-27 04:34 ./usr/lib/ocaml/menhirSdk/version.ml
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/doc/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/doc/libmenhir-ocaml-dev/
-rw-r--r-- root/root 2206 2023-08-27 04:34 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root 1865 2023-08-27 04:34 ./usr/share/doc/libmenhir-ocaml-dev/copyright
drwxr-xr-x root/root 0 2023-08-27 04:34 ./var/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./var/lib/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./var/lib/ocaml/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root 308 2023-08-27 04:34 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
drwxr-xr-x root/root 0 2023-08-27 04:34 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root 1294 2023-08-27 04:34 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums
menhir-dbgsym_20230608+ds-1_armhf.deb
-------------------------------------
new Debian package, version 2.0.
size 371772 bytes: control archive=532 bytes.
369 bytes, 12 lines control
106 bytes, 1 lines md5sums
Package: menhir-dbgsym
Source: menhir
Version: 20230608+ds-1
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 1364
Depends: menhir (= 20230608+ds-1)
Section: debug
Priority: optional
Description: debug symbols for menhir
Build-Ids: a42584c5a4d3f33a3b390866d7f5ba3676afab2f
drwxr-xr-x root/root 0 2023-08-27 04:34 ./
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/debug/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/lib/debug/.build-id/a4/
-rw-r--r-- root/root 1386124 2023-08-27 04:34 ./usr/lib/debug/.build-id/a4/2584c5a4d3f33a3b390866d7f5ba3676afab2f.debug
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/doc/
lrwxrwxrwx root/root 0 2023-08-27 04:34 ./usr/share/doc/menhir-dbgsym -> menhir
menhir_20230608+ds-1_armhf.deb
------------------------------
new Debian package, version 2.0.
size 1080612 bytes: control archive=908 bytes.
868 bytes, 21 lines control
254 bytes, 4 lines md5sums
Package: menhir
Version: 20230608+ds-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 3643
Depends: libc6 (>= 2.35)
Suggests: menhir-doc
Section: ocaml
Priority: optional
Homepage: https://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 2023-08-27 04:34 ./
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/bin/
-rwxr-xr-x root/root 3712984 2023-08-27 04:34 ./usr/bin/menhir
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/doc/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/doc/menhir/
-rw-r--r-- root/root 2205 2023-08-27 04:34 ./usr/share/doc/menhir/changelog.Debian.gz
-rw-r--r-- root/root 1865 2023-08-27 04:34 ./usr/share/doc/menhir/copyright
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/man/
drwxr-xr-x root/root 0 2023-08-27 04:34 ./usr/share/man/man1/
-rw-r--r-- root/root 2247 2023-08-27 04:34 ./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: 78236
Build-Time: 348
Distribution: trixie-staging
Host Architecture: armhf
Install-Time: 2682
Job: menhir_20230608+ds-1
Machine Architecture: armhf
Package: menhir
Package-Time: 3086
Source-Version: 20230608+ds-1
Space: 78236
Status: successful
Version: 20230608+ds-1
--------------------------------------------------------------------------------
Finished at 2023-09-21T12:25:01Z
Build needed 00:51:26, 78236k disc space