Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/m/menhir/menhir_20220210+ds-2_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/menhir-20220210+ds-27098wx6i/menhir_20220210+ds-2_amd64.buildinfo Get source package info: menhir=20220210+ds-2 Source URL: http://snapshot.notset.fr/mr/package/menhir/20220210+ds-2/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.71-2 automake=1:1.16.5-1.3 autopoint=0.21-6 autotools-dev=20220109.1 base-files=12.2 base-passwd=3.5.52 bash=5.1-6+b1 binutils=2.38-4 binutils-common=2.38-4 binutils-x86-64-linux-gnu=2.38-4 bsdextrautils=2.38-4 bsdutils=1:2.38-4 build-essential=12.9 bzip2=1.0.8-5 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.3.0-1 dash=0.5.11+git20210903+057cd650a4ed-8 debconf=1.5.79 debhelper=13.7.1 debianutils=5.7-0.2 dh-autoreconf=20 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.13.0-1 diffutils=1:3.7-5 dpkg=1.21.7 dpkg-dev=1.21.7 dwz=0.14-1 file=1:5.41-4 findutils=4.9.0-3 fontconfig-config=2.13.1-4.4 fonts-lmodern=2.005-1 fonts-urw-base35=20200910-1 g++=4:11.2.0-2 g++-11=11.3.0-1 gcc=4:11.2.0-2 gcc-11=11.3.0-1 gcc-11-base=11.3.0-1 gcc-12-base=12.1.0-1 gettext=0.21-6 gettext-base=0.21-6 ghostscript=9.56.1~dfsg-1 grep=3.7-1 groff-base=1.22.4-8 gzip=1.12-1 hevea=2.35-1+b1 hicolor-icon-theme=0.17-2 hostname=3.23 imagemagick=8:6.9.11.60+dfsg-1.3+b2 imagemagick-6-common=8:6.9.11.60+dfsg-1.3 imagemagick-6.q16=8:6.9.11.60+dfsg-1.3+b2 init-system-helpers=1.62 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libaom3=3.3.0-1 libapache-pom-java=18-1 libarchive-zip-perl=1.68-1 libasan6=11.3.0-1 libatomic1=12.1.0-1 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libavahi-client3=0.8-5 libavahi-common-data=0.8-5 libavahi-common3=0.8-5 libbinutils=2.38-4 libblkid1=2.38-4 libbrotli1=1.0.9-2+b3 libbsd0=0.11.6-1 libbz2-1.0=1.0.8-5 libc-bin=2.33-7 libc-dev-bin=2.33-7 libc6=2.33-7 libc6-dev=2.33-7 libcairo2=1.16.0-5 libcap-ng0=0.7.9-2.2+b2 libcap2=1:2.44-1 libcc1-0=12.1.0-1 libcom-err2=1.46.5-2 libcommons-logging-java=1.2-3 libcommons-parent-java=43-1 libcrypt-dev=1:4.4.27-1.1 libcrypt1=1:4.4.27-1.1 libctf-nobfd0=2.38-4 libctf0=2.38-4 libcups2=2.4.1op1-2 libdav1d5=0.9.2-1+b1 libdb5.3=5.3.28+dfsg1-0.8 libdbus-1-3=1.14.0-1 libde265-0=1.0.8-1 libdebconfclient0=0.262 libdebhelper-perl=13.7.1 libdeflate0=1.10-2 libdpkg-perl=1.21.7 libelf1=0.187-1 libexpat1=2.4.8-1 libffi8=3.4.2-4 libfftw3-double3=3.3.8-2 libfile-stripnondeterminism-perl=1.13.0-1 libfontbox-java=1:1.8.16-2 libfontconfig1=2.13.1-4.4 libfreetype6=2.12.1+dfsg-1 libgcc-11-dev=11.3.0-1 libgcc-s1=12.1.0-1 libgcrypt20=1.10.1-2 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libglib2.0-0=2.72.1-1 libgmp10=2:6.2.1+dfsg-3 libgnutls30=3.7.4-2 libgomp1=12.1.0-1 libgpg-error0=1.45-2 libgraphite2-3=1.3.14-1 libgs9=9.56.1~dfsg-1 libgs9-common=9.56.1~dfsg-1 libgssapi-krb5-2=1.19.2-2+b1 libharfbuzz0b=2.7.4-1+b1 libheif1=1.12.0-2+b3 libhogweed6=3.7.3-1 libice6=2:1.0.10-1 libicu71=71.1-3 libidn12=1.38-4 libidn2-0=2.3.2-2 libijs-0.35=0.35-15 libisl23=0.24-2 libitm1=12.1.0-1 libjbig0=2.1-3.1+b2 libjbig2dec0=0.19-3 libjpeg62-turbo=1:2.1.2-1 libk5crypto3=1.19.2-2+b1 libkeyutils1=1.6.1-3 libkpathsea6=2021.20210626.59705-1+b1 libkrb5-3=1.19.2-2+b1 libkrb5support0=1.19.2-2+b1 liblcms2-2=2.12~rc1-2 liblqr-1-0=0.4.2-2.1 liblsan0=12.1.0-1 libltdl7=2.4.7-4 liblz4-1=1.9.3-2 liblzma5=5.2.5-2.1 libmagic-mgc=1:5.41-4 libmagic1=1:5.41-4 libmagickcore-6.q16-6=8:6.9.11.60+dfsg-1.3+b2 libmagickwand-6.q16-6=8:6.9.11.60+dfsg-1.3+b2 libmd0=1.0.4-1 libmount1=2.38-4 libmpc3=1.2.1-2 libmpdec3=2.5.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.3+20220423-2 libncurses5-dev=6.3+20220423-2 libncurses6=6.3+20220423-2 libncursesw6=6.3+20220423-2 libnetpbm11=2:10.97.00-2 libnettle8=3.7.3-1 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libnuma1=2.0.14-3 libopenjp2-7=2.4.0-6 libp11-kit0=0.24.1-1 libpam-modules=1.4.0-13 libpam-modules-bin=1.4.0-13 libpam-runtime=1.4.0-13 libpam0g=1.4.0-13 libpaper-utils=1.1.28+b1 libpaper1=1.1.28+b1 libpcre2-8-0=10.40-1 libpcre3=2:8.39-14 libpdfbox-java=1:1.8.16-2 libperl5.34=5.34.0-4 libpipeline1=1.5.6-1 libpixman-1-0=0.40.0-1 libpng16-16=1.6.37-5 libptexenc1=2021.20210626.59705-1+b1 libpython3-stdlib=3.10.4-1+b1 libpython3.10-minimal=3.10.4-3 libpython3.10-stdlib=3.10.4-3 libquadmath0=12.1.0-1 libreadline8=8.1.2-1.2 libseccomp2=2.5.4-1 libselinux1=3.3-1+b2 libsigsegv2=2.14-1 libsm6=2:1.2.3-1 libsmartcols1=2.38-4 libsqlite3-0=3.38.5-1 libssl1.1=1.1.1o-1 libstdc++-11-dev=11.3.0-1 libstdc++6=12.1.0-1 libsub-override-perl=0.09-2 libsynctex2=2021.20210626.59705-1+b1 libsystemd0=250.4-1 libtasn1-6=4.18.0-4 libteckit0=2.5.11+ds1-1 libtexlua53=2021.20210626.59705-1+b1 libtexluajit2=2021.20210626.59705-1+b1 libtiff5=4.3.0-7 libtinfo6=6.3+20220423-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.7-4 libtsan0=11.3.0-1 libubsan1=12.1.0-1 libuchardet0=0.0.7-1 libudev1=250.4-1 libunistring2=1.0-1 libuuid1=2.38-4 libwebp7=1.2.2-2+b1 libwebpdemux2=1.2.2-2+b1 libwebpmux3=1.2.2-2+b1 libx11-6=2:1.7.5-1 libx11-data=2:1.7.5-1 libx265-199=3.5-2 libxau6=1:1.0.9-1 libxaw7=2:1.0.14-1 libxcb-render0=1.14-3 libxcb-shm0=1.14-3 libxcb1=1.14-3 libxdmcp6=1:1.1.2-3 libxext6=2:1.3.4-1 libxi6=2:1.8-1 libxml2=2.9.14+dfsg-1 libxmu6=2:1.1.3-3 libxpm4=1:3.5.12-1 libxrender1=1:0.9.10-1 libxt6=1:1.2.1-1 libzstd1=1.5.2+dfsg-1 libzzip-0-13=0.13.72+dfsg.1-1.1 linux-libc-dev=5.17.3-1 login=1:4.11.1+dfsg1-2 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4.1 man-db=2.10.2-1 mawk=1.3.4.20200120-3+b1 media-types=7.1.0 ncurses-base=6.3+20220423-2 ncurses-bin=6.3+20220423-2 netpbm=2:10.97.00-2 ocaml=4.13.1-3 ocaml-base=4.13.1-3 ocaml-compiler-libs=4.13.1-3 ocaml-dune=2.9.1-1+b1 ocaml-interp=4.13.1-3 ocaml-nox=4.13.1-3 patch=2.7.6-7 perl=5.34.0-4 perl-base=5.34.0-4 perl-modules-5.34=5.34.0-4 po-debconf=1.0.21+nmu1 poppler-data=0.4.11-1 preview-latex-style=12.2-1 python3=3.10.4-1+b1 python3-minimal=3.10.4-1+b1 python3.10=3.10.4-3 python3.10-minimal=3.10.4-3 readline-common=8.1.2-1.2 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=3.03-1 t1utils=1.41-4 tar=1.34+dfsg-1 tex-common=6.17 texlive-base=2021.20220204-1 texlive-binaries=2021.20210626.59705-1+b1 texlive-fonts-recommended=2021.20220204-1 texlive-latex-base=2021.20220204-1 texlive-latex-extra=2021.20220204-1 texlive-latex-recommended=2021.20220204-1 texlive-pictures=2021.20220204-1 ucf=3.0043 util-linux=2.38-4 util-linux-extra=2.38-4 x11-common=1:7.7+23 xdg-utils=1.1.3-4.1 xz-utils=5.2.5-2.1 zlib1g=1:1.2.11.dfsg-4 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220513T212807Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220513T212807Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220516T154358Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220511T204932Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d menhir=20220210+ds-2 && mkdir -p /build/menhir-hV5C9O && dpkg-source --no-check -x /*.dsc /build/menhir-hV5C9O/menhir-20220210+ds && chown -R builduser:builduser /build/menhir-hV5C9O" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/menhir-hV5C9O/menhir-20220210+ds && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1652442441" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/menhir-hV5C9O /tmp/menhir-20220210+ds-27098wx6i bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220511T204932Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: null I: using /tmp/mmdebstrap.dbSjTSlMb1 as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.dbSjTSlMb1 Reading package lists... Building dependency tree... util-linux is already the newest version (2.38-4). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 135 kB of archives. After this operation, 406 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220511T204932Z unstable/main amd64 libfakeroot amd64 1.28-1 [48.2 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220511T204932Z unstable/main amd64 fakeroot amd64 1.28-1 [87.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 135 kB in 0s (1041 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4628 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.28-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.28-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.28-1_amd64.deb ... Unpacking fakeroot (1.28-1) ... Setting up libfakeroot:amd64 (1.28-1) ... Setting up fakeroot (1.28-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-7) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220513T212807Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220513T212807Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220516T154358Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220511T204932Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.dbSjTSlMb1 Get:1 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable InRelease [165 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220516T154358Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20220511T204932Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable/main Sources [12.9 MB] Get:5 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable/main amd64 Packages [12.4 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20220516T154358Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20220516T154358Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20220516T154358Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220516T154358Z unstable/main amd64 Packages [12.4 MB] Fetched 38.1 MB in 31s (1231 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.dbSjTSlMb1 I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d menhir=20220210+ds-2 && mkdir -p /build/menhir-hV5C9O && dpkg-source --no-check -x /*.dsc /build/menhir-hV5C9O/menhir-20220210+ds && chown -R builduser:builduser /build/menhir-hV5C9O"' exec /tmp/mmdebstrap.dbSjTSlMb1 Reading package lists... NOTICE: 'menhir' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/menhir.git Please use: git clone https://salsa.debian.org/ocaml-team/menhir.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 550 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable/main menhir 20220210+ds-2 (dsc) [2321 B] Get:2 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable/main menhir 20220210+ds-2 (tar) [534 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220513T212807Z unstable/main menhir 20220210+ds-2 (diff) [13.3 kB] Fetched 550 kB in 0s (1107 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'menhir_20220210+ds-2.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting menhir in /build/menhir-hV5C9O/menhir-20220210+ds dpkg-source: info: unpacking menhir_20220210+ds.orig.tar.xz dpkg-source: info: unpacking menhir_20220210+ds-2.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying menhirLib I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/menhir-hV5C9O/menhir-20220210+ds && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1652442441" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.dbSjTSlMb1 dpkg-buildpackage: info: source package menhir dpkg-buildpackage: info: source version 20220210+ds-2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/menhir-hV5C9O/menhir-20220210+ds' dune clean make[1]: Leaving directory '/build/menhir-hV5C9O/menhir-20220210+ds' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a debian/rules override_dh_auto_build make[1]: Entering directory '/build/menhir-hV5C9O/menhir-20220210+ds' make -C doc make[2]: Entering directory '/build/menhir-hV5C9O/menhir-20220210+ds/doc' pdflatex manual This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2021-11-15> patch level 1 L3 programming layer <2022-01-21> (./sigplanconf.cls Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de f))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./version.tex) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file manual.aux. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/var/lib/texmf/font s/map/pdftex/updmap/pdftex.map}] [2] LaTeX Warning: Citation `knuth-lr-65' on page 3 undefined on input line 58. (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) LaTeX Warning: Citation `johnson-yacc-79' on page 3 undefined on input line 59. LaTeX Warning: Citation `tarditi-appel-00' on page 3 undefined on input line 59 . LaTeX Warning: Citation `ocaml' on page 3 undefined on input line 60. LaTeX Warning: Citation `aho-86' on page 3 undefined on input line 66. LaTeX Warning: Citation `appel-tiger-98' on page 3 undefined on input line 66. LaTeX Warning: Citation `hopcroft-motwani-ullman-00' on page 3 undefined on inp ut line 66. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) LaTeX Warning: Reference `sec:errors' on page 3 undefined on input line 108. LaTeX Warning: Reference `sec:split' on page 3 undefined on input line 123. LaTeX Warning: Reference `sec:sdk' on page 3 undefined on input line 139. LaTeX Warning: Reference `sec:errors:new' on page 3 undefined on input line 151 . [3] LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 158 . LaTeX Warning: Reference `sec:coq' on page 4 undefined on input line 160. LaTeX Warning: Reference `sec:coq' on page 4 undefined on input line 182. LaTeX Warning: Reference `sec:conflicts:benign' on page 4 undefined on input li ne 184. LaTeX Warning: Reference `sec:build' on page 4 undefined on input line 192. LaTeX Warning: Reference `sec:conflicts' on page 4 undefined on input line 197. LaTeX Warning: Reference `sec:onerrorreduce' on page 4 undefined on input line 198. LaTeX Warning: Reference `sec:conflicts' on page 4 undefined on input line 203. LaTeX Warning: Reference `sec:onerrorreduce' on page 4 undefined on input line 204. LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 209 . LaTeX Warning: Reference `sec:tokens' on page 4 undefined on input line 216. LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 222 . LaTeX Warning: Reference `sec:conflicts' on page 4 undefined on input line 228. [4] LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 250. LaTeX Warning: Reference `sec:monolithic' on page 5 undefined on input line 253 . LaTeX Warning: Reference `sec:incremental' on page 5 undefined on input line 25 4. LaTeX Warning: Reference `sec:inspection' on page 5 undefined on input line 254 . LaTeX Warning: Reference `sec:interpret' on page 5 undefined on input line 262. LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 267 . LaTeX Warning: Reference `sec:interpret' on page 5 undefined on input line 271. LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 275 . LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 294 . LaTeX Warning: Reference `sec:library' on page 5 undefined on input line 304. LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 306. LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 308. [5] LaTeX Warning: Reference `sec:split' on page 6 undefined on input line 313. LaTeX Warning: Reference `sec:templates' on page 6 undefined on input line 314. LaTeX Warning: Reference `sec:inline' on page 6 undefined on input line 316. LaTeX Warning: Reference `sec:tokens' on page 6 undefined on input line 360. LaTeX Warning: Reference `sec:build' on page 6 undefined on input line 363. LaTeX Warning: Reference `sec:tokens' on page 6 undefined on input line 366. LaTeX Warning: Reference `sec:errors' on page 6 undefined on input line 380. LaTeX Warning: Reference `sec:build' on page 6 undefined on input line 389. LaTeX Warning: Reference `sec:qa' on page 6 undefined on input line 394. [6] LaTeX Warning: Reference `sec:incremental' on page 7 undefined on input line 40 7. LaTeX Warning: Reference `sec:inspection' on page 7 undefined on input line 408 . LaTeX Warning: Reference `sec:errors:new' on page 7 undefined on input line 436 . LaTeX Warning: Reference `sec:decls' on page 7 undefined on input line 446. LaTeX Warning: Reference `sec:old:rules' on page 7 undefined on input line 448. LaTeX Warning: Reference `sec:producers' on page 7 undefined on input line 450. LaTeX Warning: Reference `sec:new:rules' on page 7 undefined on input line 452. LaTeX Warning: Reference `sec:tokens' on page 7 undefined on input line 467. [7] LaTeX Warning: Reference `fig:syntax' on page 8 undefined on input line 585. LaTeX Warning: Reference `sec:attributes' on page 8 undefined on input line 587 . LaTeX Warning: Reference `sec:decls' on page 8 undefined on input line 593. LaTeX Warning: Reference `sec:old:rules' on page 8 undefined on input line 604. LaTeX Warning: Reference `sec:new:rules' on page 8 undefined on input line 605. Underfull \vbox (badness 1472) has occurred while \output is active [8] [9] LaTeX Warning: Reference `sec:conflicts' on page 10 undefined on input line 739 . LaTeX Warning: Reference `sec:decls:headers' on page 10 undefined on input line 759. LaTeX Warning: Reference `sec:attributes' on page 10 undefined on input line 78 8. [10] LaTeX Warning: Reference `sec:errors:diagnostics' on page 11 undefined on input line 831. LaTeX Warning: Reference `sec:productiongroups' on page 11 undefined on input l ine 857. LaTeX Warning: Reference `sec:split' on page 11 undefined on input line 861. LaTeX Warning: Reference `sec:inline' on page 11 undefined on input line 861. LaTeX Warning: Reference `sec:templates' on page 11 undefined on input line 863 . LaTeX Warning: Reference `sec:productions' on page 11 undefined on input line 8 68. LaTeX Warning: Reference `sec:actions' on page 11 undefined on input line 869. LaTeX Warning: Reference `sec:prec' on page 11 undefined on input line 870. LaTeX Warning: Reference `sec:assoc' on page 11 undefined on input line 896. LaTeX Warning: Reference `sec:conflicts' on page 11 undefined on input line 903 . [11] LaTeX Warning: Reference `sec:producers' on page 12 undefined on input line 917 . LaTeX Warning: Reference `sec:prec' on page 12 undefined on input line 918. LaTeX Warning: Reference `sec:actual' on page 12 undefined on input line 926. LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 939 . LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 943 . LaTeX Warning: Reference `fig:sugar' on page 12 undefined on input line 944. LaTeX Warning: Reference `sec:inline' on page 12 undefined on input line 989. LaTeX Warning: Reference `sec:split' on page 12 undefined on input line 992. LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 994 . LaTeX Warning: Reference `fig:syntax' on page 12 undefined on input line 996. [12] LaTeX Warning: Reference `sec:templates' on page 13 undefined on input line 104 1. LaTeX Warning: Reference `fig:sugar' on page 13 undefined on input line 1041. Excluding 'comment' comment. LaTeX Warning: Reference `fig:syntax' on page 13 undefined on input line 1088. LaTeX Warning: Reference `sec:library' on page 13 undefined on input line 1103. LaTeX Warning: Reference `fig:standard' on page 13 undefined on input line 1103 . LaTeX Warning: Reference `sec:actual' on page 13 undefined on input line 1111. LaTeX Warning: Reference `sec:library' on page 13 undefined on input line 1117. LaTeX Warning: Reference `sec:library' on page 13 undefined on input line 1150. LaTeX Warning: Reference `sec:inline' on page 13 undefined on input line 1164. [13] LaTeX Warning: Reference `sec:templates' on page 14 undefined on input line 118 7. LaTeX Warning: Reference `sec:library' on page 14 undefined on input line 1194. LaTeX Warning: Reference `sec:library' on page 14 undefined on input line 1251. [14] LaTeX Warning: Reference `sec:library' on page 15 undefined on input line 1324. LaTeX Warning: Reference `sec:library' on page 15 undefined on input line 1355. LaTeX Warning: Reference `fig:sugar' on page 15 undefined on input line 1356. [15] [16] LaTeX Warning: Reference `sec:positions' on page 17 undefined on input line 149 0. Underfull \hbox (badness 3635) in paragraph at lines 1543--1544 []\T1/ptm/m/n/10.95 a nonempty se-quence of \T1/ptm/m/it/10.95 X\T1/ptm/m/n/10. 95 's LaTeX Warning: Reference `sec:split' on page 17 undefined on input line 1569. LaTeX Warning: Reference `sec:templates' on page 17 undefined on input line 157 0. LaTeX Warning: Reference `sec:inline' on page 17 undefined on input line 1570. LaTeX Warning: Reference `fig:standard' on page 17 undefined on input line 1575 . LaTeX Warning: Reference `fig:sugar' on page 17 undefined on input line 1576. LaTeX Warning: Reference `fig:standard' on page 17 undefined on input line 1607 . LaTeX Warning: Reference `sec:actual' on page 17 undefined on input line 1610. LaTeX Warning: Reference `sec:actual' on page 17 undefined on input line 1635. LaTeX Warning: Reference `sec:inline' on page 17 undefined on input line 1636. [17] LaTeX Warning: Reference `sec:actual' on page 18 undefined on input line 1667. LaTeX Warning: Reference `sec:inline' on page 18 undefined on input line 1668. [18] LaTeX Warning: Reference `sec:assoc' on page 19 undefined on input line 1701. LaTeX Warning: Reference `sec:prec' on page 19 undefined on input line 1701. LaTeX Warning: Reference `multiway' on page 19 undefined on input line 1727. LaTeX Warning: Reference `fig:basicshiftreduce' on page 19 undefined on input l ine 1767. [19] LaTeX Warning: Reference `fig:shifting:tree' on page 20 undefined on input line 1860. LaTeX Warning: Reference `fig:shifting:tree' on page 20 undefined on input line 1865. LaTeX Warning: Reference `fig:shifting:text' on page 20 undefined on input line 1865. [20] LaTeX Warning: Reference `fig:shifting:text' on page 21 undefined on input line 1876. LaTeX Warning: Reference `fig:reducing:tree' on page 21 undefined on input line 1919. LaTeX Warning: Reference `fig:reducing:tree' on page 21 undefined on input line 1924. LaTeX Warning: Reference `fig:reducing:text' on page 21 undefined on input line 1924. LaTeX Warning: Reference `fig:reducing:text' on page 21 undefined on input line 1928. LaTeX Warning: Reference `fig:xreducing:tree' on page 21 undefined on input lin e 1941. LaTeX Warning: Reference `fig:xreducing:text' on page 21 undefined on input lin e 1941. Missing character: There is no ] in font nullfont! LaTeX Warning: Reference `fig:xreducing:tree' on page 21 undefined on input lin e 1996. LaTeX Warning: Reference `fig:xreducing:text' on page 21 undefined on input lin e 2004. [21] LaTeX Warning: Reference `fig:xreducing:tree' on page 22 undefined on input lin e 2019. LaTeX Warning: Reference `fig:xreducing:text' on page 22 undefined on input lin e 2020. Underfull \vbox (badness 1661) has occurred while \output is active [22] [23] LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2205 . LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2222 . LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2234 . LaTeX Warning: Reference `fig:basiceosdump' on page 24 undefined on input line 2239. LaTeX Warning: Reference `fig:basiceos:sol' on page 24 undefined on input line 2263. [24] [25] LaTeX Warning: Reference `fig:pos' on page 26 undefined on input line 2350. Underfull \vbox (badness 2582) has occurred while \output is active [26] LaTeX Warning: Reference `fig:pos:mapping' on page 27 undefined on input line 2 414. LaTeX Warning: Reference `fig:pos:mapping' on page 27 undefined on input line 2 419. LaTeX Warning: Reference `sec:inline' on page 27 undefined on input line 2425. [27] LaTeX Warning: Reference `sec:sentences' on page 28 undefined on input line 252 3. Underfull \vbox (badness 10000) has occurred while \output is active [28] LaTeX Warning: Reference `sec:qa' on page 29 undefined on input line 2630. Underfull \vbox (badness 1430) has occurred while \output is active [29] LaTeX Warning: Reference `sec:incremental' on page 30 undefined on input line 2 687. LaTeX Warning: Reference `sec:inspection' on page 30 undefined on input line 26 87. LaTeX Warning: Reference `sec:incremental:driving' on page 30 undefined on inpu t line 2710. LaTeX Warning: Reference `sec:incremental:inspecting' on page 30 undefined on i nput line 2711. LaTeX Warning: Reference `sec:incremental:updating' on page 30 undefined on inp ut line 2711. [30] LaTeX Warning: Reference `sec:errors' on page 31 undefined on input line 2820. [31] LaTeX Warning: Reference `sec:errors' on page 32 undefined on input line 2875. [32] LaTeX Warning: Reference `sec:inspection' on page 33 undefined on input line 30 31. [33] LaTeX Warning: Reference `sec:incremental:updating' on page 34 undefined on inp ut line 3096. LaTeX Warning: Reference `sec:incremental:inspecting' on page 34 undefined on i nput line 3132. LaTeX Warning: Reference `sec:inspection' on page 34 undefined on input line 31 44. [34] LaTeX Warning: Reference `sec:errors:new' on page 35 undefined on input line 31 92. [35] [36] LaTeX Warning: Reference `sec:errors:new' on page 37 undefined on input line 33 95. [37] LaTeX Warning: Reference `sec:incremental' on page 38 undefined on input line 3 465. LaTeX Warning: Reference `sec:errors' on page 38 undefined on input line 3470. LaTeX Warning: Citation `jeffery-03' on page 38 undefined on input line 3478. LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 38 undefined on input line 3479. LaTeX Warning: Reference `sec:messages:format' on page 38 undefined on input li ne 3493. LaTeX Warning: Reference `sec:messages:tools' on page 38 undefined on input lin e 3495. LaTeX Warning: Reference `sec:errors:diagnostics' on page 38 undefined on input line 3497. LaTeX Warning: Reference `sec:errors:example' on page 38 undefined on input lin e 3498. LaTeX Warning: Citation `knuth-lr-65' on page 38 undefined on input line 3504. LaTeX Warning: Citation `pager-77' on page 38 undefined on input line 3505. LaTeX Warning: Reference `sec:errors:diagnostics' on page 38 undefined on input line 3511. LaTeX Warning: Reference `sec:sentences' on page 38 undefined on input line 352 6. LaTeX Warning: Reference `fig:messages:entry' on page 38 undefined on input lin e 3593. [38] [39] LaTeX Warning: Reference `sec:messages:merge' on page 40 undefined on input lin e 3602. LaTeX Warning: Reference `sec:messages:tools' on page 40 undefined on input lin e 3616. LaTeX Warning: Reference `fig:messages:entry:decorated' on page 40 undefined on input line 3624. LaTeX Warning: Reference `sec:errors:diagnostics' on page 40 undefined on input line 3650. [40] [41] LaTeX Warning: Reference `fig:declarations' on page 42 undefined on input line 3842. LaTeX Warning: Reference `sec:messages:format' on page 42 undefined on input li ne 3848. LaTeX Warning: Reference `fig:declarations' on page 42 undefined on input line 3854. LaTeX Warning: Reference `fig:declarations:over' on page 42 undefined on input line 3866. [42] LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input line 3869. LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input line 3873. LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input line 3883. LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input line 3896. LaTeX Warning: Reference `fig:declarations:over' on page 43 undefined on input line 3902. LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 43 undefined on input line 3925. LaTeX Warning: Reference `fig:declarations:phantom' on page 43 undefined on inp ut line 3947. LaTeX Warning: Reference `fig:declarations' on page 43 undefined on input line 3951. [43] LaTeX Warning: Reference `sec:onerrorreduce' on page 44 undefined on input line 3967. LaTeX Warning: Reference `fig:declarations:over' on page 44 undefined on input line 3968. LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 44 undefined on input line 3975. LaTeX Warning: Reference `fig:declarations' on page 44 undefined on input line 3977. [44] LaTeX Warning: Reference `fig:declarations' on page 45 undefined on input line 3992. LaTeX Warning: Reference `fig:declarations:over' on page 45 undefined on input line 3994. LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 45 undefined on input line 3995. LaTeX Warning: Reference `fig:declarations:under' on page 45 undefined on input line 3997. LaTeX Warning: Reference `fig:declarations:under' on page 45 undefined on input line 4011. Underfull \vbox (badness 6380) has occurred while \output is active [45] LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 46 undefined on inpu t line 4095. LaTeX Warning: Citation `compcert' on page 46 undefined on input line 4097. LaTeX Warning: Reference `sec:errors' on page 46 undefined on input line 4115. LaTeX Warning: Reference `fig:pos' on page 46 undefined on input line 4118. LaTeX Warning: Reference `sec:parameter' on page 46 undefined on input line 411 9. LaTeX Warning: Reference `sec:inline' on page 46 undefined on input line 4120. LaTeX Warning: Reference `sec:library' on page 46 undefined on input line 4121. LaTeX Warning: Reference `sec:type' on page 46 undefined on input line 4126. LaTeX Warning: Reference `sec:start' on page 46 undefined on input line 4126. LaTeX Warning: Reference `sec:conflicts:benign' on page 46 undefined on input l ine 4129. LaTeX Warning: Reference `sec:assoc' on page 46 undefined on input line 4131. LaTeX Warning: Citation `compcert' on page 46 undefined on input line 4167. [46] LaTeX Warning: Reference `sec:coq:errmsg' on page 47 undefined on input line 41 98. LaTeX Warning: Citation `compcert' on page 47 undefined on input line 4263. LaTeX Warning: Citation `compcert-github' on page 47 undefined on input line 42 63. LaTeX Warning: Reference `sec:errors:example' on page 47 undefined on input lin e 4271. LaTeX Warning: Reference `sec:messages:format' on page 47 undefined on input li ne 4283. LaTeX Warning: Reference `sec:messages:tools' on page 47 undefined on input lin e 4284. [47] LaTeX Warning: Citation `klint-laemmel-verhoef-05' on page 48 undefined on inpu t line 4303. LaTeX Warning: Reference `sec:sdk' on page 48 undefined on input line 4309. LaTeX Warning: Reference `sec:attributes' on page 48 undefined on input line 43 16. LaTeX Warning: Reference `sec:decls' on page 48 undefined on input line 4371. [48] LaTeX Warning: Reference `sec:producers' on page 49 undefined on input line 440 2. LaTeX Warning: Reference `sec:decls' on page 49 undefined on input line 4418. LaTeX Warning: Reference `sec:build:infer' on page 49 undefined on input line 4 451. LaTeX Warning: Reference `sec:build:flags' on page 49 undefined on input line 4 451. LaTeX Warning: Reference `sec:dune' on page 49 undefined on input line 4457. LaTeX Warning: Reference `sec:build:infer:none' on page 49 undefined on input l ine 4471. LaTeX Warning: Reference `sec:build:infer:direct' on page 49 undefined on input line 4474. LaTeX Warning: Reference `sec:build:infer:indirect' on page 49 undefined on inp ut line 4477. [49] LaTeX Warning: Reference `sec:build:infer:direct' on page 50 undefined on input line 4486. LaTeX Warning: Reference `sec:build:infer:indirect' on page 50 undefined on inp ut line 4487. [50] LaTeX Warning: Reference `sec:positions' on page 51 undefined on input line 466 3. LaTeX Warning: Reference `sec:templates' on page 51 undefined on input line 467 1. LaTeX Warning: Reference `sec:actual' on page 51 undefined on input line 4673. LaTeX Warning: Reference `sec:library' on page 51 undefined on input line 4674. LaTeX Warning: Reference `fig:sugar' on page 51 undefined on input line 4677. [51] LaTeX Warning: Reference `sec:inline' on page 52 undefined on input line 4682. LaTeX Warning: Reference `sec:conflicts' on page 52 undefined on input line 468 5. LaTeX Warning: Reference `sec:incremental' on page 52 undefined on input line 4 689. LaTeX Warning: Reference `sec:errors:new' on page 52 undefined on input line 46 95. LaTeX Warning: Reference `sec:coq' on page 52 undefined on input line 4698. LaTeX Warning: Reference `sec:interpret' on page 52 undefined on input line 470 0. LaTeX Warning: Reference `sec:split' on page 52 undefined on input line 4703. LaTeX Warning: Reference `sec:eos' on page 52 undefined on input line 4714. LaTeX Warning: Reference `sec:positions' on page 52 undefined on input line 473 0. LaTeX Warning: Reference `sec:errors' on page 52 undefined on input line 4732. LaTeX Warning: Reference `sec:errors' on page 52 undefined on input line 4734. LaTeX Warning: Reference `sec:conflicts' on page 52 undefined on input line 473 9. Underfull \vbox (badness 10000) has occurred while \output is active [52] LaTeX Warning: Reference `sec:build' on page 53 undefined on input line 4790. LaTeX Warning: Reference `sec:errors:new' on page 53 undefined on input line 48 11. Overfull \hbox (52.85591pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir " []\T1/ ptm/m/n/10.95 to \T1/cmtt/m/n/10.95 ocamlbuild\T1/ptm/m/n/10.95 . To use Men-hi r's ta-ble back-end, pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir --table" Overfull \hbox (5.95137pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 the [][]\T1/cmtt/m/n/10.95 _tags []\T1/ptm/m/n/10.95 file. To com-bine mul-ti-ple \T1/cmtt/m/n/10.95 .mly \T1/ptm/m/n/10.95 files, say [][]\ T1/cmtt/m/n/10.95 a.mly []\T1/ptm/m/n/10.95 and [][]\T1/cmtt/m/n/10.95 b.mly[]\ T1/ptm/m/n/10.95 , into a sin-gle parser, say [][]\T1/cmtt/m/n/10.95 parser.{ml ,mli}[]\T1/ptm/m/n/10.95 , Overfull \hbox (2.62502pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 cre-ate a file named [][]\T1/cmtt/m/n/10.95 parser.mlypack [] \T1/ptm/m/n/10.95 that con-tains the mod-ule names [][]\T1/cmtt/m/n/10.95 A B[] \T1/ptm/m/n/10.95 . See the di-rec-tory [][]\T1/cmtt/m/n/10.95 demos/ocamlbuild [][] Overfull \hbox (54.26547pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 for ex-am-ples. To deal with [] files (Ÿ[]), use the rules pr o-vided in the file [][]\T1/cmtt/m/n/10.95 demos/ocamlbuild/myocamlbuild.ml[][] \T1/ptm/m/n/10.95 . LaTeX Warning: Reference `sec:errors:new' on page 53 undefined on input line 48 60. LaTeX Warning: Reference `sec:decls:headers' on page 53 undefined on input line 4889. [53] LaTeX Warning: Reference `sec:monolithic' on page 54 undefined on input line 49 01. LaTeX Warning: Reference `sec:incremental' on page 54 undefined on input line 4 907. LaTeX Warning: Reference `sec:positions' on page 54 undefined on input line 495 0. LaTeX Warning: Citation `obelisk' on page 54 undefined on input line 4954. LaTeX Warning: Reference `sec:library' on page 54 undefined on input line 4957. LaTeX Warning: Citation `knuth-lr-65' on page 54 undefined on input line 4963. LaTeX Warning: Citation `pager-77' on page 54 undefined on input line 4966. LaTeX Warning: Citation `bison' on page 54 undefined on input line 4969. [54] LaTeX Warning: Citation `deremer-pennello-82' on page 55 undefined on input lin e 4972. LaTeX Warning: Citation `bhamidipaty-proebsting-98' on page 55 undefined on inp ut line 4976. LaTeX Warning: Citation `horspool-faster-90' on page 55 undefined on input line 4976. LaTeX Warning: Citation `tarjan-yao-79' on page 55 undefined on input line 4981 . LaTeX Warning: Citation `dencker-84' on page 55 undefined on input line 4984. LaTeX Warning: Citation `pottier-regis-gianas-typed-lr' on page 55 undefined on input line 4987. LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 55 undefined on inpu t line 4995. LaTeX Warning: Citation `compcert' on page 55 undefined on input line 4996. LaTeX Warning: Citation `jourdan-pottier-17' on page 55 undefined on input line 4998. LaTeX Warning: Reference `sec:errors:new' on page 55 undefined on input line 50 00. LaTeX Warning: Citation `jeffery-03' on page 55 undefined on input line 5001. LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 55 undefined on input line 5002. LaTeX Warning: Citation `bour-pottier-21' on page 55 undefined on input line 50 03. No file manual.bbl. [55] (./manual.aux) kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ectt1200 mkdir: cannot create directory ‘././nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ectt1200 This is METAFONT, Version 2.71828182 (TeX Live 2022/dev/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) kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecsx0900 mkdir: cannot create directory ‘././nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecsx0900 This is METAFONT, Version 2.71828182 (TeX Live 2022/dev/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. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ectt0900 mkdir: cannot create directory ‘././nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ectt0900 This is METAFONT, Version 2.71828182 (TeX Live 2022/dev/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. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecsx1000 mkdir: cannot create directory ‘././nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecsx1000 This is METAFONT, Version 2.71828182 (TeX Live 2022/dev/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. {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/ 8r.enc} kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecsx1095 mkdir: cannot create directory ‘././nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecsx1095 This is METAFONT, Version 2.71828182 (TeX Live 2022/dev/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. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ectt1095 mkdir: cannot create directory ‘././nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ectt1095 This is METAFONT, Version 2.71828182 (TeX Live 2022/dev/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. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecss1095 mkdir: cannot create directory ‘././nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecss1095 This is METAFONT, Version 2.71828182 (TeX Live 2022/dev/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. Output written on manual.pdf (55 pages, 367027 bytes). Transcript written on manual.log. bibtex manual This is BibTeX, Version 0.99d (TeX Live 2022/dev/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.22 (TeX Live 2022/dev/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2021-11-15> patch level 1 L3 programming layer <2022-01-21> (./sigplanconf.cls Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de f))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./version.tex) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./manual.out) (./manual.out) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/var/lib/texmf/font s/map/pdftex/updmap/pdftex.map}] (./manual.toc [2] (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd)) [3] LaTeX Warning: Citation `knuth-lr-65' on page 4 undefined on input line 58. LaTeX Warning: Citation `johnson-yacc-79' on page 4 undefined on input line 59. LaTeX Warning: Citation `tarditi-appel-00' on page 4 undefined on input line 59 . LaTeX Warning: Citation `ocaml' on page 4 undefined on input line 60. LaTeX Warning: Citation `aho-86' on page 4 undefined on input line 66. LaTeX Warning: Citation `appel-tiger-98' on page 4 undefined on input line 66. LaTeX Warning: Citation `hopcroft-motwani-ullman-00' on page 4 undefined on inp ut line 66. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [4] [5] [6] [7] [8] Underfull \vbox (badness 1472) has occurred while \output is active [9] [10] [11] [12] [13] Excluding 'comment' comment. [14] [15] [16] [17] Underfull \hbox (badness 3635) in paragraph at lines 1543--1544 []\T1/ptm/m/n/10.95 a nonempty se-quence of \T1/ptm/m/it/10.95 X\T1/ptm/m/n/10. 95 's [18] [19] [20] [21] Missing character: There is no ] in font nullfont! [22] Underfull \vbox (badness 1661) has occurred while \output is active [23] [24] [25] [26] Underfull \vbox (badness 2582) has occurred while \output is active [27] [28] Underfull \vbox (badness 10000) has occurred while \output is active [29] Underfull \vbox (badness 1430) has occurred while \output is active [30] [31] Underfull \vbox (badness 1112) has occurred while \output is active [32] [33] [34] [35] [36] [37] [38] LaTeX Warning: Citation `jeffery-03' on page 39 undefined on input line 3478. LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 39 undefined on input line 3479. LaTeX Warning: Citation `knuth-lr-65' on page 39 undefined on input line 3504. LaTeX Warning: Citation `pager-77' on page 39 undefined on input line 3505. [39] [40] [41] [42] [43] [44] [45] Underfull \vbox (badness 6380) has occurred while \output is active [46] LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 47 undefined on inpu t line 4095. LaTeX Warning: Citation `compcert' on page 47 undefined on input line 4097. LaTeX Warning: Citation `compcert' on page 47 undefined on input line 4167. [47] LaTeX Warning: Citation `compcert' on page 48 undefined on input line 4263. LaTeX Warning: Citation `compcert-github' on page 48 undefined on input line 42 63. [48] LaTeX Warning: Citation `klint-laemmel-verhoef-05' on page 49 undefined on inpu t line 4303. [49] [50] [51] [52] Underfull \vbox (badness 10000) has occurred while \output is active [53] Overfull \hbox (52.85591pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir " []\T1/ ptm/m/n/10.95 to \T1/cmtt/m/n/10.95 ocamlbuild\T1/ptm/m/n/10.95 . To use Men-hi r's ta-ble back-end, pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir --table" Overfull \hbox (5.95137pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 the [][]\T1/cmtt/m/n/10.95 _tags []\T1/ptm/m/n/10.95 file. To com-bine mul-ti-ple \T1/cmtt/m/n/10.95 .mly \T1/ptm/m/n/10.95 files, say [][]\ T1/cmtt/m/n/10.95 a.mly []\T1/ptm/m/n/10.95 and [][]\T1/cmtt/m/n/10.95 b.mly[]\ T1/ptm/m/n/10.95 , into a sin-gle parser, say [][]\T1/cmtt/m/n/10.95 parser.{ml ,mli}[]\T1/ptm/m/n/10.95 , Overfull \hbox (2.62502pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 cre-ate a file named [][]\T1/cmtt/m/n/10.95 parser.mlypack [] \T1/ptm/m/n/10.95 that con-tains the mod-ule names [][]\T1/cmtt/m/n/10.95 A B[] \T1/ptm/m/n/10.95 . See the di-rec-tory [][]\T1/cmtt/m/n/10.95 demos/ocamlbuild [][] Overfull \hbox (54.26547pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 for ex-am-ples. To deal with [] files (Ÿ[][]11[][]), use the rules pro-vided in the file [][]\T1/cmtt/m/n/10.95 demos/ocamlbuild/myocamlbuil d.ml[][]\T1/ptm/m/n/10.95 . [54] LaTeX Warning: Citation `obelisk' on page 55 undefined on input line 4954. LaTeX Warning: Citation `knuth-lr-65' on page 55 undefined on input line 4963. LaTeX Warning: Citation `pager-77' on page 55 undefined on input line 4966. LaTeX Warning: Citation `bison' on page 55 undefined on input line 4969. [55] LaTeX Warning: Citation `deremer-pennello-82' on page 56 undefined on input lin e 4972. LaTeX Warning: Citation `bhamidipaty-proebsting-98' on page 56 undefined on inp ut line 4976. LaTeX Warning: Citation `horspool-faster-90' on page 56 undefined on input line 4976. LaTeX Warning: Citation `tarjan-yao-79' on page 56 undefined on input line 4981 . LaTeX Warning: Citation `dencker-84' on page 56 undefined on input line 4984. LaTeX Warning: Citation `pottier-regis-gianas-typed-lr' on page 56 undefined on input line 4987. LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 56 undefined on inpu t line 4995. LaTeX Warning: Citation `compcert' on page 56 undefined on input line 4996. LaTeX Warning: Citation `jourdan-pottier-17' on page 56 undefined on input line 4998. LaTeX Warning: Citation `jeffery-03' on page 56 undefined on input line 5001. LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 56 undefined on input line 5002. LaTeX Warning: Citation `bour-pottier-21' on page 56 undefined on input line 50 03. (./manual.bbl Underfull \vbox (badness 1377) has occurred while \output is active [56]) [57] (./manual.aux) kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ectt1000 mkdir: cannot create directory ‘././nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ectt1000 This is METAFONT, Version 2.71828182 (TeX Live 2022/dev/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) {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on manual.pdf (57 pages, 398748 bytes). Transcript written on manual.log. pdflatex manual This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2021-11-15> patch level 1 L3 programming layer <2022-01-21> (./sigplanconf.cls Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de f))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./version.tex) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./manual.out) (./manual.out) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/var/lib/texmf/font s/map/pdftex/updmap/pdftex.map}] (./manual.toc [2] (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd)) [3] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [4] [5] [6] [7] [8] Underfull \vbox (badness 1472) has occurred while \output is active [9] [10] [11] [12] [13] Excluding 'comment' comment. [14] [15] [16] [17] Underfull \hbox (badness 3635) in paragraph at lines 1543--1544 []\T1/ptm/m/n/10.95 a nonempty se-quence of \T1/ptm/m/it/10.95 X\T1/ptm/m/n/10. 95 's [18] [19] [20] [21] Missing character: There is no ] in font nullfont! [22] Underfull \vbox (badness 1661) has occurred while \output is active [23] [24] [25] [26] Underfull \vbox (badness 2582) has occurred while \output is active [27] [28] Underfull \vbox (badness 10000) has occurred while \output is active [29] Underfull \vbox (badness 1430) has occurred while \output is active [30] [31] Underfull \vbox (badness 1112) has occurred while \output is active [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] Underfull \vbox (badness 6380) has occurred while \output is active [46] [47] [48] [49] [50] [51] [52] Underfull \vbox (badness 10000) has occurred while \output is active [53] Overfull \hbox (52.85591pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir " []\T1/ ptm/m/n/10.95 to \T1/cmtt/m/n/10.95 ocamlbuild\T1/ptm/m/n/10.95 . To use Men-hi r's ta-ble back-end, pass [][]\T1/cmtt/m/n/10.95 -menhir "menhir --table" Overfull \hbox (5.95137pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 the [][]\T1/cmtt/m/n/10.95 _tags []\T1/ptm/m/n/10.95 file. To com-bine mul-ti-ple \T1/cmtt/m/n/10.95 .mly \T1/ptm/m/n/10.95 files, say [][]\ T1/cmtt/m/n/10.95 a.mly []\T1/ptm/m/n/10.95 and [][]\T1/cmtt/m/n/10.95 b.mly[]\ T1/ptm/m/n/10.95 , into a sin-gle parser, say [][]\T1/cmtt/m/n/10.95 parser.{ml ,mli}[]\T1/ptm/m/n/10.95 , Overfull \hbox (2.62502pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 cre-ate a file named [][]\T1/cmtt/m/n/10.95 parser.mlypack [] \T1/ptm/m/n/10.95 that con-tains the mod-ule names [][]\T1/cmtt/m/n/10.95 A B[] \T1/ptm/m/n/10.95 . See the di-rec-tory [][]\T1/cmtt/m/n/10.95 demos/ocamlbuild [][] Overfull \hbox (54.26547pt too wide) in paragraph at lines 4795--4813 \T1/ptm/m/n/10.95 for ex-am-ples. To deal with [] files (Ÿ[][]11[][]), use the 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) {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on manual.pdf (57 pages, 399851 bytes). Transcript written on manual.log. hevea -fix manual.tex ./mymacros.hva:4: Warning: Ignoring (re-)definition of '\raisebox' by \newcommand ./mymacros.hva:5: Warning: Ignoring (re-)definition of '\phantom' by \newcommand Exclude comment 'comment' ./manual.tex:58: Warning: Undefined citation: 'knuth-lr-65' ./manual.tex:59: Warning: Undefined citation: 'johnson-yacc-79' ./manual.tex:59: Warning: Undefined citation: 'tarditi-appel-00' ./manual.tex:60: Warning: Undefined citation: 'ocaml' ./manual.tex:66: Warning: Undefined citation: 'aho-86' ./manual.tex:66: Warning: Undefined citation: 'appel-tiger-98' ./manual.tex:66: Warning: Undefined citation: 'hopcroft-motwani-ullman-00' ./manual.tex:108: Warning: Undefined label: 'sec:errors' ./manual.tex:123: Warning: Undefined label: 'sec:split' ./manual.tex:139: Warning: Undefined label: 'sec:sdk' ./manual.tex:151: Warning: Undefined label: 'sec:errors:new' ./manual.tex:158: Warning: Undefined label: 'sec:errors:new' ./manual.tex:160: Warning: Undefined label: 'sec:coq' ./manual.tex:182: Warning: Undefined label: 'sec:coq' ./manual.tex:184: Warning: Undefined label: 'sec:conflicts:benign' ./manual.tex:192: Warning: Undefined label: 'sec:build' ./manual.tex:197: Warning: Undefined label: 'sec:conflicts' ./manual.tex:198: Warning: Undefined label: 'sec:onerrorreduce' ./manual.tex:203: Warning: Undefined label: 'sec:conflicts' ./manual.tex:204: Warning: Undefined label: 'sec:onerrorreduce' ./manual.tex:209: Warning: Undefined label: 'sec:errors:new' ./manual.tex:216: Warning: Undefined label: 'sec:tokens' ./manual.tex:222: Warning: Undefined label: 'sec:errors:new' ./manual.tex:228: Warning: Undefined label: 'sec:conflicts' ./manual.tex:250: Warning: Undefined label: 'sec:build' ./manual.tex:253: Warning: Undefined label: 'sec:monolithic' ./manual.tex:254: Warning: Undefined label: 'sec:incremental' ./manual.tex:254: Warning: Undefined label: 'sec:inspection' ./manual.tex:262: Warning: Undefined label: 'sec:interpret' ./manual.tex:267: Warning: Undefined label: 'sec:errors:new' ./manual.tex:271: Warning: Undefined label: 'sec:interpret' ./manual.tex:275: Warning: Undefined label: 'sec:errors:new' ./manual.tex:294: Warning: Undefined label: 'sec:errors:new' ./manual.tex:304: Warning: Undefined label: 'sec:library' ./manual.tex:306: Warning: Undefined label: 'sec:build' ./manual.tex:308: Warning: Undefined label: 'sec:build' ./manual.tex:313: Warning: Undefined label: 'sec:split' ./manual.tex:314: Warning: Undefined label: 'sec:templates' ./manual.tex:316: Warning: Undefined label: 'sec:inline' ./manual.tex:360: Warning: Undefined label: 'sec:tokens' ./manual.tex:363: Warning: Undefined label: 'sec:build' ./manual.tex:366: Warning: Undefined label: 'sec:tokens' ./manual.tex:380: Warning: Undefined label: 'sec:errors' ./manual.tex:389: Warning: Undefined label: 'sec:build' ./manual.tex:394: Warning: Undefined label: 'sec:qa' ./manual.tex:407: Warning: Undefined label: 'sec:incremental' ./manual.tex:408: Warning: Undefined label: 'sec:inspection' ./manual.tex:436: Warning: Undefined label: 'sec:errors:new' ./manual.tex:446: Warning: Undefined label: 'sec:decls' ./manual.tex:448: Warning: Undefined label: 'sec:old:rules' ./manual.tex:450: Warning: Undefined label: 'sec:producers' ./manual.tex:452: Warning: Undefined label: 'sec:new:rules' ./manual.tex:467: Warning: Undefined label: 'sec:tokens' ./manual.tex:531: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:541: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:556: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:585: Warning: Undefined label: 'fig:syntax' ./manual.tex:587: Warning: Undefined label: 'sec:attributes' ./manual.tex:593: Warning: Undefined label: 'sec:decls' ./manual.tex:604: Warning: Undefined label: 'sec:old:rules' ./manual.tex:605: Warning: Undefined label: 'sec:new:rules' ./manual.tex:739: Warning: Undefined label: 'sec:conflicts' ./manual.tex:759: Warning: Undefined label: 'sec:decls:headers' ./manual.tex:788: Warning: Undefined label: 'sec:attributes' ./manual.tex:831: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:857: Warning: Undefined label: 'sec:productiongroups' ./manual.tex:861: Warning: Undefined label: 'sec:split' ./manual.tex:861: Warning: Undefined label: 'sec:inline' ./manual.tex:863: Warning: Undefined label: 'sec:templates' ./manual.tex:868: Warning: Undefined label: 'sec:productions' ./manual.tex:869: Warning: Undefined label: 'sec:actions' ./manual.tex:870: Warning: Undefined label: 'sec:prec' ./manual.tex:896: Warning: Undefined label: 'sec:assoc' ./manual.tex:903: Warning: Undefined label: 'sec:conflicts' ./manual.tex:917: Warning: Undefined label: 'sec:producers' ./manual.tex:918: Warning: Undefined label: 'sec:prec' ./manual.tex:926: Warning: Undefined label: 'sec:actual' ./manual.tex:939: Warning: Undefined label: 'sec:templates' ./manual.tex:943: Warning: Undefined label: 'sec:templates' ./manual.tex:944: Warning: Undefined label: 'fig:sugar' ./manual.tex:989: Warning: Undefined label: 'sec:inline' ./manual.tex:992: Warning: Undefined label: 'sec:split' ./manual.tex:994: Warning: Undefined label: 'sec:templates' ./manual.tex:996: Warning: Undefined label: 'fig:syntax' ./manual.tex:1041: Warning: Undefined label: 'sec:templates' ./manual.tex:1041: Warning: Undefined label: 'fig:sugar' ./manual.tex:1088: Warning: Undefined label: 'fig:syntax' ./manual.tex:1103: Warning: Undefined label: 'sec:library' ./manual.tex:1103: Warning: Undefined label: 'fig:standard' ./manual.tex:1111: Warning: Undefined label: 'sec:actual' ./manual.tex:1117: Warning: Undefined label: 'sec:library' ./manual.tex:1150: Warning: Undefined label: 'sec:library' ./manual.tex:1164: Warning: Undefined label: 'sec:inline' ./manual.tex:1187: Warning: Undefined label: 'sec:templates' ./manual.tex:1194: Warning: Undefined label: 'sec:library' ./manual.tex:1251: Warning: Undefined label: 'sec:library' ./manual.tex:1324: Warning: Undefined label: 'sec:library' ./manual.tex:1355: Warning: Undefined label: 'sec:library' ./manual.tex:1356: Warning: Undefined label: 'fig:sugar' ./manual.tex:1490: Warning: Undefined label: 'sec:positions' ./manual.tex:1569: Warning: Undefined label: 'sec:split' ./manual.tex:1570: Warning: Undefined label: 'sec:templates' ./manual.tex:1570: Warning: Undefined label: 'sec:inline' ./manual.tex:1575: Warning: Undefined label: 'fig:standard' ./manual.tex:1576: Warning: Undefined label: 'fig:sugar' ./manual.tex:1607: Warning: Undefined label: 'fig:standard' ./manual.tex:1610: Warning: Undefined label: 'sec:actual' ./manual.tex:1635: Warning: Undefined label: 'sec:actual' ./manual.tex:1636: Warning: Undefined label: 'sec:inline' ./manual.tex:1667: Warning: Undefined label: 'sec:actual' ./manual.tex:1668: Warning: Undefined label: 'sec:inline' ./manual.tex:1701: Warning: Undefined label: 'sec:assoc' ./manual.tex:1701: Warning: Undefined label: 'sec:prec' ./manual.tex:1727: Warning: Undefined label: 'multiway' ./manual.tex:1767: Warning: Undefined label: 'fig:basicshiftreduce' ./manual.tex:1860: Warning: Undefined label: 'fig:shifting:tree' ./manual.tex:1865: Warning: Undefined label: 'fig:shifting:tree' ./manual.tex:1865: Warning: Undefined label: 'fig:shifting:text' ./manual.tex:1876: Warning: Undefined label: 'fig:shifting:text' ./manual.tex:1919: Warning: Undefined label: 'fig:reducing:tree' ./manual.tex:1924: Warning: Undefined label: 'fig:reducing:tree' ./manual.tex:1924: Warning: Undefined label: 'fig:reducing:text' ./manual.tex:1928: Warning: Undefined label: 'fig:reducing:text' ./manual.tex:1941: Warning: Undefined label: 'fig:xreducing:tree' ./manual.tex:1941: Warning: Undefined label: 'fig:xreducing:text' ./manual.tex:1996: Warning: Undefined label: 'fig:xreducing:tree' ./manual.tex:2004: Warning: Undefined label: 'fig:xreducing:text' ./manual.tex:2019: Warning: Undefined label: 'fig:xreducing:tree' ./manual.tex:2020: Warning: Undefined label: 'fig:xreducing:text' ./manual.tex:2205: Warning: Undefined label: 'fig:basiceos' ./manual.tex:2222: Warning: Undefined label: 'fig:basiceos' ./manual.tex:2234: Warning: Undefined label: 'fig:basiceos' ./manual.tex:2239: Warning: Undefined label: 'fig:basiceosdump' ./manual.tex:2263: Warning: Undefined label: 'fig:basiceos:sol' ./manual.tex:2350: Warning: Undefined label: 'fig:pos' ./manual.tex:2414: Warning: Undefined label: 'fig:pos:mapping' ./manual.tex:2419: Warning: Undefined label: 'fig:pos:mapping' ./manual.tex:2425: Warning: Undefined label: 'sec:inline' ./manual.tex:2523: Warning: Undefined label: 'sec:sentences' ./manual.tex:2630: Warning: Undefined label: 'sec:qa' ./manual.tex:2687: Warning: Undefined label: 'sec:incremental' ./manual.tex:2687: Warning: Undefined label: 'sec:inspection' ./manual.tex:2710: Warning: Undefined label: 'sec:incremental:driving' ./manual.tex:2711: Warning: Undefined label: 'sec:incremental:inspecting' ./manual.tex:2711: Warning: Undefined label: 'sec:incremental:updating' ./manual.tex:2820: Warning: Undefined label: 'sec:errors' ./manual.tex:2875: Warning: Undefined label: 'sec:errors' ./manual.tex:3031: Warning: Undefined label: 'sec:inspection' ./manual.tex:3096: Warning: Undefined label: 'sec:incremental:updating' ./manual.tex:3132: Warning: Undefined label: 'sec:incremental:inspecting' ./manual.tex:3144: Warning: Undefined label: 'sec:inspection' ./manual.tex:3192: Warning: Undefined label: 'sec:errors:new' ./manual.tex:3395: Warning: Undefined label: 'sec:errors:new' ./manual.tex:3465: Warning: Undefined label: 'sec:incremental' ./manual.tex:3470: Warning: Undefined label: 'sec:errors' ./manual.tex:3478: Warning: Undefined citation: 'jeffery-03' ./manual.tex:3479: Warning: Undefined citation: 'pottier-reachability-cc-2016' ./manual.tex:3493: Warning: Undefined label: 'sec:messages:format' ./manual.tex:3495: Warning: Undefined label: 'sec:messages:tools' ./manual.tex:3497: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:3498: Warning: Undefined label: 'sec:errors:example' ./manual.tex:3504: Warning: Undefined citation: 'knuth-lr-65' ./manual.tex:3505: Warning: Undefined citation: 'pager-77' ./manual.tex:3511: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:3526: Warning: Undefined label: 'sec:sentences' ./manual.tex:3593: Warning: Undefined label: 'fig:messages:entry' ./manual.tex:3602: Warning: Undefined label: 'sec:messages:merge' ./manual.tex:3616: Warning: Undefined label: 'sec:messages:tools' ./manual.tex:3624: Warning: Undefined label: 'fig:messages:entry:decorated' ./manual.tex:3650: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:3842: Warning: Undefined label: 'fig:declarations' ./manual.tex:3848: Warning: Undefined label: 'sec:messages:format' ./manual.tex:3854: Warning: Undefined label: 'fig:declarations' ./manual.tex:3866: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3869: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3873: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3883: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3896: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3902: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3925: Warning: Undefined label: 'fig:declarations:onerrorreduce' ./manual.tex:3947: Warning: Undefined label: 'fig:declarations:phantom' ./manual.tex:3951: Warning: Undefined label: 'fig:declarations' ./manual.tex:3967: Warning: Undefined label: 'sec:onerrorreduce' ./manual.tex:3968: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3975: Warning: Undefined label: 'fig:declarations:onerrorreduce' ./manual.tex:3977: Warning: Undefined label: 'fig:declarations' ./manual.tex:3992: Warning: Undefined label: 'fig:declarations' ./manual.tex:3994: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3995: Warning: Undefined label: 'fig:declarations:onerrorreduce' ./manual.tex:3997: Warning: Undefined label: 'fig:declarations:under' ./manual.tex:4011: Warning: Undefined label: 'fig:declarations:under' ./manual.tex:4095: Warning: Undefined citation: 'jourdan-leroy-pottier-12' ./manual.tex:4097: Warning: Undefined citation: 'compcert' ./manual.tex:4115: Warning: Undefined label: 'sec:errors' ./manual.tex:4118: Warning: Undefined label: 'fig:pos' ./manual.tex:4119: Warning: Undefined label: 'sec:parameter' ./manual.tex:4120: Warning: Undefined label: 'sec:inline' ./manual.tex:4121: Warning: Undefined label: 'sec:library' ./manual.tex:4126: Warning: Undefined label: 'sec:type' ./manual.tex:4126: Warning: Undefined label: 'sec:start' ./manual.tex:4129: Warning: Undefined label: 'sec:conflicts:benign' ./manual.tex:4131: Warning: Undefined label: 'sec:assoc' ./manual.tex:4167: Warning: Undefined citation: 'compcert' ./manual.tex:4198: Warning: Undefined label: 'sec:coq:errmsg' ./manual.tex:4263: Warning: Undefined citation: 'compcert' ./manual.tex:4263: Warning: Undefined citation: 'compcert-github' ./manual.tex:4271: Warning: Undefined label: 'sec:errors:example' ./manual.tex:4283: Warning: Undefined label: 'sec:messages:format' ./manual.tex:4284: Warning: Undefined label: 'sec:messages:tools' ./manual.tex:4303: Warning: Undefined citation: 'klint-laemmel-verhoef-05' ./manual.tex:4309: Warning: Undefined label: 'sec:sdk' ./manual.tex:4316: Warning: Undefined label: 'sec:attributes' ./manual.tex:4371: Warning: Undefined label: 'sec:decls' ./manual.tex:4402: Warning: Undefined label: 'sec:producers' ./manual.tex:4418: Warning: Undefined label: 'sec:decls' ./manual.tex:4451: Warning: Undefined label: 'sec:build:infer' ./manual.tex:4451: Warning: Undefined label: 'sec:build:flags' ./manual.tex:4457: Warning: Undefined label: 'sec:dune' ./manual.tex:4471: Warning: Undefined label: 'sec:build:infer:none' ./manual.tex:4474: Warning: Undefined label: 'sec:build:infer:direct' ./manual.tex:4477: Warning: Undefined label: 'sec:build:infer:indirect' ./manual.tex:4486: Warning: Undefined label: 'sec:build:infer:direct' ./manual.tex:4487: Warning: Undefined label: 'sec:build:infer:indirect' ./manual.tex:4663: Warning: Undefined label: 'sec:positions' ./manual.tex:4671: Warning: Undefined label: 'sec:templates' ./manual.tex:4673: Warning: Undefined label: 'sec:actual' ./manual.tex:4674: Warning: Undefined label: 'sec:library' ./manual.tex:4677: Warning: Undefined label: 'fig:sugar' ./manual.tex:4682: Warning: Undefined label: 'sec:inline' ./manual.tex:4685: Warning: Undefined label: 'sec:conflicts' ./manual.tex:4689: Warning: Undefined label: 'sec:incremental' ./manual.tex:4695: Warning: Undefined label: 'sec:errors:new' ./manual.tex:4698: Warning: Undefined label: 'sec:coq' ./manual.tex:4700: Warning: Undefined label: 'sec:interpret' ./manual.tex:4703: Warning: Undefined label: 'sec:split' ./manual.tex:4714: Warning: Undefined label: 'sec:eos' ./manual.tex:4730: Warning: Undefined label: 'sec:positions' ./manual.tex:4732: Warning: Undefined label: 'sec:errors' ./manual.tex:4734: Warning: Undefined label: 'sec:errors' ./manual.tex:4739: Warning: Undefined label: 'sec:conflicts' ./manual.tex:4779: Warning: \vspace with arg '-\baselineskip' ./manual.tex:4790: Warning: Undefined label: 'sec:build' ./manual.tex:4811: Warning: Undefined label: 'sec:errors:new' ./manual.tex:4860: Warning: Undefined label: 'sec:errors:new' ./manual.tex:4889: Warning: Undefined label: 'sec:decls:headers' ./manual.tex:4901: Warning: Undefined label: 'sec:monolithic' ./manual.tex:4907: Warning: Undefined label: 'sec:incremental' ./manual.tex:4950: Warning: Undefined label: 'sec:positions' ./manual.tex:4954: Warning: Undefined citation: 'obelisk' ./manual.tex:4957: Warning: Undefined label: 'sec:library' ./manual.tex:4963: Warning: Undefined citation: 'knuth-lr-65' ./manual.tex:4966: Warning: Undefined citation: 'pager-77' ./manual.tex:4969: Warning: Undefined citation: 'bison' ./manual.tex:4972: Warning: Undefined citation: 'deremer-pennello-82' ./manual.tex:4976: Warning: Undefined citation: 'bhamidipaty-proebsting-98' ./manual.tex:4976: Warning: Undefined citation: 'horspool-faster-90' ./manual.tex:4981: Warning: Undefined citation: 'tarjan-yao-79' ./manual.tex:4984: Warning: Undefined citation: 'dencker-84' ./manual.tex:4987: Warning: Undefined citation: 'pottier-regis-gianas-typed-lr' ./manual.tex:4995: Warning: Undefined citation: 'jourdan-leroy-pottier-12' ./manual.tex:4996: Warning: Undefined citation: 'compcert' ./manual.tex:4998: Warning: Undefined citation: 'jourdan-pottier-17' ./manual.tex:5000: Warning: Undefined label: 'sec:errors:new' ./manual.tex:5001: Warning: Undefined citation: 'jeffery-03' ./manual.tex:5002: Warning: Undefined citation: 'pottier-reachability-cc-2016' ./manual.tex:5003: Warning: Undefined citation: 'bour-pottier-21' HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. HeVeA Warning: images may have changed, run 'imagen manual' Run, run, again... ./mymacros.hva:4: Warning: Ignoring (re-)definition of '\raisebox' by \newcommand ./mymacros.hva:5: Warning: Ignoring (re-)definition of '\phantom' by \newcommand Exclude comment 'comment' ./manual.tex:531: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:541: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:556: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:4779: Warning: \vspace with arg '-\baselineskip' Fixpoint reached in 2 step(s) Now, I am running imagen for you RESOLUTION: 100 This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian) (preloaded format=latex) restricted \write18 enabled. entering extended mode (./manual.image.tex LaTeX2e <2021-11-15> patch level 1 L3 programming layer <2022-01-21> (./sigplanconf.cls Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/dvips.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-dvips.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-postsc ript.def))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hdvips.def (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pdfmark.def (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))))) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-dvips.def) No file manual.image.aux. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) Package hyperref Warning: Rerun to get /PageLabels entry. [1] [2] Missing character: There is no ] in font nullfont! [3] (./manual.image.aux) Package rerunfilecheck Warning: File `manual.image.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) Output written on manual.image.dvi (3 pages, 24164 bytes). Transcript written on manual.image.log. This is dvips(k) 2021.1 (TeX Live 2022/dev) Copyright 2021 Radical Eye Software (www.radicaleye.com) ' TeX output 2022.06.26:0355' -> . [1] [2] [3] convert-im6.q16: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-St4W-eKL90Hnbu6r8XfxhRIpRVI3Of1K' @ warning/png.c/MagickPNGWarningHandler/1668. convert-im6.q16: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-W4Fex5pk-Tz3nnnNRXK41cd_EDQ1Y7Dn' @ warning/png.c/MagickPNGWarningHandler/1668. convert-im6.q16: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-2VrNhDgBEPd3vz2BGbu5KTPtsXvFBbhB' @ warning/png.c/MagickPNGWarningHandler/1668. sed -i.bak -e "s/cellpadding0/cellpadding1/" manual.html && rm manual.html.bak make[2]: Leaving directory '/build/menhir-hV5C9O/menhir-20220210+ds/doc' dune build @install pack lib/pack/menhirLib.{ml,mli} Creating menhirLib.ml... Creating menhirLib.mli... menhir src/stage2/parserMessages.check Read 101 sample input sentences and 101 error messages. Read 101 sample input sentences and 48 error messages. menhir src/stage2/parserMessages.ml Read 101 sample input sentences and 48 error messages. menhir src/stage2/parser.{ml,mli} Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. The construction mode is no-pager. Built an LR(1) automaton with 298 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 40 states. Priority played a role in 0 of these states. 152 out of 298 states have a default reduction. 102 out of 298 states are represented. 44 out of 96 symbols keep track of their start position. 41 out of 96 symbols keep track of their end position. 264 specialized copies of 64 functions have been created. The StackLang code contains 5161 instructions in 241 blocks. The StackLang code comprises 5 mutually recursive groups. make[1]: Leaving directory '/build/menhir-hV5C9O/menhir-20220210+ds' create-stamp debian/debhelper-build-stamp dh_prep -a dh_installdirs -a debian/rules override_dh_auto_install make[1]: Entering directory '/build/menhir-hV5C9O/menhir-20220210+ds' DESTDIR=/build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp dune install --prefix=usr --libdir=lib/ocaml Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/coq-menhirlib/META Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/coq-menhirlib/dune-package Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/doc/coq-menhirlib/LICENSE Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhir/META Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhir/dune-package Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/bin/menhir Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/doc/menhir/LICENSE Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual.html Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual.pdf Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual001.png Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual002.png Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual003.png Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/man/man1/menhir.1 Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/META Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/dune-package Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.a Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cma Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmi Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmt Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmti Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmx Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmxa Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.ml Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.mli Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmxs Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/doc/menhirLib/LICENSE Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/META Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_api.ml Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_format.ml Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_read.ml Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_read.mli Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/dune-package Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/keyword.ml Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/keyword.mli Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.a Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cma Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmi Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmt Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmx Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmxa Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.ml Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmi Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmt Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmx Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmi Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmt Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmx Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmi Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmt Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmti Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmx Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmi Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmt Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmti Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmx Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmi Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmt Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmx Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/version.ml Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs Installing /build/menhir-hV5C9O/menhir-20220210+ds/debian/tmp/usr/doc/menhirSdk/LICENSE make[1]: Leaving directory '/build/menhir-hV5C9O/menhir-20220210+ds' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installman -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libmenhir-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libmenhir-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'menhir' in '../menhir_20220210+ds-2_amd64.deb'. dpkg-deb: building package 'menhir-dbgsym' in '../menhir-dbgsym_20220210+ds-2_amd64.deb'. dpkg-deb: building package 'libmenhir-ocaml-dev-dbgsym' in '../libmenhir-ocaml-dev-dbgsym_20220210+ds-2_amd64.deb'. dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20220210+ds-2_amd64.deb'. dpkg-genbuildinfo --build=any -O../menhir_20220210+ds-2_amd64.buildinfo dpkg-genchanges --build=any -O../menhir_20220210+ds-2_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/menhir-hV5C9O /tmp/menhir-20220210+ds-27098wx6i I: cleaning package lists and apt cache... W: deleting files in /tmp: texfonts I: removing tempdir /tmp/mmdebstrap.dbSjTSlMb1... I: success in 1279.6985 seconds md5: libmenhir-ocaml-dev-dbgsym_20220210+ds-2_amd64.deb: OK md5: libmenhir-ocaml-dev_20220210+ds-2_amd64.deb: OK md5: menhir-dbgsym_20220210+ds-2_amd64.deb: OK md5: menhir_20220210+ds-2_amd64.deb: OK sha1: libmenhir-ocaml-dev-dbgsym_20220210+ds-2_amd64.deb: OK sha1: libmenhir-ocaml-dev_20220210+ds-2_amd64.deb: OK sha1: menhir-dbgsym_20220210+ds-2_amd64.deb: OK sha1: menhir_20220210+ds-2_amd64.deb: OK sha256: libmenhir-ocaml-dev-dbgsym_20220210+ds-2_amd64.deb: OK sha256: libmenhir-ocaml-dev_20220210+ds-2_amd64.deb: OK sha256: menhir-dbgsym_20220210+ds-2_amd64.deb: OK sha256: menhir_20220210+ds-2_amd64.deb: OK Checksums: OK