Tue May 2 05:15:47 UTC 2023 I: starting to build menhir/bookworm/amd64 on jenkins on '2023-05-02 05:15' Tue May 2 05:15:47 UTC 2023 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_29/11071/console.log Tue May 2 05:15:47 UTC 2023 I: Downloading source for bookworm/menhir=20220210+ds-2 --2023-05-02 05:15:47-- http://cdn-fastly.deb.debian.org/debian/pool/main/m/menhir/menhir_20220210%2bds-2.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2321 (2.3K) [text/prs.lines.tag] Saving to: ‘menhir_20220210+ds-2.dsc’ 0K .. 100% 134M=0s 2023-05-02 05:15:47 (134 MB/s) - ‘menhir_20220210+ds-2.dsc’ saved [2321/2321] Tue May 2 05:15:47 UTC 2023 I: menhir_20220210+ds-2.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: menhir Binary: menhir, libmenhir-ocaml-dev, menhir-doc Architecture: any all Version: 20220210+ds-2 Maintainer: Debian OCaml Maintainers Uploaders: Mehdi Dogguy , Ralf Treinen Homepage: http://gallium.inria.fr/~fpottier/menhir/ Standards-Version: 4.6.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/menhir Vcs-Git: https://salsa.debian.org/ocaml-team/menhir.git Testsuite: autopkgtest Testsuite-Triggers: ocaml-findlib, ocaml-nox, ocamlbuild Build-Depends: debhelper-compat (= 13), dh-ocaml, hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml-nox (>= 4.02.3~), texlive-fonts-recommended, texlive-latex-extra Package-List: libmenhir-ocaml-dev deb ocaml optional arch=any menhir deb ocaml optional arch=any menhir-doc deb doc optional arch=all Checksums-Sha1: 766bbc677e47630c2adf08739bda88e0085c27a9 534352 menhir_20220210+ds.orig.tar.xz bf5d39ea71032db64b3e6c1e855a75c9f77e1a13 13348 menhir_20220210+ds-2.debian.tar.xz Checksums-Sha256: f72379b0600e3536d80ae1ea9e765f1caca4e7c8d111fd3023bc0d49f50329ad 534352 menhir_20220210+ds.orig.tar.xz a167651f59acbf9be75d56c5dd14a0934f751679b626b82e357bfcf4a498f72f 13348 menhir_20220210+ds-2.debian.tar.xz Files: 72a05456fc697486078d178db49a3eaf 534352 menhir_20220210+ds.orig.tar.xz aac36dece9eb6825788fe9b72db4b740 13348 menhir_20220210+ds-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ+baUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRtwAP/j5y/8BLgdmwGUEWL211bX79YVNd6gl5 eaTjWoQYBOsXmZnqEoUk1quBP/JQ+hnE2BfbwPVHCQwEzUv009LEOr0MzM3hH34r XZpW4ZpWZpFIrX+/fWiUR6XTl8qTzMpINfliVvjde6nu+l32veK7Atd7+6wSV4vm rhklocTk8wByiow0RZShmar2rCIznASu4MRtWLCcgR9hvX0i5ySDD+ZBvktl1RMS 5CPLmm066y0mwzSzklXJiAeP2a0jAVjNBYdMGLUNWS4Qx7ui0XoWRkmldwg0AHUU 1bO7VGbaFWOPWvFsAz/l1zCvVEqcpT3Zr5iEo7HhGkOPSXtyk3z8sSDRcxcTHZ4V ++rFr3smSi1kEyqIwE5+KzGHSccmPNi9PfRBvdTh0MLHlUdfa9T7RNR4/5zVBCxZ p2cR36lUcqswVVed6bxLdKdHz3Kj5MRDXFWnGDPnRdMUEWgMnkUIwOD6oA+ksLpM STl1H5/EWk6TtNOK2FzerzIZScmmYT5YpGf68U3u6ue64nrwXDNxmm0MrBCEYIF2 z2z0wmDdR7n9ZwcsGD6kbrO/slwkhpDQhj1xqJzYLiTE7HHIaDmbe7nv6u5SY+iU 7GrH7tTlIcHJ8oi8xoo9GgueNr27MezxG81oJVbl0OY7CXB9q84KSRSNYjpQ3Zkr Qxb+6S6utmXg =npGd -----END PGP SIGNATURE----- Tue May 2 05:15:47 UTC 2023 I: Checking whether the package is not for us Tue May 2 05:15:47 UTC 2023 I: Starting 1st build on remote node ionos11-amd64.debian.net. Tue May 2 05:15:47 UTC 2023 I: Preparing to do remote build '1' on ionos11-amd64.debian.net. Tue May 2 05:18:51 UTC 2023 I: Deleting $TMPDIR on ionos11-amd64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Mon May 1 17:15:49 -12 2023 I: pbuilder-time-stamp: 1683004549 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bookworm-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [menhir_20220210+ds-2.dsc] I: copying [./menhir_20220210+ds.orig.tar.xz] I: copying [./menhir_20220210+ds-2.debian.tar.xz] I: Extracting source gpgv: Signature made Fri May 13 02:39:33 2022 -12 gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./menhir_20220210+ds-2.dsc: no acceptable signature found dpkg-source: info: extracting menhir in 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: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/2044949/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='amd64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=15' DISTRIBUTION='bookworm' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='e6c898dfb63a40008c8ed72165c52267' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='2044949' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.Q77JMgJx/pbuilderrc_0S4N --distribution bookworm --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.Q77JMgJx/b1 --logfile b1/build.log menhir_20220210+ds-2.dsc' SUDO_GID='111' SUDO_UID='106' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://78.137.99.97:3128' I: uname -a Linux ionos11-amd64 5.10.0-22-amd64 #1 SMP Debian 5.10.178-3 (2023-04-22) x86_64 GNU/Linux I: ls -l /bin total 5632 -rwxr-xr-x 1 root root 1265648 Apr 23 09:23 bash -rwxr-xr-x 3 root root 39224 Sep 18 2022 bunzip2 -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzcat lrwxrwxrwx 1 root root 6 Sep 18 2022 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2225 Sep 18 2022 bzdiff lrwxrwxrwx 1 root root 6 Sep 18 2022 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4893 Nov 27 2021 bzexe lrwxrwxrwx 1 root root 6 Sep 18 2022 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3775 Sep 18 2022 bzgrep -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzip2 -rwxr-xr-x 1 root root 14568 Sep 18 2022 bzip2recover lrwxrwxrwx 1 root root 6 Sep 18 2022 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Sep 18 2022 bzmore -rwxr-xr-x 1 root root 44016 Sep 20 2022 cat -rwxr-xr-x 1 root root 68656 Sep 20 2022 chgrp -rwxr-xr-x 1 root root 64496 Sep 20 2022 chmod -rwxr-xr-x 1 root root 72752 Sep 20 2022 chown -rwxr-xr-x 1 root root 151152 Sep 20 2022 cp -rwxr-xr-x 1 root root 125640 Jan 5 01:20 dash -rwxr-xr-x 1 root root 121904 Sep 20 2022 date -rwxr-xr-x 1 root root 89240 Sep 20 2022 dd -rwxr-xr-x 1 root root 102200 Sep 20 2022 df -rwxr-xr-x 1 root root 151344 Sep 20 2022 dir -rwxr-xr-x 1 root root 88656 Mar 22 22:02 dmesg lrwxrwxrwx 1 root root 8 Dec 19 01:33 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Dec 19 01:33 domainname -> hostname -rwxr-xr-x 1 root root 43856 Sep 20 2022 echo -rwxr-xr-x 1 root root 41 Jan 24 02:43 egrep -rwxr-xr-x 1 root root 35664 Sep 20 2022 false -rwxr-xr-x 1 root root 41 Jan 24 02:43 fgrep -rwxr-xr-x 1 root root 85600 Mar 22 22:02 findmnt -rwsr-xr-x 1 root root 35128 Mar 22 20:35 fusermount -rwxr-xr-x 1 root root 203152 Jan 24 02:43 grep -rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip -rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe -rwxr-xr-x 1 root root 98136 Apr 9 2022 gzip -rwxr-xr-x 1 root root 22680 Dec 19 01:33 hostname -rwxr-xr-x 1 root root 72824 Sep 20 2022 ln -rwxr-xr-x 1 root root 53024 Mar 23 00:40 login -rwxr-xr-x 1 root root 151344 Sep 20 2022 ls -rwxr-xr-x 1 root root 207168 Mar 22 22:02 lsblk -rwxr-xr-x 1 root root 97552 Sep 20 2022 mkdir -rwxr-xr-x 1 root root 72912 Sep 20 2022 mknod -rwxr-xr-x 1 root root 43952 Sep 20 2022 mktemp -rwxr-xr-x 1 root root 59712 Mar 22 22:02 more -rwsr-xr-x 1 root root 59704 Mar 22 22:02 mount -rwxr-xr-x 1 root root 18744 Mar 22 22:02 mountpoint -rwxr-xr-x 1 root root 142968 Sep 20 2022 mv lrwxrwxrwx 1 root root 8 Dec 19 01:33 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Apr 2 18:25 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 43952 Sep 20 2022 pwd lrwxrwxrwx 1 root root 4 Apr 23 09:23 rbash -> bash -rwxr-xr-x 1 root root 52112 Sep 20 2022 readlink -rwxr-xr-x 1 root root 72752 Sep 20 2022 rm -rwxr-xr-x 1 root root 56240 Sep 20 2022 rmdir -rwxr-xr-x 1 root root 27560 Nov 2 04:31 run-parts -rwxr-xr-x 1 root root 126424 Jan 5 07:55 sed lrwxrwxrwx 1 root root 4 Jan 5 01:20 sh -> dash -rwxr-xr-x 1 root root 43888 Sep 20 2022 sleep -rwxr-xr-x 1 root root 85008 Sep 20 2022 stty -rwsr-xr-x 1 root root 72000 Mar 22 22:02 su -rwxr-xr-x 1 root root 39824 Sep 20 2022 sync -rwxr-xr-x 1 root root 531984 Apr 6 02:25 tar -rwxr-xr-x 1 root root 14520 Nov 2 04:31 tempfile -rwxr-xr-x 1 root root 109616 Sep 20 2022 touch -rwxr-xr-x 1 root root 35664 Sep 20 2022 true -rwxr-xr-x 1 root root 14568 Mar 22 20:35 ulockmgr_server -rwsr-xr-x 1 root root 35128 Mar 22 22:02 umount -rwxr-xr-x 1 root root 43888 Sep 20 2022 uname -rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress -rwxr-xr-x 1 root root 151344 Sep 20 2022 vdir -rwxr-xr-x 1 root root 72024 Mar 22 22:02 wdctl lrwxrwxrwx 1 root root 8 Dec 19 01:33 ypdomainname -> hostname -rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat -rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp -rwxr-xr-x 1 root root 6460 Apr 9 2022 zdiff -rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep -rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep -rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce -rwxr-xr-x 1 root root 8103 Apr 9 2022 zgrep -rwxr-xr-x 1 root root 2206 Apr 9 2022 zless -rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore -rwxr-xr-x 1 root root 4577 Apr 9 2022 znew I: user script /srv/workspace/pbuilder/2044949/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper-compat (= 13), dh-ocaml, hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml-nox (>= 4.02.3~), texlive-fonts-recommended, texlive-latex-extra dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19596 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on dh-ocaml; however: Package dh-ocaml is not installed. pbuilder-satisfydepends-dummy depends on hevea; however: Package hevea is not installed. pbuilder-satisfydepends-dummy depends on imagemagick; however: Package imagemagick is not installed. pbuilder-satisfydepends-dummy depends on ocaml-dune (>= 2.2.0); however: Package ocaml-dune is not installed. pbuilder-satisfydepends-dummy depends on ocaml-nox (>= 4.02.3~); however: Package ocaml-nox is not installed. pbuilder-satisfydepends-dummy depends on texlive-fonts-recommended; however: Package texlive-fonts-recommended is not installed. pbuilder-satisfydepends-dummy depends on texlive-latex-extra; however: Package texlive-latex-extra is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} fontconfig-config{a} fonts-lmodern{a} fonts-urw-base35{a} gettext{a} gettext-base{a} ghostscript{a} groff-base{a} hevea{a} hicolor-icon-theme{a} imagemagick{a} imagemagick-6-common{a} imagemagick-6.q16{a} intltool-debian{a} libaom3{a} libapache-pom-java{a} libarchive-zip-perl{a} libavahi-client3{a} libavahi-common-data{a} libavahi-common3{a} libbrotli1{a} libbsd0{a} libcairo2{a} libcommons-logging-java{a} libcommons-parent-java{a} libcups2{a} libdav1d6{a} libdbus-1-3{a} libde265-0{a} libdebhelper-perl{a} libdeflate0{a} libelf1{a} libexpat1{a} libfftw3-double3{a} libfile-stripnondeterminism-perl{a} libfontbox-java{a} libfontconfig1{a} libfontenc1{a} libfreetype6{a} libglib2.0-0{a} libgraphite2-3{a} libgs-common{a} libgs10{a} libgs10-common{a} libharfbuzz0b{a} libheif1{a} libice6{a} libicu72{a} libidn12{a} libijs-0.35{a} libjbig0{a} libjbig2dec0{a} libjpeg62-turbo{a} libkpathsea6{a} liblcms2-2{a} liblerc4{a} liblqr-1-0{a} libltdl7{a} libmagic-mgc{a} libmagic1{a} libmagickcore-6.q16-6{a} libmagickwand-6.q16-6{a} libncurses-dev{a} libncurses6{a} libnetpbm11{a} libnuma1{a} libopenjp2-7{a} libpaper-utils{a} libpaper1{a} libpdfbox-java{a} libpipeline1{a} libpixman-1-0{a} libpng16-16{a} libptexenc1{a} libpython3-stdlib{a} libpython3.11-minimal{a} libpython3.11-stdlib{a} libreadline8{a} libsm6{a} libsub-override-perl{a} libsynctex2{a} libteckit0{a} libtexlua53-5{a} libtexluajit2{a} libtiff6{a} libtool{a} libuchardet0{a} libwebp7{a} libwebpdemux2{a} libwebpmux3{a} libx11-6{a} libx11-data{a} libx265-199{a} libxau6{a} libxaw7{a} libxcb-render0{a} libxcb-shm0{a} libxcb1{a} libxdmcp6{a} libxext6{a} libxi6{a} libxml2{a} libxmu6{a} libxpm4{a} libxrender1{a} libxt6{a} libzzip-0-13{a} m4{a} man-db{a} media-types{a} netpbm{a} ocaml{a} ocaml-base{a} ocaml-compiler-libs{a} ocaml-dune{a} ocaml-interp{a} ocaml-nox{a} po-debconf{a} poppler-data{a} preview-latex-style{a} python3{a} python3-minimal{a} python3.11{a} python3.11-minimal{a} readline-common{a} sensible-utils{a} t1utils{a} tex-common{a} texlive-base{a} texlive-binaries{a} texlive-fonts-recommended{a} texlive-latex-base{a} texlive-latex-extra{a} texlive-latex-recommended{a} texlive-pictures{a} ucf{a} x11-common{a} xdg-utils{a} xfonts-encodings{a} xfonts-utils{a} The following packages are RECOMMENDED but will NOT be installed: ca-certificates curl dbus default-jre dvisvgm fonts-droid-fallback gsfonts ledit libarchive-cpio-perl libfile-mimeinfo-perl libglib2.0-data libgpm2 libltdl-dev libmagickcore-6.q16-6-extra libmail-sendmail-perl libnet-dbus-perl libspreadsheet-parseexcel-perl libx11-protocol-perl lmodern lynx ocaml-man rlfe rlwrap ruby shared-mime-info tex-gyre texlive-plain-generic tipa tk wget x11-utils x11-xserver-utils xdg-user-dirs 0 packages upgraded, 150 newly installed, 0 to remove and 0 not upgraded. Need to get 271 MB of archives. After unpacking 1024 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bookworm/main amd64 libfftw3-double3 amd64 3.3.10-1 [776 kB] Get: 2 http://deb.debian.org/debian bookworm/main amd64 libexpat1 amd64 2.5.0-1 [99.3 kB] Get: 3 http://deb.debian.org/debian bookworm/main amd64 libbrotli1 amd64 1.0.9-2+b6 [275 kB] Get: 4 http://deb.debian.org/debian bookworm/main amd64 libpng16-16 amd64 1.6.39-2 [276 kB] Get: 5 http://deb.debian.org/debian bookworm/main amd64 libfreetype6 amd64 2.12.1+dfsg-5 [399 kB] Get: 6 http://deb.debian.org/debian bookworm/main amd64 libfontenc1 amd64 1:1.1.4-1 [24.3 kB] Get: 7 http://deb.debian.org/debian bookworm/main amd64 x11-common all 1:7.7+23 [252 kB] Get: 8 http://deb.debian.org/debian bookworm/main amd64 xfonts-encodings all 1:1.0.4-2.2 [577 kB] Get: 9 http://deb.debian.org/debian bookworm/main amd64 xfonts-utils amd64 1:7.7+6 [93.0 kB] Get: 10 http://deb.debian.org/debian bookworm/main amd64 fonts-urw-base35 all 20200910-7 [10.8 MB] Get: 11 http://deb.debian.org/debian bookworm/main amd64 fontconfig-config amd64 2.14.1-4 [315 kB] Get: 12 http://deb.debian.org/debian bookworm/main amd64 libfontconfig1 amd64 2.14.1-4 [386 kB] Get: 13 http://deb.debian.org/debian bookworm/main amd64 libaom3 amd64 3.6.0-1 [1851 kB] Get: 14 http://deb.debian.org/debian bookworm/main amd64 libdav1d6 amd64 1.0.0-2 [495 kB] Get: 15 http://deb.debian.org/debian bookworm/main amd64 libde265-0 amd64 1.0.11-1 [185 kB] Get: 16 http://deb.debian.org/debian bookworm/main amd64 libnuma1 amd64 2.0.16-1 [21.0 kB] Get: 17 http://deb.debian.org/debian bookworm/main amd64 libx265-199 amd64 3.5-2+b1 [1150 kB] Get: 18 http://deb.debian.org/debian bookworm/main amd64 libheif1 amd64 1.15.1-1 [215 kB] Get: 19 http://deb.debian.org/debian bookworm/main amd64 libjbig0 amd64 2.1-6.1 [31.7 kB] Get: 20 http://deb.debian.org/debian bookworm/main amd64 libjpeg62-turbo amd64 1:2.1.5-2 [166 kB] Get: 21 http://deb.debian.org/debian bookworm/main amd64 liblcms2-2 amd64 2.14-2 [154 kB] Get: 22 http://deb.debian.org/debian bookworm/main amd64 libglib2.0-0 amd64 2.74.6-2 [1398 kB] Get: 23 http://deb.debian.org/debian bookworm/main amd64 liblqr-1-0 amd64 0.4.2-2.1 [29.1 kB] Get: 24 http://deb.debian.org/debian bookworm/main amd64 libltdl7 amd64 2.4.7-5 [393 kB] Get: 25 http://deb.debian.org/debian bookworm/main amd64 libopenjp2-7 amd64 2.5.0-1+b1 [189 kB] Get: 26 http://deb.debian.org/debian bookworm/main amd64 libdeflate0 amd64 1.14-1 [61.4 kB] Get: 27 http://deb.debian.org/debian bookworm/main amd64 liblerc4 amd64 4.0.0+ds-2 [170 kB] Get: 28 http://deb.debian.org/debian bookworm/main amd64 libwebp7 amd64 1.2.4-0.1 [285 kB] Get: 29 http://deb.debian.org/debian bookworm/main amd64 libtiff6 amd64 4.5.0-5 [316 kB] Get: 30 http://deb.debian.org/debian bookworm/main amd64 libwebpdemux2 amd64 1.2.4-0.1 [99.2 kB] Get: 31 http://deb.debian.org/debian bookworm/main amd64 libwebpmux3 amd64 1.2.4-0.1 [109 kB] Get: 32 http://deb.debian.org/debian bookworm/main amd64 libxau6 amd64 1:1.0.9-1 [19.7 kB] Get: 33 http://deb.debian.org/debian bookworm/main amd64 libbsd0 amd64 0.11.7-2 [117 kB] Get: 34 http://deb.debian.org/debian bookworm/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get: 35 http://deb.debian.org/debian bookworm/main amd64 libxcb1 amd64 1.15-1 [144 kB] Get: 36 http://deb.debian.org/debian bookworm/main amd64 libx11-data all 2:1.8.4-2 [292 kB] Get: 37 http://deb.debian.org/debian bookworm/main amd64 libx11-6 amd64 2:1.8.4-2 [759 kB] Get: 38 http://deb.debian.org/debian bookworm/main amd64 libxext6 amd64 2:1.3.4-1+b1 [52.9 kB] Get: 39 http://deb.debian.org/debian bookworm/main amd64 libicu72 amd64 72.1-3 [9376 kB] Get: 40 http://deb.debian.org/debian bookworm/main amd64 libxml2 amd64 2.9.14+dfsg-1.2 [687 kB] Get: 41 http://deb.debian.org/debian bookworm/main amd64 imagemagick-6-common all 8:6.9.11.60+dfsg-1.6 [165 kB] Get: 42 http://deb.debian.org/debian bookworm/main amd64 libmagickcore-6.q16-6 amd64 8:6.9.11.60+dfsg-1.6 [1781 kB] Get: 43 http://deb.debian.org/debian bookworm/main amd64 libmagickwand-6.q16-6 amd64 8:6.9.11.60+dfsg-1.6 [408 kB] Get: 44 http://deb.debian.org/debian bookworm/main amd64 poppler-data all 0.4.12-1 [1601 kB] Get: 45 http://deb.debian.org/debian bookworm/main amd64 libpython3.11-minimal amd64 3.11.2-6 [813 kB] Get: 46 http://deb.debian.org/debian bookworm/main amd64 python3.11-minimal amd64 3.11.2-6 [2064 kB] Get: 47 http://deb.debian.org/debian bookworm/main amd64 python3-minimal amd64 3.11.2-1+b1 [26.3 kB] Get: 48 http://deb.debian.org/debian bookworm/main amd64 media-types all 10.0.0 [26.1 kB] Get: 49 http://deb.debian.org/debian bookworm/main amd64 readline-common all 8.2-1.3 [69.0 kB] Get: 50 http://deb.debian.org/debian bookworm/main amd64 libreadline8 amd64 8.2-1.3 [166 kB] Get: 51 http://deb.debian.org/debian bookworm/main amd64 libpython3.11-stdlib amd64 3.11.2-6 [1796 kB] Get: 52 http://deb.debian.org/debian bookworm/main amd64 python3.11 amd64 3.11.2-6 [572 kB] Get: 53 http://deb.debian.org/debian bookworm/main amd64 libpython3-stdlib amd64 3.11.2-1+b1 [9312 B] Get: 54 http://deb.debian.org/debian bookworm/main amd64 python3 amd64 3.11.2-1+b1 [26.3 kB] Get: 55 http://deb.debian.org/debian bookworm/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get: 56 http://deb.debian.org/debian bookworm/main amd64 libmagic-mgc amd64 1:5.44-3 [305 kB] Get: 57 http://deb.debian.org/debian bookworm/main amd64 libmagic1 amd64 1:5.44-3 [104 kB] Get: 58 http://deb.debian.org/debian bookworm/main amd64 file amd64 1:5.44-3 [42.5 kB] Get: 59 http://deb.debian.org/debian bookworm/main amd64 gettext-base amd64 0.21-12 [160 kB] Get: 60 http://deb.debian.org/debian bookworm/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get: 61 http://deb.debian.org/debian bookworm/main amd64 groff-base amd64 1.22.4-10 [916 kB] Get: 62 http://deb.debian.org/debian bookworm/main amd64 bsdextrautils amd64 2.38.1-5+b1 [86.6 kB] Get: 63 http://deb.debian.org/debian bookworm/main amd64 libpipeline1 amd64 1.5.7-1 [38.5 kB] Get: 64 http://deb.debian.org/debian bookworm/main amd64 man-db amd64 2.11.2-2 [1386 kB] Get: 65 http://deb.debian.org/debian bookworm/main amd64 ucf all 3.0043+nmu1 [55.2 kB] Get: 66 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get: 67 http://deb.debian.org/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB] Get: 68 http://deb.debian.org/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get: 69 http://deb.debian.org/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get: 70 http://deb.debian.org/debian bookworm/main amd64 autopoint all 0.21-12 [495 kB] Get: 71 http://deb.debian.org/debian bookworm/main amd64 libdebhelper-perl all 13.11.4 [81.2 kB] Get: 72 http://deb.debian.org/debian bookworm/main amd64 libtool all 2.4.7-5 [517 kB] Get: 73 http://deb.debian.org/debian bookworm/main amd64 dh-autoreconf all 20 [17.1 kB] Get: 74 http://deb.debian.org/debian bookworm/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 75 http://deb.debian.org/debian bookworm/main amd64 libsub-override-perl all 0.09-4 [9304 B] Get: 76 http://deb.debian.org/debian bookworm/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get: 77 http://deb.debian.org/debian bookworm/main amd64 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get: 78 http://deb.debian.org/debian bookworm/main amd64 libelf1 amd64 0.188-2.1 [174 kB] Get: 79 http://deb.debian.org/debian bookworm/main amd64 dwz amd64 0.15-1 [109 kB] Get: 80 http://deb.debian.org/debian bookworm/main amd64 gettext amd64 0.21-12 [1300 kB] Get: 81 http://deb.debian.org/debian bookworm/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 82 http://deb.debian.org/debian bookworm/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 83 http://deb.debian.org/debian bookworm/main amd64 debhelper all 13.11.4 [942 kB] Get: 84 http://deb.debian.org/debian bookworm/main amd64 dh-ocaml all 1.1.3 [82.9 kB] Get: 85 http://deb.debian.org/debian bookworm/main amd64 fonts-lmodern all 2.005-1 [4540 kB] Get: 86 http://deb.debian.org/debian bookworm/main amd64 libgs-common all 10.0.0~dfsg-11 [148 kB] Get: 87 http://deb.debian.org/debian bookworm/main amd64 libgs10-common all 10.0.0~dfsg-11 [586 kB] Get: 88 http://deb.debian.org/debian bookworm/main amd64 libavahi-common-data amd64 0.8-10 [107 kB] Get: 89 http://deb.debian.org/debian bookworm/main amd64 libavahi-common3 amd64 0.8-10 [41.6 kB] Get: 90 http://deb.debian.org/debian bookworm/main amd64 libdbus-1-3 amd64 1.14.6-1 [200 kB] Get: 91 http://deb.debian.org/debian bookworm/main amd64 libavahi-client3 amd64 0.8-10 [45.5 kB] Get: 92 http://deb.debian.org/debian bookworm/main amd64 libcups2 amd64 2.4.2-3 [244 kB] Get: 93 http://deb.debian.org/debian bookworm/main amd64 libidn12 amd64 1.41-1 [83.8 kB] Get: 94 http://deb.debian.org/debian bookworm/main amd64 libijs-0.35 amd64 0.35-15 [16.4 kB] Get: 95 http://deb.debian.org/debian bookworm/main amd64 libjbig2dec0 amd64 0.19-3 [67.2 kB] Get: 96 http://deb.debian.org/debian bookworm/main amd64 libpaper1 amd64 1.1.29 [12.5 kB] Get: 97 http://deb.debian.org/debian bookworm/main amd64 libice6 amd64 2:1.0.10-1 [58.5 kB] Get: 98 http://deb.debian.org/debian bookworm/main amd64 libsm6 amd64 2:1.2.3-1 [35.1 kB] Get: 99 http://deb.debian.org/debian bookworm/main amd64 libxt6 amd64 1:1.2.1-1.1 [186 kB] Get: 100 http://deb.debian.org/debian bookworm/main amd64 libgs10 amd64 10.0.0~dfsg-11 [2465 kB] Get: 101 http://deb.debian.org/debian bookworm/main amd64 ghostscript amd64 10.0.0~dfsg-11 [56.6 kB] Get: 102 http://deb.debian.org/debian bookworm/main amd64 libnetpbm11 amd64 2:11.01.00-2 [174 kB] Get: 103 http://deb.debian.org/debian bookworm/main amd64 netpbm amd64 2:11.01.00-2 [2015 kB] Get: 104 http://deb.debian.org/debian bookworm/main amd64 tex-common all 6.18 [32.5 kB] Get: 105 http://deb.debian.org/debian bookworm/main amd64 libpaper-utils amd64 1.1.29 [8868 B] Get: 106 http://deb.debian.org/debian bookworm/main amd64 libkpathsea6 amd64 2022.20220321.62855-5 [152 kB] Get: 107 http://deb.debian.org/debian bookworm/main amd64 libptexenc1 amd64 2022.20220321.62855-5 [43.5 kB] Get: 108 http://deb.debian.org/debian bookworm/main amd64 libsynctex2 amd64 2022.20220321.62855-5 [59.6 kB] Get: 109 http://deb.debian.org/debian bookworm/main amd64 libtexlua53-5 amd64 2022.20220321.62855-5 [111 kB] Get: 110 http://deb.debian.org/debian bookworm/main amd64 libtexluajit2 amd64 2022.20220321.62855-5 [246 kB] Get: 111 http://deb.debian.org/debian bookworm/main amd64 t1utils amd64 1.41-4 [62.1 kB] Get: 112 http://deb.debian.org/debian bookworm/main amd64 libpixman-1-0 amd64 0.42.2-1 [546 kB] Get: 113 http://deb.debian.org/debian bookworm/main amd64 libxcb-render0 amd64 1.15-1 [115 kB] Get: 114 http://deb.debian.org/debian bookworm/main amd64 libxcb-shm0 amd64 1.15-1 [105 kB] Get: 115 http://deb.debian.org/debian bookworm/main amd64 libxrender1 amd64 1:0.9.10-1.1 [33.2 kB] Get: 116 http://deb.debian.org/debian bookworm/main amd64 libcairo2 amd64 1.16.0-7 [575 kB] Get: 117 http://deb.debian.org/debian bookworm/main amd64 libgraphite2-3 amd64 1.3.14-1 [81.2 kB] Get: 118 http://deb.debian.org/debian bookworm/main amd64 libharfbuzz0b amd64 6.0.0+dfsg-3 [1945 kB] Get: 119 http://deb.debian.org/debian bookworm/main amd64 libteckit0 amd64 2.5.11+ds1-1+b1 [335 kB] Get: 120 http://deb.debian.org/debian bookworm/main amd64 libxmu6 amd64 2:1.1.3-3 [60.1 kB] Get: 121 http://deb.debian.org/debian bookworm/main amd64 libxpm4 amd64 1:3.5.12-1.1 [48.4 kB] Get: 122 http://deb.debian.org/debian bookworm/main amd64 libxaw7 amd64 2:1.0.14-1 [201 kB] Get: 123 http://deb.debian.org/debian bookworm/main amd64 libxi6 amd64 2:1.8-1+b1 [84.2 kB] Get: 124 http://deb.debian.org/debian bookworm/main amd64 libzzip-0-13 amd64 0.13.72+dfsg.1-1.1 [58.3 kB] Get: 125 http://deb.debian.org/debian bookworm/main amd64 texlive-binaries amd64 2022.20220321.62855-5 [10.5 MB] Get: 126 http://deb.debian.org/debian bookworm/main amd64 xdg-utils all 1.1.3-4.1 [75.5 kB] Get: 127 http://deb.debian.org/debian bookworm/main amd64 texlive-base all 2022.20230122-3 [21.9 MB] Get: 128 http://deb.debian.org/debian bookworm/main amd64 hicolor-icon-theme all 0.17-2 [11.4 kB] Get: 129 http://deb.debian.org/debian bookworm/main amd64 imagemagick-6.q16 amd64 8:6.9.11.60+dfsg-1.6 [338 kB] Get: 130 http://deb.debian.org/debian bookworm/main amd64 imagemagick amd64 8:6.9.11.60+dfsg-1.6 [122 kB] Get: 131 http://deb.debian.org/debian bookworm/main amd64 hevea amd64 2.36-1 [1874 kB] Get: 132 http://deb.debian.org/debian bookworm/main amd64 libapache-pom-java all 29-2 [5276 B] Get: 133 http://deb.debian.org/debian bookworm/main amd64 libcommons-parent-java all 56-1 [10.8 kB] Get: 134 http://deb.debian.org/debian bookworm/main amd64 libcommons-logging-java all 1.2-3 [62.4 kB] Get: 135 http://deb.debian.org/debian bookworm/main amd64 libfontbox-java all 1:1.8.16-2 [211 kB] Get: 136 http://deb.debian.org/debian bookworm/main amd64 libncurses6 amd64 6.4-2 [103 kB] Get: 137 http://deb.debian.org/debian bookworm/main amd64 libncurses-dev amd64 6.4-2 [348 kB] Get: 138 http://deb.debian.org/debian bookworm/main amd64 libpdfbox-java all 1:1.8.16-2 [5205 kB] Get: 139 http://deb.debian.org/debian bookworm/main amd64 ocaml-compiler-libs amd64 4.13.1-4 [31.0 MB] Get: 140 http://deb.debian.org/debian bookworm/main amd64 ocaml-base amd64 4.13.1-4 [668 kB] Get: 141 http://deb.debian.org/debian bookworm/main amd64 ocaml-interp amd64 4.13.1-4 [6158 kB] Get: 142 http://deb.debian.org/debian bookworm/main amd64 ocaml amd64 4.13.1-4 [72.1 MB] Get: 143 http://deb.debian.org/debian bookworm/main amd64 ocaml-dune amd64 2.9.3-1 [2239 kB] Get: 144 http://deb.debian.org/debian bookworm/main amd64 ocaml-nox all 4.13.1-4 [161 kB] Get: 145 http://deb.debian.org/debian bookworm/main amd64 preview-latex-style all 12.2-1 [201 kB] Get: 146 http://deb.debian.org/debian bookworm/main amd64 texlive-fonts-recommended all 2022.20230122-3 [4988 kB] Get: 147 http://deb.debian.org/debian bookworm/main amd64 texlive-latex-base all 2022.20230122-3 [1182 kB] Get: 148 http://deb.debian.org/debian bookworm/main amd64 texlive-latex-recommended all 2022.20230122-3 [8880 kB] Get: 149 http://deb.debian.org/debian bookworm/main amd64 texlive-pictures all 2022.20230122-3 [15.8 MB] Get: 150 http://deb.debian.org/debian bookworm/main amd64 texlive-latex-extra all 2022.20230122-3 [19.2 MB] Fetched 271 MB in 4s (68.0 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libfftw3-double3: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 ... 19596 files and directories currently installed.) Preparing to unpack .../00-libfftw3-double3_3.3.10-1_amd64.deb ... Unpacking libfftw3-double3:amd64 (3.3.10-1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../01-libexpat1_2.5.0-1_amd64.deb ... Unpacking libexpat1:amd64 (2.5.0-1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../02-libbrotli1_1.0.9-2+b6_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.9-2+b6) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../03-libpng16-16_1.6.39-2_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.39-2) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../04-libfreetype6_2.12.1+dfsg-5_amd64.deb ... Unpacking libfreetype6:amd64 (2.12.1+dfsg-5) ... Selecting previously unselected package libfontenc1:amd64. Preparing to unpack .../05-libfontenc1_1%3a1.1.4-1_amd64.deb ... Unpacking libfontenc1:amd64 (1:1.1.4-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../06-x11-common_1%3a7.7+23_all.deb ... Unpacking x11-common (1:7.7+23) ... Selecting previously unselected package xfonts-encodings. Preparing to unpack .../07-xfonts-encodings_1%3a1.0.4-2.2_all.deb ... Unpacking xfonts-encodings (1:1.0.4-2.2) ... Selecting previously unselected package xfonts-utils. Preparing to unpack .../08-xfonts-utils_1%3a7.7+6_amd64.deb ... Unpacking xfonts-utils (1:7.7+6) ... Selecting previously unselected package fonts-urw-base35. Preparing to unpack .../09-fonts-urw-base35_20200910-7_all.deb ... Unpacking fonts-urw-base35 (20200910-7) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../10-fontconfig-config_2.14.1-4_amd64.deb ... Unpacking fontconfig-config (2.14.1-4) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../11-libfontconfig1_2.14.1-4_amd64.deb ... Unpacking libfontconfig1:amd64 (2.14.1-4) ... Selecting previously unselected package libaom3:amd64. Preparing to unpack .../12-libaom3_3.6.0-1_amd64.deb ... Unpacking libaom3:amd64 (3.6.0-1) ... Selecting previously unselected package libdav1d6:amd64. Preparing to unpack .../13-libdav1d6_1.0.0-2_amd64.deb ... Unpacking libdav1d6:amd64 (1.0.0-2) ... Selecting previously unselected package libde265-0:amd64. Preparing to unpack .../14-libde265-0_1.0.11-1_amd64.deb ... Unpacking libde265-0:amd64 (1.0.11-1) ... Selecting previously unselected package libnuma1:amd64. Preparing to unpack .../15-libnuma1_2.0.16-1_amd64.deb ... Unpacking libnuma1:amd64 (2.0.16-1) ... Selecting previously unselected package libx265-199:amd64. Preparing to unpack .../16-libx265-199_3.5-2+b1_amd64.deb ... Unpacking libx265-199:amd64 (3.5-2+b1) ... Selecting previously unselected package libheif1:amd64. Preparing to unpack .../17-libheif1_1.15.1-1_amd64.deb ... Unpacking libheif1:amd64 (1.15.1-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../18-libjbig0_2.1-6.1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-6.1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../19-libjpeg62-turbo_1%3a2.1.5-2_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.1.5-2) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../20-liblcms2-2_2.14-2_amd64.deb ... Unpacking liblcms2-2:amd64 (2.14-2) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../21-libglib2.0-0_2.74.6-2_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.74.6-2) ... Selecting previously unselected package liblqr-1-0:amd64. Preparing to unpack .../22-liblqr-1-0_0.4.2-2.1_amd64.deb ... Unpacking liblqr-1-0:amd64 (0.4.2-2.1) ... Selecting previously unselected package libltdl7:amd64. Preparing to unpack .../23-libltdl7_2.4.7-5_amd64.deb ... Unpacking libltdl7:amd64 (2.4.7-5) ... Selecting previously unselected package libopenjp2-7:amd64. Preparing to unpack .../24-libopenjp2-7_2.5.0-1+b1_amd64.deb ... Unpacking libopenjp2-7:amd64 (2.5.0-1+b1) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../25-libdeflate0_1.14-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.14-1) ... Selecting previously unselected package liblerc4:amd64. Preparing to unpack .../26-liblerc4_4.0.0+ds-2_amd64.deb ... Unpacking liblerc4:amd64 (4.0.0+ds-2) ... Selecting previously unselected package libwebp7:amd64. Preparing to unpack .../27-libwebp7_1.2.4-0.1_amd64.deb ... Unpacking libwebp7:amd64 (1.2.4-0.1) ... Selecting previously unselected package libtiff6:amd64. Preparing to unpack .../28-libtiff6_4.5.0-5_amd64.deb ... Unpacking libtiff6:amd64 (4.5.0-5) ... Selecting previously unselected package libwebpdemux2:amd64. Preparing to unpack .../29-libwebpdemux2_1.2.4-0.1_amd64.deb ... Unpacking libwebpdemux2:amd64 (1.2.4-0.1) ... Selecting previously unselected package libwebpmux3:amd64. Preparing to unpack .../30-libwebpmux3_1.2.4-0.1_amd64.deb ... Unpacking libwebpmux3:amd64 (1.2.4-0.1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../31-libxau6_1%3a1.0.9-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../32-libbsd0_0.11.7-2_amd64.deb ... Unpacking libbsd0:amd64 (0.11.7-2) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../33-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../34-libxcb1_1.15-1_amd64.deb ... Unpacking libxcb1:amd64 (1.15-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../35-libx11-data_2%3a1.8.4-2_all.deb ... Unpacking libx11-data (2:1.8.4-2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../36-libx11-6_2%3a1.8.4-2_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.4-2) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../37-libxext6_2%3a1.3.4-1+b1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1+b1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../38-libicu72_72.1-3_amd64.deb ... Unpacking libicu72:amd64 (72.1-3) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../39-libxml2_2.9.14+dfsg-1.2_amd64.deb ... Unpacking libxml2:amd64 (2.9.14+dfsg-1.2) ... Selecting previously unselected package imagemagick-6-common. Preparing to unpack .../40-imagemagick-6-common_8%3a6.9.11.60+dfsg-1.6_all.deb ... Unpacking imagemagick-6-common (8:6.9.11.60+dfsg-1.6) ... Selecting previously unselected package libmagickcore-6.q16-6:amd64. Preparing to unpack .../41-libmagickcore-6.q16-6_8%3a6.9.11.60+dfsg-1.6_amd64.deb ... Unpacking libmagickcore-6.q16-6:amd64 (8:6.9.11.60+dfsg-1.6) ... Selecting previously unselected package libmagickwand-6.q16-6:amd64. Preparing to unpack .../42-libmagickwand-6.q16-6_8%3a6.9.11.60+dfsg-1.6_amd64.deb ... Unpacking libmagickwand-6.q16-6:amd64 (8:6.9.11.60+dfsg-1.6) ... Selecting previously unselected package poppler-data. Preparing to unpack .../43-poppler-data_0.4.12-1_all.deb ... Unpacking poppler-data (0.4.12-1) ... Selecting previously unselected package libpython3.11-minimal:amd64. Preparing to unpack .../44-libpython3.11-minimal_3.11.2-6_amd64.deb ... Unpacking libpython3.11-minimal:amd64 (3.11.2-6) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../45-python3.11-minimal_3.11.2-6_amd64.deb ... Unpacking python3.11-minimal (3.11.2-6) ... Setting up libpython3.11-minimal:amd64 (3.11.2-6) ... Setting up libexpat1:amd64 (2.5.0-1) ... Setting up python3.11-minimal (3.11.2-6) ... Selecting previously unselected package python3-minimal. (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 ... 21636 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.11.2-1+b1_amd64.deb ... Unpacking python3-minimal (3.11.2-1+b1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_10.0.0_all.deb ... Unpacking media-types (10.0.0) ... Selecting previously unselected package readline-common. Preparing to unpack .../2-readline-common_8.2-1.3_all.deb ... Unpacking readline-common (8.2-1.3) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../3-libreadline8_8.2-1.3_amd64.deb ... Unpacking libreadline8:amd64 (8.2-1.3) ... Selecting previously unselected package libpython3.11-stdlib:amd64. Preparing to unpack .../4-libpython3.11-stdlib_3.11.2-6_amd64.deb ... Unpacking libpython3.11-stdlib:amd64 (3.11.2-6) ... Selecting previously unselected package python3.11. Preparing to unpack .../5-python3.11_3.11.2-6_amd64.deb ... Unpacking python3.11 (3.11.2-6) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../6-libpython3-stdlib_3.11.2-1+b1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up python3-minimal (3.11.2-1+b1) ... Selecting previously unselected package python3. (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 ... 22070 files and directories currently installed.) Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ... Unpacking python3 (3.11.2-1+b1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.44-3_amd64.deb ... Unpacking libmagic-mgc (1:5.44-3) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../03-libmagic1_1%3a5.44-3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.44-3) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.44-3_amd64.deb ... Unpacking file (1:5.44-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.21-12_amd64.deb ... Unpacking gettext-base (0.21-12) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../06-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.22.4-10_amd64.deb ... Unpacking groff-base (1.22.4-10) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.38.1-5+b1_amd64.deb ... Unpacking bsdextrautils (2.38.1-5+b1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../09-libpipeline1_1.5.7-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.11.2-2_amd64.deb ... Unpacking man-db (2.11.2-2) ... Selecting previously unselected package ucf. Preparing to unpack .../11-ucf_3.0043+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0043+nmu1) ... Selecting previously unselected package m4. Preparing to unpack .../12-m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package autoconf. Preparing to unpack .../13-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../14-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../15-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../16-autopoint_0.21-12_all.deb ... Unpacking autopoint (0.21-12) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../17-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../18-libtool_2.4.7-5_all.deb ... Unpacking libtool (2.4.7-5) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../19-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../20-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../21-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../22-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../23-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../24-libelf1_0.188-2.1_amd64.deb ... Unpacking libelf1:amd64 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../25-dwz_0.15-1_amd64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package gettext. Preparing to unpack .../26-gettext_0.21-12_amd64.deb ... Unpacking gettext (0.21-12) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../27-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../28-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../29-debhelper_13.11.4_all.deb ... Unpacking debhelper (13.11.4) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../30-dh-ocaml_1.1.3_all.deb ... Unpacking dh-ocaml (1.1.3) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../31-fonts-lmodern_2.005-1_all.deb ... Unpacking fonts-lmodern (2.005-1) ... Selecting previously unselected package libgs-common. Preparing to unpack .../32-libgs-common_10.0.0~dfsg-11_all.deb ... Unpacking libgs-common (10.0.0~dfsg-11) ... Selecting previously unselected package libgs10-common. Preparing to unpack .../33-libgs10-common_10.0.0~dfsg-11_all.deb ... Unpacking libgs10-common (10.0.0~dfsg-11) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../34-libavahi-common-data_0.8-10_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-10) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../35-libavahi-common3_0.8-10_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-10) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../36-libdbus-1-3_1.14.6-1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.14.6-1) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../37-libavahi-client3_0.8-10_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-10) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../38-libcups2_2.4.2-3_amd64.deb ... Unpacking libcups2:amd64 (2.4.2-3) ... Selecting previously unselected package libidn12:amd64. Preparing to unpack .../39-libidn12_1.41-1_amd64.deb ... Unpacking libidn12:amd64 (1.41-1) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../40-libijs-0.35_0.35-15_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-15) ... Selecting previously unselected package libjbig2dec0:amd64. Preparing to unpack .../41-libjbig2dec0_0.19-3_amd64.deb ... Unpacking libjbig2dec0:amd64 (0.19-3) ... Selecting previously unselected package libpaper1:amd64. Preparing to unpack .../42-libpaper1_1.1.29_amd64.deb ... Unpacking libpaper1:amd64 (1.1.29) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../43-libice6_2%3a1.0.10-1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.10-1) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../44-libsm6_2%3a1.2.3-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.3-1) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../45-libxt6_1%3a1.2.1-1.1_amd64.deb ... Unpacking libxt6:amd64 (1:1.2.1-1.1) ... Selecting previously unselected package libgs10:amd64. Preparing to unpack .../46-libgs10_10.0.0~dfsg-11_amd64.deb ... Unpacking libgs10:amd64 (10.0.0~dfsg-11) ... Selecting previously unselected package ghostscript. Preparing to unpack .../47-ghostscript_10.0.0~dfsg-11_amd64.deb ... Unpacking ghostscript (10.0.0~dfsg-11) ... Selecting previously unselected package libnetpbm11:amd64. Preparing to unpack .../48-libnetpbm11_2%3a11.01.00-2_amd64.deb ... Unpacking libnetpbm11:amd64 (2:11.01.00-2) ... Selecting previously unselected package netpbm. Preparing to unpack .../49-netpbm_2%3a11.01.00-2_amd64.deb ... Unpacking netpbm (2:11.01.00-2) ... Selecting previously unselected package tex-common. Preparing to unpack .../50-tex-common_6.18_all.deb ... Unpacking tex-common (6.18) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../51-libpaper-utils_1.1.29_amd64.deb ... Unpacking libpaper-utils (1.1.29) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../52-libkpathsea6_2022.20220321.62855-5_amd64.deb ... Unpacking libkpathsea6:amd64 (2022.20220321.62855-5) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../53-libptexenc1_2022.20220321.62855-5_amd64.deb ... Unpacking libptexenc1:amd64 (2022.20220321.62855-5) ... Selecting previously unselected package libsynctex2:amd64. Preparing to unpack .../54-libsynctex2_2022.20220321.62855-5_amd64.deb ... Unpacking libsynctex2:amd64 (2022.20220321.62855-5) ... Selecting previously unselected package libtexlua53-5:amd64. Preparing to unpack .../55-libtexlua53-5_2022.20220321.62855-5_amd64.deb ... Unpacking libtexlua53-5:amd64 (2022.20220321.62855-5) ... Selecting previously unselected package libtexluajit2:amd64. Preparing to unpack .../56-libtexluajit2_2022.20220321.62855-5_amd64.deb ... Unpacking libtexluajit2:amd64 (2022.20220321.62855-5) ... Selecting previously unselected package t1utils. Preparing to unpack .../57-t1utils_1.41-4_amd64.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../58-libpixman-1-0_0.42.2-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.42.2-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../59-libxcb-render0_1.15-1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../60-libxcb-shm0_1.15-1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.15-1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../61-libxrender1_1%3a0.9.10-1.1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1.1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../62-libcairo2_1.16.0-7_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-7) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../63-libgraphite2-3_1.3.14-1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../64-libharfbuzz0b_6.0.0+dfsg-3_amd64.deb ... Unpacking libharfbuzz0b:amd64 (6.0.0+dfsg-3) ... Selecting previously unselected package libteckit0:amd64. Preparing to unpack .../65-libteckit0_2.5.11+ds1-1+b1_amd64.deb ... Unpacking libteckit0:amd64 (2.5.11+ds1-1+b1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../66-libxmu6_2%3a1.1.3-3_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.3-3) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../67-libxpm4_1%3a3.5.12-1.1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1.1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../68-libxaw7_2%3a1.0.14-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.14-1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../69-libxi6_2%3a1.8-1+b1_amd64.deb ... Unpacking libxi6:amd64 (2:1.8-1+b1) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../70-libzzip-0-13_0.13.72+dfsg.1-1.1_amd64.deb ... Unpacking libzzip-0-13:amd64 (0.13.72+dfsg.1-1.1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../71-texlive-binaries_2022.20220321.62855-5_amd64.deb ... Unpacking texlive-binaries (2022.20220321.62855-5) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../72-xdg-utils_1.1.3-4.1_all.deb ... Unpacking xdg-utils (1.1.3-4.1) ... Selecting previously unselected package texlive-base. Preparing to unpack .../73-texlive-base_2022.20230122-3_all.deb ... Unpacking texlive-base (2022.20230122-3) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../74-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package imagemagick-6.q16. Preparing to unpack .../75-imagemagick-6.q16_8%3a6.9.11.60+dfsg-1.6_amd64.deb ... Unpacking imagemagick-6.q16 (8:6.9.11.60+dfsg-1.6) ... Selecting previously unselected package imagemagick. Preparing to unpack .../76-imagemagick_8%3a6.9.11.60+dfsg-1.6_amd64.deb ... Unpacking imagemagick (8:6.9.11.60+dfsg-1.6) ... Selecting previously unselected package hevea. Preparing to unpack .../77-hevea_2.36-1_amd64.deb ... Unpacking hevea (2.36-1) ... Selecting previously unselected package libapache-pom-java. Preparing to unpack .../78-libapache-pom-java_29-2_all.deb ... Unpacking libapache-pom-java (29-2) ... Selecting previously unselected package libcommons-parent-java. Preparing to unpack .../79-libcommons-parent-java_56-1_all.deb ... Unpacking libcommons-parent-java (56-1) ... Selecting previously unselected package libcommons-logging-java. Preparing to unpack .../80-libcommons-logging-java_1.2-3_all.deb ... Unpacking libcommons-logging-java (1.2-3) ... Selecting previously unselected package libfontbox-java. Preparing to unpack .../81-libfontbox-java_1%3a1.8.16-2_all.deb ... Unpacking libfontbox-java (1:1.8.16-2) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../82-libncurses6_6.4-2_amd64.deb ... Unpacking libncurses6:amd64 (6.4-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../83-libncurses-dev_6.4-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4-2) ... Selecting previously unselected package libpdfbox-java. Preparing to unpack .../84-libpdfbox-java_1%3a1.8.16-2_all.deb ... Unpacking libpdfbox-java (1:1.8.16-2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../85-ocaml-compiler-libs_4.13.1-4_amd64.deb ... Unpacking ocaml-compiler-libs (4.13.1-4) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../86-ocaml-base_4.13.1-4_amd64.deb ... Unpacking ocaml-base (4.13.1-4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../87-ocaml-interp_4.13.1-4_amd64.deb ... Unpacking ocaml-interp (4.13.1-4) ... Selecting previously unselected package ocaml. Preparing to unpack .../88-ocaml_4.13.1-4_amd64.deb ... Unpacking ocaml (4.13.1-4) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../89-ocaml-dune_2.9.3-1_amd64.deb ... Unpacking ocaml-dune (2.9.3-1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../90-ocaml-nox_4.13.1-4_all.deb ... Unpacking ocaml-nox (4.13.1-4) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../91-preview-latex-style_12.2-1_all.deb ... Unpacking preview-latex-style (12.2-1) ... Selecting previously unselected package texlive-fonts-recommended. Preparing to unpack .../92-texlive-fonts-recommended_2022.20230122-3_all.deb ... Unpacking texlive-fonts-recommended (2022.20230122-3) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../93-texlive-latex-base_2022.20230122-3_all.deb ... Unpacking texlive-latex-base (2022.20230122-3) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../94-texlive-latex-recommended_2022.20230122-3_all.deb ... Unpacking texlive-latex-recommended (2022.20230122-3) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../95-texlive-pictures_2022.20230122-3_all.deb ... Unpacking texlive-pictures (2022.20230122-3) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../96-texlive-latex-extra_2022.20230122-3_all.deb ... Unpacking texlive-latex-extra (2022.20230122-3) ... Setting up media-types (10.0.0) ... Setting up libpipeline1:amd64 (1.5.7-1) ... Setting up libgraphite2-3:amd64 (1.3.14-1) ... Setting up liblcms2-2:amd64 (2.14-2) ... Setting up libpixman-1-0:amd64 (0.42.2-1) ... Setting up libaom3:amd64 (3.6.0-1) ... Setting up libxau6:amd64 (1:1.0.9-1) ... Setting up imagemagick-6-common (8:6.9.11.60+dfsg-1.6) ... Setting up libicu72:amd64 (72.1-3) ... Setting up liblerc4:amd64 (4.0.0+ds-2) ... Setting up bsdextrautils (2.38.1-5+b1) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libmagic-mgc (1:5.44-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:amd64 (2.74.6-2) ... No schema files found: doing nothing. Setting up libijs-0.35:amd64 (0.35-15) ... Setting up libtexluajit2:amd64 (2022.20220321.62855-5) ... Setting up libdebhelper-perl (13.11.4) ... Setting up libgs-common (10.0.0~dfsg-11) ... Setting up libbrotli1:amd64 (1.0.9-2+b6) ... Setting up libfontbox-java (1:1.8.16-2) ... Setting up x11-common (1:7.7+23) ... invoke-rc.d: could not determine current runlevel Setting up X socket directories... /tmp/.X11-unix /tmp/.ICE-unix. Setting up dh-ocaml (1.1.3) ... Setting up libmagic1:amd64 (1:5.44-3) ... Setting up libnetpbm11:amd64 (2:11.01.00-2) ... Setting up libdeflate0:amd64 (1.14-1) ... Setting up gettext-base (0.21-12) ... Setting up m4 (1.4.19-3) ... Setting up libzzip-0-13:amd64 (0.13.72+dfsg.1-1.1) ... Setting up file (1:5.44-3) ... Setting up libjbig0:amd64 (2.1-6.1) ... Setting up poppler-data (0.4.12-1) ... Setting up ocaml-dune (2.9.3-1) ... Setting up libfontenc1:amd64 (1:1.1.4-1) ... Setting up autotools-dev (20220109.1) ... Setting up libjpeg62-turbo:amd64 (1:2.1.5-2) ... Setting up libx11-data (2:1.8.4-2) ... Setting up libjbig2dec0:amd64 (0.19-3) ... Setting up libteckit0:amd64 (2.5.11+ds1-1+b1) ... Setting up libapache-pom-java (29-2) ... Setting up libavahi-common-data:amd64 (0.8-10) ... Setting up libncurses6:amd64 (6.4-2) ... Setting up libdbus-1-3:amd64 (1.14.6-1) ... Setting up xfonts-encodings (1:1.0.4-2.2) ... Setting up t1utils (1.41-4) ... Setting up libtexlua53-5:amd64 (2022.20220321.62855-5) ... Setting up libpng16-16:amd64 (1.6.39-2) ... Setting up libidn12:amd64 (1.41-1) ... Setting up autopoint (0.21-12) ... Setting up ocaml-base (4.13.1-4) ... Setting up libdav1d6:amd64 (1.0.0-2) ... Setting up libltdl7:amd64 (2.4.7-5) ... Setting up libfftw3-double3:amd64 (3.3.10-1) ... Setting up libkpathsea6:amd64 (2022.20220321.62855-5) ... Setting up autoconf (2.71-3) ... Setting up libwebp7:amd64 (1.2.4-0.1) ... Setting up libnuma1:amd64 (2.0.16-1) ... Setting up liblqr-1-0:amd64 (0.4.2-2.1) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up libtiff6:amd64 (4.5.0-5) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up fonts-lmodern (2.005-1) ... Setting up libopenjp2-7:amd64 (2.5.0-1+b1) ... Setting up libsub-override-perl (0.09-4) ... Setting up libde265-0:amd64 (1.0.11-1) ... Setting up libwebpmux3:amd64 (1.2.4-0.1) ... Setting up libbsd0:amd64 (0.11.7-2) ... Setting up libelf1:amd64 (0.188-2.1) ... Setting up readline-common (8.2-1.3) ... Setting up libxml2:amd64 (2.9.14+dfsg-1.2) ... Setting up xdg-utils (1.1.3-4.1) ... update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode Setting up libsynctex2:amd64 (2022.20220321.62855-5) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libice6:amd64 (2:1.0.10-1) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libncurses-dev:amd64 (6.4-2) ... Setting up libxcb1:amd64 (1.15-1) ... Setting up gettext (0.21-12) ... Setting up libpdfbox-java (1:1.8.16-2) ... Setting up libtool (2.4.7-5) ... Setting up libxcb-render0:amd64 (1.15-1) ... Setting up libwebpdemux2:amd64 (1.2.4-0.1) ... Setting up libreadline8:amd64 (8.2-1.3) ... Setting up libcommons-parent-java (56-1) ... Setting up libavahi-common3:amd64 (0.8-10) ... Setting up libcommons-logging-java (1.2-3) ... Setting up libxcb-shm0:amd64 (1.15-1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libptexenc1:amd64 (2022.20220321.62855-5) ... Setting up libfreetype6:amd64 (2.12.1+dfsg-5) ... Setting up ucf (3.0043+nmu1) ... Setting up libx265-199:amd64 (3.5-2+b1) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up groff-base (1.22.4-10) ... Setting up libx11-6:amd64 (2:1.8.4-2) ... Setting up libharfbuzz0b:amd64 (6.0.0+dfsg-3) ... Setting up libsm6:amd64 (2:1.2.3-1) ... Setting up libavahi-client3:amd64 (0.8-10) ... Setting up libpaper1:amd64 (1.1.29) ... Creating config file /etc/papersize with new version Setting up libxpm4:amd64 (1:3.5.12-1.1) ... Setting up libxrender1:amd64 (1:0.9.10-1.1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpython3.11-stdlib:amd64 (3.11.2-6) ... Setting up libheif1:amd64 (1.15.1-1) ... Setting up libxext6:amd64 (2:1.3.4-1+b1) ... Setting up libpaper-utils (1.1.29) ... Setting up xfonts-utils (1:7.7+6) ... Setting up man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Setting up tex-common (6.18) ... update-language: texlive-base not installed and configured, doing nothing! Setting up netpbm (2:11.01.00-2) ... Setting up libxt6:amd64 (1:1.2.1-1.1) ... Setting up libcups2:amd64 (2.4.2-3) ... Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up python3.11 (3.11.2-6) ... Setting up libxmu6:amd64 (2:1.1.3-3) ... Setting up libxi6:amd64 (2:1.8-1+b1) ... Setting up preview-latex-style (12.2-1) ... Setting up debhelper (13.11.4) ... Setting up python3 (3.11.2-1+b1) ... Setting up libxaw7:amd64 (2:1.0.14-1) ... Setting up fonts-urw-base35 (20200910-7) ... Setting up libgs10-common (10.0.0~dfsg-11) ... Setting up fontconfig-config (2.14.1-4) ... Setting up libfontconfig1:amd64 (2.14.1-4) ... Setting up libgs10:amd64 (10.0.0~dfsg-11) ... Setting up ghostscript (10.0.0~dfsg-11) ... Setting up libcairo2:amd64 (1.16.0-7) ... Setting up libmagickcore-6.q16-6:amd64 (8:6.9.11.60+dfsg-1.6) ... Setting up texlive-binaries (2022.20220321.62855-5) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up libmagickwand-6.q16-6:amd64 (8:6.9.11.60+dfsg-1.6) ... Setting up texlive-base (2022.20230122-3) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex Setting up texlive-latex-base (2022.20230122-3) ... Setting up texlive-latex-recommended (2022.20230122-3) ... Setting up texlive-pictures (2022.20230122-3) ... Setting up imagemagick-6.q16 (8:6.9.11.60+dfsg-1.6) ... update-alternatives: using /usr/bin/compare-im6.q16 to provide /usr/bin/compare (compare) in auto mode update-alternatives: using /usr/bin/compare-im6.q16 to provide /usr/bin/compare-im6 (compare-im6) in auto mode update-alternatives: using /usr/bin/animate-im6.q16 to provide /usr/bin/animate (animate) in auto mode update-alternatives: using /usr/bin/animate-im6.q16 to provide /usr/bin/animate-im6 (animate-im6) in auto mode update-alternatives: using /usr/bin/convert-im6.q16 to provide /usr/bin/convert (convert) in auto mode update-alternatives: using /usr/bin/convert-im6.q16 to provide /usr/bin/convert-im6 (convert-im6) in auto mode update-alternatives: using /usr/bin/composite-im6.q16 to provide /usr/bin/composite (composite) in auto mode update-alternatives: using /usr/bin/composite-im6.q16 to provide /usr/bin/composite-im6 (composite-im6) in auto mode update-alternatives: using /usr/bin/conjure-im6.q16 to provide /usr/bin/conjure (conjure) in auto mode update-alternatives: using /usr/bin/conjure-im6.q16 to provide /usr/bin/conjure-im6 (conjure-im6) in auto mode update-alternatives: using /usr/bin/import-im6.q16 to provide /usr/bin/import (import) in auto mode update-alternatives: using /usr/bin/import-im6.q16 to provide /usr/bin/import-im6 (import-im6) in auto mode update-alternatives: using /usr/bin/identify-im6.q16 to provide /usr/bin/identify (identify) in auto mode update-alternatives: using /usr/bin/identify-im6.q16 to provide /usr/bin/identify-im6 (identify-im6) in auto mode update-alternatives: using /usr/bin/stream-im6.q16 to provide /usr/bin/stream (stream) in auto mode update-alternatives: using /usr/bin/stream-im6.q16 to provide /usr/bin/stream-im6 (stream-im6) in auto mode update-alternatives: using /usr/bin/display-im6.q16 to provide /usr/bin/display (display) in auto mode update-alternatives: using /usr/bin/display-im6.q16 to provide /usr/bin/display-im6 (display-im6) in auto mode update-alternatives: using /usr/bin/montage-im6.q16 to provide /usr/bin/montage (montage) in auto mode update-alternatives: using /usr/bin/montage-im6.q16 to provide /usr/bin/montage-im6 (montage-im6) in auto mode update-alternatives: using /usr/bin/mogrify-im6.q16 to provide /usr/bin/mogrify (mogrify) in auto mode update-alternatives: using /usr/bin/mogrify-im6.q16 to provide /usr/bin/mogrify-im6 (mogrify-im6) in auto mode Setting up texlive-fonts-recommended (2022.20230122-3) ... Setting up texlive-latex-extra (2022.20230122-3) ... Setting up hevea (2.36-1) ... Setting up imagemagick (8:6.9.11.60+dfsg-1.6) ... Setting up ocaml-compiler-libs (4.13.1-4) ... Setting up ocaml-interp (4.13.1-4) ... Setting up ocaml (4.13.1-4) ... Setting up ocaml-nox (4.13.1-4) ... Processing triggers for libc-bin (2.36-9) ... Processing triggers for tex-common (6.18) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps I: Building the package I: Running cd /build/menhir-20220210+ds/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../menhir_20220210+ds-2_source.changes 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-20220210+ds' dune clean make[1]: Leaving directory '/build/menhir-20220210+ds' dh_ocamlclean dh_clean debian/rules binary dh binary --with ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit debian/rules override_dh_auto_build make[1]: Entering directory '/build/menhir-20220210+ds' make -C doc make[2]: Entering directory '/build/menhir-20220210+ds/doc' pdflatex manual This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2022-11-01> patch level 1 L3 programming layer <2023-01-16> (./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 2022/07/02 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered .code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de f))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./version.tex) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file manual.aux. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/var/lib/texmf/font s/map/pdftex/updmap/pdftex.map}] No file manual.toc. [2] LaTeX Warning: Citation `knuth-lr-65' on page 3 undefined on input line 58. (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) LaTeX Warning: Citation `johnson-yacc-79' on page 3 undefined on input line 59. LaTeX Warning: Citation `tarditi-appel-00' on page 3 undefined on input line 59 . LaTeX Warning: Citation `ocaml' on page 3 undefined on input line 60. LaTeX Warning: Citation `aho-86' on page 3 undefined on input line 66. LaTeX Warning: Citation `appel-tiger-98' on page 3 undefined on input line 66. LaTeX Warning: Citation `hopcroft-motwani-ullman-00' on page 3 undefined on inp ut line 66. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) LaTeX Warning: Reference `sec:errors' on page 3 undefined on input line 108. LaTeX Warning: Reference `sec:split' on page 3 undefined on input line 123. LaTeX Warning: Reference `sec:sdk' on page 3 undefined on input line 139. LaTeX Warning: Reference `sec:errors:new' on page 3 undefined on input line 151 . [3] LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 158 . LaTeX Warning: Reference `sec:coq' on page 4 undefined on input line 160. LaTeX Warning: Reference `sec:coq' on page 4 undefined on input line 182. LaTeX Warning: Reference `sec:conflicts:benign' on page 4 undefined on input li ne 184. LaTeX Warning: Reference `sec:build' on page 4 undefined on input line 192. LaTeX Warning: Reference `sec:conflicts' on page 4 undefined on input line 197. LaTeX Warning: Reference `sec:onerrorreduce' on page 4 undefined on input line 198. LaTeX Warning: Reference `sec:conflicts' on page 4 undefined on input line 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/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/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/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/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/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/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/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, 366998 bytes). Transcript written on manual.log. bibtex manual This is BibTeX, Version 0.99d (TeX Live 2022/Debian) The top-level auxiliary file: manual.aux The style file: plain.bst Database file #1: local.bib Warning--string name "esop" is undefined --line 138 of file local.bib Warning--string name "springer" is undefined --line 139 of file local.bib Warning--string name "lncs" is undefined --line 140 of file local.bib Warning--string name "tosem" is undefined --line 149 of file local.bib Warning--empty booktitle in jourdan-leroy-pottier-12 Warning--empty journal in klint-laemmel-verhoef-05 (There were 6 warnings) pdflatex manual This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2022-11-01> patch level 1 L3 programming layer <2023-01-16> (./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 2022/07/02 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered .code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de f))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./version.tex) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (./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/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, 398727 bytes). Transcript written on manual.log. pdflatex manual This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2022-11-01> patch level 1 L3 programming layer <2023-01-16> (./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 2022/07/02 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered .code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de f))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./version.tex) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (./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, 399826 bytes). Transcript written on manual.log. hevea -fix manual.tex ./mymacros.hva:4: Warning: Ignoring (re-)definition of '\raisebox' by \newcommand ./mymacros.hva:5: Warning: Ignoring (re-)definition of '\phantom' by \newcommand Exclude comment 'comment' ./manual.tex:58: Warning: Undefined citation: 'knuth-lr-65' ./manual.tex:59: Warning: Undefined citation: 'johnson-yacc-79' ./manual.tex:59: Warning: Undefined citation: 'tarditi-appel-00' ./manual.tex:60: Warning: Undefined citation: 'ocaml' ./manual.tex:66: Warning: Undefined citation: 'aho-86' ./manual.tex:66: Warning: Undefined citation: 'appel-tiger-98' ./manual.tex:66: Warning: Undefined citation: 'hopcroft-motwani-ullman-00' ./manual.tex:108: Warning: Undefined label: 'sec:errors' ./manual.tex:123: Warning: Undefined label: 'sec:split' ./manual.tex:139: Warning: Undefined label: 'sec:sdk' ./manual.tex:151: Warning: Undefined label: 'sec:errors:new' ./manual.tex:158: Warning: Undefined label: 'sec:errors:new' ./manual.tex:160: Warning: Undefined label: 'sec:coq' ./manual.tex:182: Warning: Undefined label: 'sec:coq' ./manual.tex:184: Warning: Undefined label: 'sec:conflicts:benign' ./manual.tex:192: Warning: Undefined label: 'sec:build' ./manual.tex:197: Warning: Undefined label: 'sec:conflicts' ./manual.tex:198: Warning: Undefined label: 'sec:onerrorreduce' ./manual.tex:203: Warning: Undefined label: 'sec:conflicts' ./manual.tex:204: Warning: Undefined label: 'sec:onerrorreduce' ./manual.tex:209: Warning: Undefined label: 'sec:errors:new' ./manual.tex:216: Warning: Undefined label: 'sec:tokens' ./manual.tex:222: Warning: Undefined label: 'sec:errors:new' ./manual.tex:228: Warning: Undefined label: 'sec:conflicts' ./manual.tex:250: Warning: Undefined label: 'sec:build' ./manual.tex:253: Warning: Undefined label: 'sec:monolithic' ./manual.tex:254: Warning: Undefined label: 'sec:incremental' ./manual.tex:254: Warning: Undefined label: 'sec:inspection' ./manual.tex:262: Warning: Undefined label: 'sec:interpret' ./manual.tex:267: Warning: Undefined label: 'sec:errors:new' ./manual.tex:271: Warning: Undefined label: 'sec:interpret' ./manual.tex:275: Warning: Undefined label: 'sec:errors:new' ./manual.tex:294: Warning: Undefined label: 'sec:errors:new' ./manual.tex:304: Warning: Undefined label: 'sec:library' ./manual.tex:306: Warning: Undefined label: 'sec:build' ./manual.tex:308: Warning: Undefined label: 'sec:build' ./manual.tex:313: Warning: Undefined label: 'sec:split' ./manual.tex:314: Warning: Undefined label: 'sec:templates' ./manual.tex:316: Warning: Undefined label: 'sec:inline' ./manual.tex:360: Warning: Undefined label: 'sec:tokens' ./manual.tex:363: Warning: Undefined label: 'sec:build' ./manual.tex:366: Warning: Undefined label: 'sec:tokens' ./manual.tex:380: Warning: Undefined label: 'sec:errors' ./manual.tex:389: Warning: Undefined label: 'sec:build' ./manual.tex:394: Warning: Undefined label: 'sec:qa' ./manual.tex:407: Warning: Undefined label: 'sec:incremental' ./manual.tex:408: Warning: Undefined label: 'sec:inspection' ./manual.tex:436: Warning: Undefined label: 'sec:errors:new' ./manual.tex:446: Warning: Undefined label: 'sec:decls' ./manual.tex:448: Warning: Undefined label: 'sec:old:rules' ./manual.tex:450: Warning: Undefined label: 'sec:producers' ./manual.tex:452: Warning: Undefined label: 'sec:new:rules' ./manual.tex:467: Warning: Undefined label: 'sec:tokens' ./manual.tex:531: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:541: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:556: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:585: Warning: Undefined label: 'fig:syntax' ./manual.tex:587: Warning: Undefined label: 'sec:attributes' ./manual.tex:593: Warning: Undefined label: 'sec:decls' ./manual.tex:604: Warning: Undefined label: 'sec:old:rules' ./manual.tex:605: Warning: Undefined label: 'sec:new:rules' ./manual.tex:739: Warning: Undefined label: 'sec:conflicts' ./manual.tex:759: Warning: Undefined label: 'sec:decls:headers' ./manual.tex:788: Warning: Undefined label: 'sec:attributes' ./manual.tex:831: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:857: Warning: Undefined label: 'sec:productiongroups' ./manual.tex:861: Warning: Undefined label: 'sec:split' ./manual.tex:861: Warning: Undefined label: 'sec:inline' ./manual.tex:863: Warning: Undefined label: 'sec:templates' ./manual.tex:868: Warning: Undefined label: 'sec:productions' ./manual.tex:869: Warning: Undefined label: 'sec:actions' ./manual.tex:870: Warning: Undefined label: 'sec:prec' ./manual.tex:896: Warning: Undefined label: 'sec:assoc' ./manual.tex:903: Warning: Undefined label: 'sec:conflicts' ./manual.tex:917: Warning: Undefined label: 'sec:producers' ./manual.tex:918: Warning: Undefined label: 'sec:prec' ./manual.tex:926: Warning: Undefined label: 'sec:actual' ./manual.tex:939: Warning: Undefined label: 'sec:templates' ./manual.tex:943: Warning: Undefined label: 'sec:templates' ./manual.tex:944: Warning: Undefined label: 'fig:sugar' ./manual.tex:989: Warning: Undefined label: 'sec:inline' ./manual.tex:992: Warning: Undefined label: 'sec:split' ./manual.tex:994: Warning: Undefined label: 'sec:templates' ./manual.tex:996: Warning: Undefined label: 'fig:syntax' ./manual.tex:1041: Warning: Undefined label: 'sec:templates' ./manual.tex:1041: Warning: Undefined label: 'fig:sugar' ./manual.tex:1088: Warning: Undefined label: 'fig:syntax' ./manual.tex:1103: Warning: Undefined label: 'sec:library' ./manual.tex:1103: Warning: Undefined label: 'fig:standard' ./manual.tex:1111: Warning: Undefined label: 'sec:actual' ./manual.tex:1117: Warning: Undefined label: 'sec:library' ./manual.tex:1150: Warning: Undefined label: 'sec:library' ./manual.tex:1164: Warning: Undefined label: 'sec:inline' ./manual.tex:1187: Warning: Undefined label: 'sec:templates' ./manual.tex:1194: Warning: Undefined label: 'sec:library' ./manual.tex:1251: Warning: Undefined label: 'sec:library' ./manual.tex:1324: Warning: Undefined label: 'sec:library' ./manual.tex:1355: Warning: Undefined label: 'sec:library' ./manual.tex:1356: Warning: Undefined label: 'fig:sugar' ./manual.tex:1490: Warning: Undefined label: 'sec:positions' ./manual.tex:1569: Warning: Undefined label: 'sec:split' ./manual.tex:1570: Warning: Undefined label: 'sec:templates' ./manual.tex:1570: Warning: Undefined label: 'sec:inline' ./manual.tex:1575: Warning: Undefined label: 'fig:standard' ./manual.tex:1576: Warning: Undefined label: 'fig:sugar' ./manual.tex:1607: Warning: Undefined label: 'fig:standard' ./manual.tex:1610: Warning: Undefined label: 'sec:actual' ./manual.tex:1635: Warning: Undefined label: 'sec:actual' ./manual.tex:1636: Warning: Undefined label: 'sec:inline' ./manual.tex:1667: Warning: Undefined label: 'sec:actual' ./manual.tex:1668: Warning: Undefined label: 'sec:inline' ./manual.tex:1701: Warning: Undefined label: 'sec:assoc' ./manual.tex:1701: Warning: Undefined label: 'sec:prec' ./manual.tex:1727: Warning: Undefined label: 'multiway' ./manual.tex:1767: Warning: Undefined label: 'fig:basicshiftreduce' ./manual.tex:1860: Warning: Undefined label: 'fig:shifting:tree' ./manual.tex:1865: Warning: Undefined label: 'fig:shifting:tree' ./manual.tex:1865: Warning: Undefined label: 'fig:shifting:text' ./manual.tex:1876: Warning: Undefined label: 'fig:shifting:text' ./manual.tex:1919: Warning: Undefined label: 'fig:reducing:tree' ./manual.tex:1924: Warning: Undefined label: 'fig:reducing:tree' ./manual.tex:1924: Warning: Undefined label: 'fig:reducing:text' ./manual.tex:1928: Warning: Undefined label: 'fig:reducing:text' ./manual.tex:1941: Warning: Undefined label: 'fig:xreducing:tree' ./manual.tex:1941: Warning: Undefined label: 'fig:xreducing:text' ./manual.tex:1996: Warning: Undefined label: 'fig:xreducing:tree' ./manual.tex:2004: Warning: Undefined label: 'fig:xreducing:text' ./manual.tex:2019: Warning: Undefined label: 'fig:xreducing:tree' ./manual.tex:2020: Warning: Undefined label: 'fig:xreducing:text' ./manual.tex:2205: Warning: Undefined label: 'fig:basiceos' ./manual.tex:2222: Warning: Undefined label: 'fig:basiceos' ./manual.tex:2234: Warning: Undefined label: 'fig:basiceos' ./manual.tex:2239: Warning: Undefined label: 'fig:basiceosdump' ./manual.tex:2263: Warning: Undefined label: 'fig:basiceos:sol' ./manual.tex:2350: Warning: Undefined label: 'fig:pos' ./manual.tex:2414: Warning: Undefined label: 'fig:pos:mapping' ./manual.tex:2419: Warning: Undefined label: 'fig:pos:mapping' ./manual.tex:2425: Warning: Undefined label: 'sec:inline' ./manual.tex:2523: Warning: Undefined label: 'sec:sentences' ./manual.tex:2630: Warning: Undefined label: 'sec:qa' ./manual.tex:2687: Warning: Undefined label: 'sec:incremental' ./manual.tex:2687: Warning: Undefined label: 'sec:inspection' ./manual.tex:2710: Warning: Undefined label: 'sec:incremental:driving' ./manual.tex:2711: Warning: Undefined label: 'sec:incremental:inspecting' ./manual.tex:2711: Warning: Undefined label: 'sec:incremental:updating' ./manual.tex:2820: Warning: Undefined label: 'sec:errors' ./manual.tex:2875: Warning: Undefined label: 'sec:errors' ./manual.tex:3031: Warning: Undefined label: 'sec:inspection' ./manual.tex:3096: Warning: Undefined label: 'sec:incremental:updating' ./manual.tex:3132: Warning: Undefined label: 'sec:incremental:inspecting' ./manual.tex:3144: Warning: Undefined label: 'sec:inspection' ./manual.tex:3192: Warning: Undefined label: 'sec:errors:new' ./manual.tex:3395: Warning: Undefined label: 'sec:errors:new' ./manual.tex:3465: Warning: Undefined label: 'sec:incremental' ./manual.tex:3470: Warning: Undefined label: 'sec:errors' ./manual.tex:3478: Warning: Undefined citation: 'jeffery-03' ./manual.tex:3479: Warning: Undefined citation: 'pottier-reachability-cc-2016' ./manual.tex:3493: Warning: Undefined label: 'sec:messages:format' ./manual.tex:3495: Warning: Undefined label: 'sec:messages:tools' ./manual.tex:3497: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:3498: Warning: Undefined label: 'sec:errors:example' ./manual.tex:3504: Warning: Undefined citation: 'knuth-lr-65' ./manual.tex:3505: Warning: Undefined citation: 'pager-77' ./manual.tex:3511: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:3526: Warning: Undefined label: 'sec:sentences' ./manual.tex:3593: Warning: Undefined label: 'fig:messages:entry' ./manual.tex:3602: Warning: Undefined label: 'sec:messages:merge' ./manual.tex:3616: Warning: Undefined label: 'sec:messages:tools' ./manual.tex:3624: Warning: Undefined label: 'fig:messages:entry:decorated' ./manual.tex:3650: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:3842: Warning: Undefined label: 'fig:declarations' ./manual.tex:3848: Warning: Undefined label: 'sec:messages:format' ./manual.tex:3854: Warning: Undefined label: 'fig:declarations' ./manual.tex:3866: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3869: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3873: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3883: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3896: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3902: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3925: Warning: Undefined label: 'fig:declarations:onerrorreduce' ./manual.tex:3947: Warning: Undefined label: 'fig:declarations:phantom' ./manual.tex:3951: Warning: Undefined label: 'fig:declarations' ./manual.tex:3967: Warning: Undefined label: 'sec:onerrorreduce' ./manual.tex:3968: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3975: Warning: Undefined label: 'fig:declarations:onerrorreduce' ./manual.tex:3977: Warning: Undefined label: 'fig:declarations' ./manual.tex:3992: Warning: Undefined label: 'fig:declarations' ./manual.tex:3994: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3995: Warning: Undefined label: 'fig:declarations:onerrorreduce' ./manual.tex:3997: Warning: Undefined label: 'fig:declarations:under' ./manual.tex:4011: Warning: Undefined label: 'fig:declarations:under' ./manual.tex:4095: Warning: Undefined citation: 'jourdan-leroy-pottier-12' ./manual.tex:4097: Warning: Undefined citation: 'compcert' ./manual.tex:4115: Warning: Undefined label: 'sec:errors' ./manual.tex:4118: Warning: Undefined label: 'fig:pos' ./manual.tex:4119: Warning: Undefined label: 'sec:parameter' ./manual.tex:4120: Warning: Undefined label: 'sec:inline' ./manual.tex:4121: Warning: Undefined label: 'sec:library' ./manual.tex:4126: Warning: Undefined label: 'sec:type' ./manual.tex:4126: Warning: Undefined label: 'sec:start' ./manual.tex:4129: Warning: Undefined label: 'sec:conflicts:benign' ./manual.tex:4131: Warning: Undefined label: 'sec:assoc' ./manual.tex:4167: Warning: Undefined citation: 'compcert' ./manual.tex:4198: Warning: Undefined label: 'sec:coq:errmsg' ./manual.tex:4263: Warning: Undefined citation: 'compcert' ./manual.tex:4263: Warning: Undefined citation: 'compcert-github' ./manual.tex:4271: Warning: Undefined label: 'sec:errors:example' ./manual.tex:4283: Warning: Undefined label: 'sec:messages:format' ./manual.tex:4284: Warning: Undefined label: 'sec:messages:tools' ./manual.tex:4303: Warning: Undefined citation: 'klint-laemmel-verhoef-05' ./manual.tex:4309: Warning: Undefined label: 'sec:sdk' ./manual.tex:4316: Warning: Undefined label: 'sec:attributes' ./manual.tex:4371: Warning: Undefined label: 'sec:decls' ./manual.tex:4402: Warning: Undefined label: 'sec:producers' ./manual.tex:4418: Warning: Undefined label: 'sec:decls' ./manual.tex:4451: Warning: Undefined label: 'sec:build:infer' ./manual.tex:4451: Warning: Undefined label: 'sec:build:flags' ./manual.tex:4457: Warning: Undefined label: 'sec:dune' ./manual.tex:4471: Warning: Undefined label: 'sec:build:infer:none' ./manual.tex:4474: Warning: Undefined label: 'sec:build:infer:direct' ./manual.tex:4477: Warning: Undefined label: 'sec:build:infer:indirect' ./manual.tex:4486: Warning: Undefined label: 'sec:build:infer:direct' ./manual.tex:4487: Warning: Undefined label: 'sec:build:infer:indirect' ./manual.tex:4663: Warning: Undefined label: 'sec:positions' ./manual.tex:4671: Warning: Undefined label: 'sec:templates' ./manual.tex:4673: Warning: Undefined label: 'sec:actual' ./manual.tex:4674: Warning: Undefined label: 'sec:library' ./manual.tex:4677: Warning: Undefined label: 'fig:sugar' ./manual.tex:4682: Warning: Undefined label: 'sec:inline' ./manual.tex:4685: Warning: Undefined label: 'sec:conflicts' ./manual.tex:4689: Warning: Undefined label: 'sec:incremental' ./manual.tex:4695: Warning: Undefined label: 'sec:errors:new' ./manual.tex:4698: Warning: Undefined label: 'sec:coq' ./manual.tex:4700: Warning: Undefined label: 'sec:interpret' ./manual.tex:4703: Warning: Undefined label: 'sec:split' ./manual.tex:4714: Warning: Undefined label: 'sec:eos' ./manual.tex:4730: Warning: Undefined label: 'sec:positions' ./manual.tex:4732: Warning: Undefined label: 'sec:errors' ./manual.tex:4734: Warning: Undefined label: 'sec:errors' ./manual.tex:4739: Warning: Undefined label: 'sec:conflicts' ./manual.tex:4779: Warning: \vspace with arg '-\baselineskip' ./manual.tex:4790: Warning: Undefined label: 'sec:build' ./manual.tex:4811: Warning: Undefined label: 'sec:errors:new' ./manual.tex:4860: Warning: Undefined label: 'sec:errors:new' ./manual.tex:4889: Warning: Undefined label: 'sec:decls:headers' ./manual.tex:4901: Warning: Undefined label: 'sec:monolithic' ./manual.tex:4907: Warning: Undefined label: 'sec:incremental' ./manual.tex:4950: Warning: Undefined label: 'sec:positions' ./manual.tex:4954: Warning: Undefined citation: 'obelisk' ./manual.tex:4957: Warning: Undefined label: 'sec:library' ./manual.tex:4963: Warning: Undefined citation: 'knuth-lr-65' ./manual.tex:4966: Warning: Undefined citation: 'pager-77' ./manual.tex:4969: Warning: Undefined citation: 'bison' ./manual.tex:4972: Warning: Undefined citation: 'deremer-pennello-82' ./manual.tex:4976: Warning: Undefined citation: 'bhamidipaty-proebsting-98' ./manual.tex:4976: Warning: Undefined citation: 'horspool-faster-90' ./manual.tex:4981: Warning: Undefined citation: 'tarjan-yao-79' ./manual.tex:4984: Warning: Undefined citation: 'dencker-84' ./manual.tex:4987: Warning: Undefined citation: 'pottier-regis-gianas-typed-lr' ./manual.tex:4995: Warning: Undefined citation: 'jourdan-leroy-pottier-12' ./manual.tex:4996: Warning: Undefined citation: 'compcert' ./manual.tex:4998: Warning: Undefined citation: 'jourdan-pottier-17' ./manual.tex:5000: Warning: Undefined label: 'sec:errors:new' ./manual.tex:5001: Warning: Undefined citation: 'jeffery-03' ./manual.tex:5002: Warning: Undefined citation: 'pottier-reachability-cc-2016' ./manual.tex:5003: Warning: Undefined citation: 'bour-pottier-21' HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. HeVeA Warning: images may have changed, run 'imagen manual' Run, run, again... ./mymacros.hva:4: Warning: Ignoring (re-)definition of '\raisebox' by \newcommand ./mymacros.hva:5: Warning: Ignoring (re-)definition of '\phantom' by \newcommand Exclude comment 'comment' ./manual.tex:531: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:541: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:556: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:4779: Warning: \vspace with arg '-\baselineskip' Fixpoint reached in 2 step(s) Now, I am running imagen for you RESOLUTION: 100 This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=latex) restricted \write18 enabled. entering extended mode (./manual.image.tex LaTeX2e <2022-11-01> patch level 1 L3 programming layer <2023-01-16> (./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 2022/07/02 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/dvips.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered .code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-dvips.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-postsc ript.def))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hdvips.def (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pdfmark.def (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))))) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-dvips.def) No file manual.image.aux. Package hyperref Warning: Rerun to get /PageLabels entry. [1] [2] Missing character: There is no ] in font nullfont! [3] (./manual.image.aux) Package rerunfilecheck Warning: File `manual.image.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) Output written on manual.image.dvi (3 pages, 24164 bytes). Transcript written on manual.image.log. This is dvips(k) 2022.1 (TeX Live 2022) Copyright 2022 Radical Eye Software (www.radicaleye.com) ' TeX output 2023.05.01:1718' -> . [1] [2] [3] convert-im6.q16: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-uA5hFaVqftr7mAuaWuWFA9IIeSCtxb2u' @ warning/png.c/MagickPNGWarningHandler/1668. convert-im6.q16: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-v-eiO05gRo6uLtjDERkEdZQwRxFu3xuH' @ warning/png.c/MagickPNGWarningHandler/1668. convert-im6.q16: profile 'icc': 'RGB ': RGB color space not permitted on grayscale PNG `/tmp/magick-Z0Xyo6zjDo2dcxfGnkYo6tqw2qY1lNwa' @ warning/png.c/MagickPNGWarningHandler/1668. sed -i.bak -e "s/cellpadding0/cellpadding1/" manual.html && rm manual.html.bak make[2]: Leaving directory '/build/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-20220210+ds' create-stamp debian/debhelper-build-stamp dh_prep dh_installdirs debian/rules override_dh_auto_install make[1]: Entering directory '/build/menhir-20220210+ds' DESTDIR=/build/menhir-20220210+ds/debian/tmp dune install --prefix=usr --libdir=lib/ocaml Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/coq-menhirlib/META Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/coq-menhirlib/dune-package Installing /build/menhir-20220210+ds/debian/tmp/usr/doc/coq-menhirlib/LICENSE Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhir/META Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhir/dune-package Installing /build/menhir-20220210+ds/debian/tmp/usr/bin/menhir Installing /build/menhir-20220210+ds/debian/tmp/usr/doc/menhir/LICENSE Installing /build/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual.html Installing /build/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual.pdf Installing /build/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual001.png Installing /build/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual002.png Installing /build/menhir-20220210+ds/debian/tmp/usr/doc/menhir/manual003.png Installing /build/menhir-20220210+ds/debian/tmp/usr/man/man1/menhir.1 Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/META Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/dune-package Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.a Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cma Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmi Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmt Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmti Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmx Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmxa Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.ml Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.mli Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmxs Installing /build/menhir-20220210+ds/debian/tmp/usr/doc/menhirLib/LICENSE Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/META Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_api.ml Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_format.ml Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_read.ml Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_read.mli Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/dune-package Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/keyword.ml Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/keyword.mli Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.a Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cma Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmi Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmt Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmx Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmxa Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.ml Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmi Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmt Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmx Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmi Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmt Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmx Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmi Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmt Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmti Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmx Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmi Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmt Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmti Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmx Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmi Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmt Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmx Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/version.ml Installing /build/menhir-20220210+ds/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs Installing /build/menhir-20220210+ds/debian/tmp/usr/doc/menhirSdk/LICENSE make[1]: Leaving directory '/build/menhir-20220210+ds' dh_install dh_ocamldoc dh_installdocs dh_installchangelogs dh_installman dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb dh_ocaml dh_gencontrol 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 dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined dh_md5sums dh_builddeb 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' in '../libmenhir-ocaml-dev_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 'menhir-doc' in '../menhir-doc_20220210+ds-2_all.deb'. dpkg-genbuildinfo --build=binary -O../menhir_20220210+ds-2_amd64.buildinfo dpkg-genchanges --build=binary -O../menhir_20220210+ds-2_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/2044949 and its subdirectories I: Current time: Mon May 1 17:18:50 -12 2023 I: pbuilder-time-stamp: 1683004730 Tue May 2 05:18:51 UTC 2023 I: 1st build successful. Starting 2nd build on remote node ionos5-amd64.debian.net. Tue May 2 05:18:51 UTC 2023 I: Preparing to do remote build '2' on ionos5-amd64.debian.net. Tue May 2 05:24:20 UTC 2023 I: Deleting $TMPDIR on ionos5-amd64.debian.net. Tue May 2 05:24:20 UTC 2023 I: menhir_20220210+ds-2_amd64.changes: Format: 1.8 Date: Fri, 13 May 2022 13:47:21 +0200 Source: menhir Binary: libmenhir-ocaml-dev libmenhir-ocaml-dev-dbgsym menhir menhir-dbgsym menhir-doc Architecture: amd64 all Version: 20220210+ds-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml menhir-doc - Documentation of the Menhir parser generator for OCaml Changes: menhir (20220210+ds-2) unstable; urgency=medium . * Prepare for upload to unstable. Checksums-Sha1: bb57d35daea23b2bb60384ffd14e995a50acb7d9 19424 libmenhir-ocaml-dev-dbgsym_20220210+ds-2_amd64.deb 38dbe6de49102f60679e440c4a91a50fc4efccba 532636 libmenhir-ocaml-dev_20220210+ds-2_amd64.deb b43a0ef0212267dcca3624bc0a36d78af627032b 419592 menhir-dbgsym_20220210+ds-2_amd64.deb bac85839cfabb659f688d047fd942b958d5a03a5 448384 menhir-doc_20220210+ds-2_all.deb a16abbccd668fe4f8daf474786da1d3c223729d1 9889 menhir_20220210+ds-2_amd64.buildinfo 21e3ae572b9edb387a6b295d3b687c744c766051 1139348 menhir_20220210+ds-2_amd64.deb Checksums-Sha256: 2a1f7146be6a02149e84a85cc53b97d6827acc100bd4125df4203807b1472e3e 19424 libmenhir-ocaml-dev-dbgsym_20220210+ds-2_amd64.deb 96285faddb68e172512be3e0d6d63e785ca99a822b69b1daaa78daf6cc8d7c42 532636 libmenhir-ocaml-dev_20220210+ds-2_amd64.deb 2539deda444d89293df0346afe240bf55c6e2f688eabb721c2dac4f9e52f605f 419592 menhir-dbgsym_20220210+ds-2_amd64.deb a9d083b99a96bbef55b3bae354b3a179213d1f160445063e9d8b995afe544761 448384 menhir-doc_20220210+ds-2_all.deb d486d17fce32f8550f77d39237d7c3f9be1770a521a32cc8d055c2d2857342dd 9889 menhir_20220210+ds-2_amd64.buildinfo 58224678585d0c99abb3dcb720d30059821e83e690201f130073f15893a1751f 1139348 menhir_20220210+ds-2_amd64.deb Files: e76d244ad1d3b258baec1cdaa09e0537 19424 debug optional libmenhir-ocaml-dev-dbgsym_20220210+ds-2_amd64.deb 206a2b6881cacf3837b9f644002f4b7b 532636 ocaml optional libmenhir-ocaml-dev_20220210+ds-2_amd64.deb d414d2e5c7fc4ba2c3104ce10efab5d5 419592 debug optional menhir-dbgsym_20220210+ds-2_amd64.deb 78454b0f6269e3d022ab4ff69119f446 448384 doc optional menhir-doc_20220210+ds-2_all.deb 71b9b99de1b50b93be6806de74857a36 9889 ocaml optional menhir_20220210+ds-2_amd64.buildinfo e51fbdfb1fc7f1cb92c4c8e9e49e94bd 1139348 ocaml optional menhir_20220210+ds-2_amd64.deb Tue May 2 05:25:04 UTC 2023 I: diffoscope 241 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.Q77JMgJx/menhir_20220210+ds-2.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.Q77JMgJx/menhir_20220210+ds-2.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.Q77JMgJx/menhir_20220210+ds-2.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.Q77JMgJx/b1/menhir_20220210+ds-2_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.Q77JMgJx/b2/menhir_20220210+ds-2_amd64.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 6.743s) 6.743s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.473s) 0.472s 12 calls diffoscope.comparators.binary.FilesystemFile 0.000s 10 calls abc.DotChangesFile ## specialize (total time: 0.001s) 0.001s 1 call specialize Tue May 2 05:25:12 UTC 2023 I: diffoscope 241 found no differences in the changes files, and a .buildinfo file also exists. Tue May 2 05:25:12 UTC 2023 I: menhir from bookworm built successfully and reproducibly on amd64. Tue May 2 05:25:21 UTC 2023 I: Submitting .buildinfo files to external archives: Tue May 2 05:25:21 UTC 2023 I: Submitting 12K b1/menhir_20220210+ds-2_amd64.buildinfo.asc Tue May 2 05:25:23 UTC 2023 I: Submitting 12K b2/menhir_20220210+ds-2_amd64.buildinfo.asc Tue May 2 05:25:25 UTC 2023 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Tue May 2 05:25:25 UTC 2023 I: Done submitting .buildinfo files. Tue May 2 05:25:25 UTC 2023 I: Removing signed menhir_20220210+ds-2_amd64.buildinfo.asc files: removed './b1/menhir_20220210+ds-2_amd64.buildinfo.asc' removed './b2/menhir_20220210+ds-2_amd64.buildinfo.asc'