Tue May 21 10:54:07 UTC 2024 I: starting to build menhir/unstable/armhf on jenkins on '2024-05-21 10:53' Tue May 21 10:54:07 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/armhf_32/16821/console.log Tue May 21 10:54:07 UTC 2024 I: Downloading source for unstable/menhir=20231231+ds-1 --2024-05-21 10:54:07-- http://deb.debian.org/debian/pool/main/m/menhir/menhir_20231231%2bds-1.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2084 (2.0K) [text/prs.lines.tag] Saving to: ‘menhir_20231231+ds-1.dsc’ 0K .. 100% 262M=0s 2024-05-21 10:54:07 (262 MB/s) - ‘menhir_20231231+ds-1.dsc’ saved [2084/2084] Tue May 21 10:54:08 UTC 2024 I: menhir_20231231+ds-1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: menhir Binary: menhir, libmenhir-ocaml-dev, menhir-doc Architecture: any all Version: 20231231+ds-1 Maintainer: Debian OCaml Maintainers Uploaders: Mehdi Dogguy , Ralf Treinen Homepage: https://gallium.inria.fr/~fpottier/menhir/ Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/menhir Vcs-Git: https://salsa.debian.org/ocaml-team/menhir.git Testsuite: autopkgtest Testsuite-Triggers: ocaml, ocaml-findlib, ocamlbuild Build-Depends: debhelper-compat (= 13), dh-ocaml (>= 1.2.2), hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml, 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: db0f2e051c4474374f9889180c530b093dd83508 540084 menhir_20231231+ds.orig.tar.xz b51548042bbac2fd416d5c29d6ee5418b457e153 13756 menhir_20231231+ds-1.debian.tar.xz Checksums-Sha256: 509349d9b03d0e072d941a7c9fae95cfbcbfcff1940b5addab54195e9350731e 540084 menhir_20231231+ds.orig.tar.xz 49fa01a03d1d4536c96d0e535db7ee417b2e8adcaeacead6f9303038b33ec549 13756 menhir_20231231+ds-1.debian.tar.xz Files: 1180509ebc215ffcc6a249651b60e63b 540084 menhir_20231231+ds.orig.tar.xz bfa883f7f517da803cba3e6fa1475627 13756 menhir_20231231+ds-1.debian.tar.xz Dgit: f3f876e1879416cd91a39d7e0ace00b665730700 debian archive/debian/20231231+ds-1 https://git.dgit.debian.org/menhir -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmXOELASHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBxPkIAK1YlfB8ZMx+StNn4kBULgc3tECo+IEK Kxxr5LAvQCLvrWgo2LvpVJpshxevMsLoqb+n/3oHiHZJwXY7tJvyZpPnGHHDmHws FVKtAZ+Lk7g7Zvb3v9jEpnFo4Xff0Xw07ci13cUb0nONB7zUHtXKN6hnEJDudv3/ w0CftbtbTTp2bbgRxTQho90lwean6tlIYohJRkcpf84Ysqr5k2+m4FAVF94MxFBa Gsj+qcS2p3JG/CHb92O+a3nY3LW4fAxHSRxtaPYJDf3Dfmn6O7+ZRv7avdaF/7XC /54+YB1em/xsj64cBuQ+Star/XA/WIqqea+3hJ2NyTSArh7B4u2Lt+k= =08BZ -----END PGP SIGNATURE----- Tue May 21 10:54:08 UTC 2024 I: Checking whether the package is not for us Tue May 21 10:54:08 UTC 2024 I: Starting 1st build on remote node virt64c-armhf-rb.debian.net. Tue May 21 10:54:08 UTC 2024 I: Preparing to do remote build '1' on virt64c-armhf-rb.debian.net. Tue May 21 11:11:11 UTC 2024 I: Deleting $TMPDIR on virt64c-armhf-rb.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Mon May 20 22:54:14 -12 2024 I: pbuilder-time-stamp: 1716288854 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-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_20231231+ds-1.dsc] I: copying [./menhir_20231231+ds.orig.tar.xz] I: copying [./menhir_20231231+ds-1.debian.tar.xz] I: Extracting source gpgv: Signature made Thu Feb 15 13:25:04 2024 gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 gpgv: issuer "glondu@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./menhir_20231231+ds-1.dsc: no acceptable signature found dpkg-source: info: extracting menhir in menhir-20231231+ds dpkg-source: info: unpacking menhir_20231231+ds.orig.tar.xz dpkg-source: info: unpacking menhir_20231231+ds-1.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/31139/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build/reproducible-path' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='armhf' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3 ' DISTRIBUTION='unstable' HOME='/root' HOST_ARCH='armhf' IFS=' ' INVOCATION_ID='b913b161689b40ce9994ae6f9be8a1e0' 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='31139' 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.rg78Ph7F/pbuilderrc_RsJv --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.rg78Ph7F/b1 --logfile b1/build.log menhir_20231231+ds-1.dsc' SUDO_GID='113' SUDO_UID='107' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://10.0.0.15:3142/' I: uname -a Linux virt64c 6.1.0-21-arm64 #1 SMP Debian 6.1.90-1 (2024-05-03) aarch64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 May 21 07:44 /bin -> usr/bin I: user script /srv/workspace/pbuilder/31139/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: armhf 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 (>= 1.2.2), hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml, 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 ... 19463 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 (>= 1.2.2); 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; however: Package ocaml 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} libapache-pom-java{a} libarchive-zip-perl{a} libavahi-client3{a} libavahi-common-data{a} libavahi-common3{a} libbrotli1{a} libbsd0{a} libcairo2{a} libcom-err2{a} libcommons-logging-java{a} libcommons-parent-java{a} libcompiler-libs-ocaml-dev{a} libcups2t64{a} libdata-optlist-perl{a} libdav1d7{a} libdbus-1-3{a} libde265-0{a} libdebhelper-perl{a} libdeflate0{a} libelf1t64{a} libexpat1{a} libfftw3-double3{a} libfile-stripnondeterminism-perl{a} libfontbox-java{a} libfontconfig1{a} libfontenc1{a} libfreetype6{a} libglib2.0-0t64{a} libgraphite2-3{a} libgs-common{a} libgs10{a} libgs10-common{a} libgssapi-krb5-2{a} libharfbuzz0b{a} libheif-plugin-dav1d{a} libheif-plugin-libde265{a} libheif1{a} libice6{a} libicu72{a} libidn12{a} libijs-0.35{a} libjbig0{a} libjbig2dec0{a} libjpeg62-turbo{a} libk5crypto3{a} libkeyutils1{a} libkpathsea6{a} libkrb5-3{a} libkrb5support0{a} liblcms2-2{a} liblerc4{a} liblqr-1-0{a} libltdl7{a} libmagic-mgc{a} libmagic1t64{a} libmagickcore-6.q16-7t64{a} libmagickwand-6.q16-7t64{a} libncurses-dev{a} libncurses6{a} libnetpbm11t64{a} libopenjp2-7{a} libpaper-utils{a} libpaper1{a} libparams-util-perl{a} libpdfbox-java{a} libpipeline1{a} libpixman-1-0{a} libpng16-16t64{a} libpotrace0{a} libptexenc1{a} libpython3-stdlib{a} libpython3.11-minimal{a} libpython3.11-stdlib{a} libraw23t64{a} libreadline8t64{a} libsharpyuv0{a} libsm6{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libsub-exporter-perl{a} libsub-install-perl{a} libsub-override-perl{a} libsub-prototype-perl{a} libsynctex2{a} libteckit0{a} libtexlua53-5{a} libtiff6{a} libtool{a} libuchardet0{a} libwebp7{a} libwebpdemux2{a} libwebpmux3{a} libx11-6{a} libx11-data{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} libxt6t64{a} libzzip-0-13t64{a} m4{a} man-db{a} media-types{a} netbase{a} netpbm{a} ocaml{a} ocaml-base{a} ocaml-dune{a} ocaml-interp{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} tzdata{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 krb5-locales ledit libarchive-cpio-perl libfile-mimeinfo-perl libglib2.0-data libgpm2 libheif-plugin-aomenc libheif-plugin-x265 libltdl-dev libmagickcore-6.q16-7-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, 165 newly installed, 0 to remove and 0 not upgraded. Need to get 268 MB of archives. After unpacking 955 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main armhf libfftw3-double3 armhf 3.3.10-1+b2 [330 kB] Get: 2 http://deb.debian.org/debian unstable/main armhf libexpat1 armhf 2.6.2-1 [83.5 kB] Get: 3 http://deb.debian.org/debian unstable/main armhf libbrotli1 armhf 1.1.0-2+b3 [284 kB] Get: 4 http://deb.debian.org/debian unstable/main armhf libpng16-16t64 armhf 1.6.43-5 [262 kB] Get: 5 http://deb.debian.org/debian unstable/main armhf libfreetype6 armhf 2.13.2+dfsg-1+b4 [372 kB] Get: 6 http://deb.debian.org/debian unstable/main armhf libfontenc1 armhf 1:1.1.8-1 [20.6 kB] Get: 7 http://deb.debian.org/debian unstable/main armhf x11-common all 1:7.7+23 [252 kB] Get: 8 http://deb.debian.org/debian unstable/main armhf xfonts-encodings all 1:1.0.4-2.2 [577 kB] Get: 9 http://deb.debian.org/debian unstable/main armhf xfonts-utils armhf 1:7.7+6 [84.5 kB] Get: 10 http://deb.debian.org/debian unstable/main armhf fonts-urw-base35 all 20200910-8 [10.8 MB] Get: 11 http://deb.debian.org/debian unstable/main armhf fontconfig-config armhf 2.15.0-1.1 [317 kB] Get: 12 http://deb.debian.org/debian unstable/main armhf libfontconfig1 armhf 2.15.0-1.1 [370 kB] Get: 13 http://deb.debian.org/debian unstable/main armhf libsharpyuv0 armhf 1.4.0-0.1 [111 kB] Get: 14 http://deb.debian.org/debian unstable/main armhf libdav1d7 armhf 1.4.1-1 [262 kB] Get: 15 http://deb.debian.org/debian unstable/main armhf libheif-plugin-dav1d armhf 1.17.6-1+b2 [9508 B] Get: 16 http://deb.debian.org/debian unstable/main armhf libde265-0 armhf 1.0.15-1+b1 [145 kB] Get: 17 http://deb.debian.org/debian unstable/main armhf libheif-plugin-libde265 armhf 1.17.6-1+b2 [12.3 kB] Get: 18 http://deb.debian.org/debian unstable/main armhf libheif1 armhf 1.17.6-1+b2 [243 kB] Get: 19 http://deb.debian.org/debian unstable/main armhf libjbig0 armhf 2.1-6.1+b1 [27.3 kB] Get: 20 http://deb.debian.org/debian unstable/main armhf libjpeg62-turbo armhf 1:2.1.5-3 [143 kB] Get: 21 http://deb.debian.org/debian unstable/main armhf liblcms2-2 armhf 2.14-2+b1 [126 kB] Get: 22 http://deb.debian.org/debian unstable/main armhf libglib2.0-0t64 armhf 2.80.2-1 [1314 kB] Get: 23 http://deb.debian.org/debian unstable/main armhf liblqr-1-0 armhf 0.4.2-2.1+b1 [23.6 kB] Get: 24 http://deb.debian.org/debian unstable/main armhf libltdl7 armhf 2.4.7-7+b1 [390 kB] Get: 25 http://deb.debian.org/debian unstable/main armhf libopenjp2-7 armhf 2.5.0-2+b3 [170 kB] Get: 26 http://deb.debian.org/debian unstable/main armhf libraw23t64 armhf 0.21.2-2.1 [373 kB] Get: 27 http://deb.debian.org/debian unstable/main armhf libdeflate0 armhf 1.20-1 [35.9 kB] Get: 28 http://deb.debian.org/debian unstable/main armhf liblerc4 armhf 4.0.0+ds-4+b1 [137 kB] Get: 29 http://deb.debian.org/debian unstable/main armhf libwebp7 armhf 1.4.0-0.1 [265 kB] Get: 30 http://deb.debian.org/debian unstable/main armhf libtiff6 armhf 4.5.1+git230720-4 [301 kB] Get: 31 http://deb.debian.org/debian unstable/main armhf libwebpdemux2 armhf 1.4.0-0.1 [110 kB] Get: 32 http://deb.debian.org/debian unstable/main armhf libwebpmux3 armhf 1.4.0-0.1 [120 kB] Get: 33 http://deb.debian.org/debian unstable/main armhf libxau6 armhf 1:1.0.9-1+b1 [17.4 kB] Get: 34 http://deb.debian.org/debian unstable/main armhf libbsd0 armhf 0.12.2-1 [127 kB] Get: 35 http://deb.debian.org/debian unstable/main armhf libxdmcp6 armhf 1:1.1.2-3+b1 [23.0 kB] Get: 36 http://deb.debian.org/debian unstable/main armhf libxcb1 armhf 1.17.0-1 [140 kB] Get: 37 http://deb.debian.org/debian unstable/main armhf libx11-data all 2:1.8.7-1 [328 kB] Get: 38 http://deb.debian.org/debian unstable/main armhf libx11-6 armhf 2:1.8.7-1+b1 [739 kB] Get: 39 http://deb.debian.org/debian unstable/main armhf libxext6 armhf 2:1.3.4-1+b1 [47.8 kB] Get: 40 http://deb.debian.org/debian unstable/main armhf libicu72 armhf 72.1-4+b1 [9070 kB] Get: 41 http://deb.debian.org/debian unstable/main armhf libxml2 armhf 2.9.14+dfsg-1.3+b3 [598 kB] Get: 42 http://deb.debian.org/debian unstable/main armhf imagemagick-6-common all 8:6.9.12.98+dfsg1-5.2 [67.1 kB] Get: 43 http://deb.debian.org/debian unstable/main armhf libmagickcore-6.q16-7t64 armhf 8:6.9.12.98+dfsg1-5.2 [1551 kB] Get: 44 http://deb.debian.org/debian unstable/main armhf libmagickwand-6.q16-7t64 armhf 8:6.9.12.98+dfsg1-5.2 [302 kB] Get: 45 http://deb.debian.org/debian unstable/main armhf poppler-data all 0.4.12-1 [1601 kB] Get: 46 http://deb.debian.org/debian unstable/main armhf libpython3.11-minimal armhf 3.11.9-1 [805 kB] Get: 47 http://deb.debian.org/debian unstable/main armhf python3.11-minimal armhf 3.11.9-1 [1600 kB] Get: 48 http://deb.debian.org/debian unstable/main armhf python3-minimal armhf 3.11.8-1 [26.3 kB] Get: 49 http://deb.debian.org/debian unstable/main armhf media-types all 10.1.0 [26.9 kB] Get: 50 http://deb.debian.org/debian unstable/main armhf netbase all 6.4 [12.8 kB] Get: 51 http://deb.debian.org/debian unstable/main armhf tzdata all 2024a-4 [255 kB] Get: 52 http://deb.debian.org/debian unstable/main armhf readline-common all 8.2-4 [69.3 kB] Get: 53 http://deb.debian.org/debian unstable/main armhf libreadline8t64 armhf 8.2-4 [145 kB] Get: 54 http://deb.debian.org/debian unstable/main armhf libpython3.11-stdlib armhf 3.11.9-1 [1704 kB] Get: 55 http://deb.debian.org/debian unstable/main armhf python3.11 armhf 3.11.9-1 [602 kB] Get: 56 http://deb.debian.org/debian unstable/main armhf libpython3-stdlib armhf 3.11.8-1 [9332 B] Get: 57 http://deb.debian.org/debian unstable/main armhf python3 armhf 3.11.8-1 [27.4 kB] Get: 58 http://deb.debian.org/debian unstable/main armhf sensible-utils all 0.0.22 [22.4 kB] Get: 59 http://deb.debian.org/debian unstable/main armhf libmagic-mgc armhf 1:5.45-3 [314 kB] Get: 60 http://deb.debian.org/debian unstable/main armhf libmagic1t64 armhf 1:5.45-3 [98.1 kB] Get: 61 http://deb.debian.org/debian unstable/main armhf file armhf 1:5.45-3 [42.0 kB] Get: 62 http://deb.debian.org/debian unstable/main armhf gettext-base armhf 0.21-14+b1 [157 kB] Get: 63 http://deb.debian.org/debian unstable/main armhf libuchardet0 armhf 0.0.8-1+b1 [65.7 kB] Get: 64 http://deb.debian.org/debian unstable/main armhf groff-base armhf 1.23.0-4 [1090 kB] Get: 65 http://deb.debian.org/debian unstable/main armhf bsdextrautils armhf 2.40.1-1 [85.8 kB] Get: 66 http://deb.debian.org/debian unstable/main armhf libpipeline1 armhf 1.5.7-2 [33.3 kB] Get: 67 http://deb.debian.org/debian unstable/main armhf man-db armhf 2.12.1-1 [1375 kB] Get: 68 http://deb.debian.org/debian unstable/main armhf ucf all 3.0043+nmu1 [55.2 kB] Get: 69 http://deb.debian.org/debian unstable/main armhf m4 armhf 1.4.19-4 [264 kB] Get: 70 http://deb.debian.org/debian unstable/main armhf autoconf all 2.71-3 [332 kB] Get: 71 http://deb.debian.org/debian unstable/main armhf autotools-dev all 20220109.1 [51.6 kB] Get: 72 http://deb.debian.org/debian unstable/main armhf automake all 1:1.16.5-1.3 [823 kB] Get: 73 http://deb.debian.org/debian unstable/main armhf autopoint all 0.21-14 [496 kB] Get: 74 http://deb.debian.org/debian unstable/main armhf libdebhelper-perl all 13.15.3 [88.0 kB] Get: 75 http://deb.debian.org/debian unstable/main armhf libtool all 2.4.7-7 [517 kB] Get: 76 http://deb.debian.org/debian unstable/main armhf dh-autoreconf all 20 [17.1 kB] Get: 77 http://deb.debian.org/debian unstable/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 78 http://deb.debian.org/debian unstable/main armhf libparams-util-perl armhf 1.102-3 [23.0 kB] Get: 79 http://deb.debian.org/debian unstable/main armhf libsub-install-perl all 0.929-1 [10.5 kB] Get: 80 http://deb.debian.org/debian unstable/main armhf libdata-optlist-perl all 0.114-1 [10.6 kB] Get: 81 http://deb.debian.org/debian unstable/main armhf libsub-exporter-perl all 0.990-1 [50.6 kB] Get: 82 http://deb.debian.org/debian unstable/main armhf libsub-prototype-perl armhf 0.03-2+b2 [9460 B] Get: 83 http://deb.debian.org/debian unstable/main armhf libsub-override-perl all 0.11-1 [10.4 kB] Get: 84 http://deb.debian.org/debian unstable/main armhf libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get: 85 http://deb.debian.org/debian unstable/main armhf dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get: 86 http://deb.debian.org/debian unstable/main armhf libelf1t64 armhf 0.191-1+b1 [183 kB] Get: 87 http://deb.debian.org/debian unstable/main armhf dwz armhf 0.15-1+b2 [106 kB] Get: 88 http://deb.debian.org/debian unstable/main armhf gettext armhf 0.21-14+b1 [1230 kB] Get: 89 http://deb.debian.org/debian unstable/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 90 http://deb.debian.org/debian unstable/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 91 http://deb.debian.org/debian unstable/main armhf debhelper all 13.15.3 [901 kB] Get: 92 http://deb.debian.org/debian unstable/main armhf dh-ocaml all 2.0 [75.1 kB] Get: 93 http://deb.debian.org/debian unstable/main armhf fonts-lmodern all 2.005-1 [4540 kB] Get: 94 http://deb.debian.org/debian unstable/main armhf libgs-common all 10.03.1~dfsg~git20240518-1 [148 kB] Get: 95 http://deb.debian.org/debian unstable/main armhf libgs10-common all 10.03.1~dfsg~git20240518-1 [474 kB] Get: 96 http://deb.debian.org/debian unstable/main armhf libavahi-common-data armhf 0.8-13+b2 [112 kB] Get: 97 http://deb.debian.org/debian unstable/main armhf libavahi-common3 armhf 0.8-13+b2 [40.2 kB] Get: 98 http://deb.debian.org/debian unstable/main armhf libdbus-1-3 armhf 1.14.10-4+b1 [181 kB] Get: 99 http://deb.debian.org/debian unstable/main armhf libavahi-client3 armhf 0.8-13+b2 [43.4 kB] Get: 100 http://deb.debian.org/debian unstable/main armhf libkrb5support0 armhf 1.20.1-6+b1 [30.6 kB] Get: 101 http://deb.debian.org/debian unstable/main armhf libcom-err2 armhf 1.47.1-1 [22.1 kB] Get: 102 http://deb.debian.org/debian unstable/main armhf libk5crypto3 armhf 1.20.1-6+b1 [75.5 kB] Get: 103 http://deb.debian.org/debian unstable/main armhf libkeyutils1 armhf 1.6.3-3 [7908 B] Get: 104 http://deb.debian.org/debian unstable/main armhf libkrb5-3 armhf 1.20.1-6+b1 [290 kB] Get: 105 http://deb.debian.org/debian unstable/main armhf libgssapi-krb5-2 armhf 1.20.1-6+b1 [112 kB] Get: 106 http://deb.debian.org/debian unstable/main armhf libcups2t64 armhf 2.4.7-1.2+b1 [213 kB] Get: 107 http://deb.debian.org/debian unstable/main armhf libidn12 armhf 1.42-2 [77.7 kB] Get: 108 http://deb.debian.org/debian unstable/main armhf libijs-0.35 armhf 0.35-15.1+b1 [13.4 kB] Get: 109 http://deb.debian.org/debian unstable/main armhf libjbig2dec0 armhf 0.20-1+b2 [56.1 kB] Get: 110 http://deb.debian.org/debian unstable/main armhf libpaper1 armhf 1.1.29+b1 [12.2 kB] Get: 111 http://deb.debian.org/debian unstable/main armhf libice6 armhf 2:1.0.10-1+b1 [50.1 kB] Get: 112 http://deb.debian.org/debian unstable/main armhf libsm6 armhf 2:1.2.3-1+b1 [31.7 kB] Get: 113 http://deb.debian.org/debian unstable/main armhf libxt6t64 armhf 1:1.2.1-1.2 [159 kB] Get: 114 http://deb.debian.org/debian unstable/main armhf libgs10 armhf 10.03.1~dfsg~git20240518-1 [2143 kB] Get: 115 http://deb.debian.org/debian unstable/main armhf ghostscript armhf 10.03.1~dfsg~git20240518-1 [50.0 kB] Get: 116 http://deb.debian.org/debian unstable/main armhf libnetpbm11t64 armhf 2:11.06.01-2 [165 kB] Get: 117 http://deb.debian.org/debian unstable/main armhf netpbm armhf 2:11.06.01-2 [1893 kB] Get: 118 http://deb.debian.org/debian unstable/main armhf tex-common all 6.18 [32.5 kB] Get: 119 http://deb.debian.org/debian unstable/main armhf libpaper-utils armhf 1.1.29+b1 [8700 B] Get: 120 http://deb.debian.org/debian unstable/main armhf libkpathsea6 armhf 2023.20230311.66589-9+b2 [145 kB] Get: 121 http://deb.debian.org/debian unstable/main armhf libptexenc1 armhf 2023.20230311.66589-9+b2 [43.1 kB] Get: 122 http://deb.debian.org/debian unstable/main armhf libsynctex2 armhf 2023.20230311.66589-9+b2 [48.8 kB] Get: 123 http://deb.debian.org/debian unstable/main armhf libtexlua53-5 armhf 2023.20230311.66589-9+b2 [83.0 kB] Get: 124 http://deb.debian.org/debian unstable/main armhf t1utils armhf 1.41-4 [54.7 kB] Get: 125 http://deb.debian.org/debian unstable/main armhf libpixman-1-0 armhf 0.42.2-1+b1 [476 kB] Get: 126 http://deb.debian.org/debian unstable/main armhf libxcb-render0 armhf 1.17.0-1 [114 kB] Get: 127 http://deb.debian.org/debian unstable/main armhf libxcb-shm0 armhf 1.17.0-1 [105 kB] Get: 128 http://deb.debian.org/debian unstable/main armhf libxrender1 armhf 1:0.9.10-1.1+b1 [24.9 kB] Get: 129 http://deb.debian.org/debian unstable/main armhf libcairo2 armhf 1.18.0-3+b1 [442 kB] Get: 130 http://deb.debian.org/debian unstable/main armhf libgraphite2-3 armhf 1.3.14-2 [63.2 kB] Get: 131 http://deb.debian.org/debian unstable/main armhf libharfbuzz0b armhf 8.3.0-2+b1 [2156 kB] Get: 132 http://deb.debian.org/debian unstable/main armhf libpotrace0 armhf 1.16-2+b1 [22.6 kB] Get: 133 http://deb.debian.org/debian unstable/main armhf libteckit0 armhf 2.5.12+ds1-1 [259 kB] Get: 134 http://deb.debian.org/debian unstable/main armhf libxmu6 armhf 2:1.1.3-3+b2 [50.9 kB] Get: 135 http://deb.debian.org/debian unstable/main armhf libxpm4 armhf 1:3.5.17-1+b1 [50.0 kB] Get: 136 http://deb.debian.org/debian unstable/main armhf libxaw7 armhf 2:1.0.14-1+b2 [165 kB] Get: 137 http://deb.debian.org/debian unstable/main armhf libxi6 armhf 2:1.8.1-1 [73.8 kB] Get: 138 http://deb.debian.org/debian unstable/main armhf libzzip-0-13t64 armhf 0.13.72+dfsg.1-1.2+b1 [53.0 kB] Get: 139 http://deb.debian.org/debian unstable/main armhf texlive-binaries armhf 2023.20230311.66589-9+b2 [6062 kB] Get: 140 http://deb.debian.org/debian unstable/main armhf xdg-utils all 1.1.3-4.1 [75.5 kB] Get: 141 http://deb.debian.org/debian unstable/main armhf texlive-base all 2023.20240207-1 [22.0 MB] Get: 142 http://deb.debian.org/debian unstable/main armhf hicolor-icon-theme all 0.18-1 [12.0 kB] Get: 143 http://deb.debian.org/debian unstable/main armhf imagemagick-6.q16 armhf 8:6.9.12.98+dfsg1-5.2 [290 kB] Get: 144 http://deb.debian.org/debian unstable/main armhf imagemagick armhf 8:6.9.12.98+dfsg1-5.2 [19.4 kB] Get: 145 http://deb.debian.org/debian unstable/main armhf hevea armhf 2.36-2+b1 [1787 kB] Get: 146 http://deb.debian.org/debian unstable/main armhf libapache-pom-java all 29-2 [5276 B] Get: 147 http://deb.debian.org/debian unstable/main armhf libcommons-parent-java all 56-1 [10.8 kB] Get: 148 http://deb.debian.org/debian unstable/main armhf libcommons-logging-java all 1.3.0-1 [68.6 kB] Get: 149 http://deb.debian.org/debian unstable/main armhf libstdlib-ocaml armhf 4.14.1-1 [464 kB] Get: 150 http://deb.debian.org/debian unstable/main armhf libstdlib-ocaml-dev armhf 4.14.1-1 [7137 kB] Get: 151 http://deb.debian.org/debian unstable/main armhf libcompiler-libs-ocaml-dev armhf 4.14.1-1 [32.2 MB] Get: 152 http://deb.debian.org/debian unstable/main armhf libfontbox-java all 1:1.8.16-5 [211 kB] Get: 153 http://deb.debian.org/debian unstable/main armhf libncurses6 armhf 6.5-2 [81.8 kB] Get: 154 http://deb.debian.org/debian unstable/main armhf libncurses-dev armhf 6.5-2 [309 kB] Get: 155 http://deb.debian.org/debian unstable/main armhf libpdfbox-java all 1:1.8.16-5 [5527 kB] Get: 156 http://deb.debian.org/debian unstable/main armhf ocaml-base armhf 4.14.1-1 [358 kB] Get: 157 http://deb.debian.org/debian unstable/main armhf ocaml-interp armhf 4.14.1-1 [6458 kB] Get: 158 http://deb.debian.org/debian unstable/main armhf ocaml armhf 4.14.1-1 [66.5 MB] Get: 159 http://deb.debian.org/debian unstable/main armhf ocaml-dune armhf 3.14.0-1 [4314 kB] Get: 160 http://deb.debian.org/debian unstable/main armhf preview-latex-style all 13.2-1 [350 kB] Get: 161 http://deb.debian.org/debian unstable/main armhf texlive-fonts-recommended all 2023.20240207-1 [4990 kB] Get: 162 http://deb.debian.org/debian unstable/main armhf texlive-latex-base all 2023.20240207-1 [1255 kB] Get: 163 http://deb.debian.org/debian unstable/main armhf texlive-latex-recommended all 2023.20240207-1 [8843 kB] Get: 164 http://deb.debian.org/debian unstable/main armhf texlive-pictures all 2023.20240207-1 [16.7 MB] Get: 165 http://deb.debian.org/debian unstable/main armhf texlive-latex-extra all 2023.20240207-1 [19.7 MB] Fetched 268 MB in 18s (15.0 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libfftw3-double3:armhf. (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 ... 19463 files and directories currently installed.) Preparing to unpack .../00-libfftw3-double3_3.3.10-1+b2_armhf.deb ... Unpacking libfftw3-double3:armhf (3.3.10-1+b2) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../01-libexpat1_2.6.2-1_armhf.deb ... Unpacking libexpat1:armhf (2.6.2-1) ... Selecting previously unselected package libbrotli1:armhf. Preparing to unpack .../02-libbrotli1_1.1.0-2+b3_armhf.deb ... Unpacking libbrotli1:armhf (1.1.0-2+b3) ... Selecting previously unselected package libpng16-16t64:armhf. Preparing to unpack .../03-libpng16-16t64_1.6.43-5_armhf.deb ... Unpacking libpng16-16t64:armhf (1.6.43-5) ... Selecting previously unselected package libfreetype6:armhf. Preparing to unpack .../04-libfreetype6_2.13.2+dfsg-1+b4_armhf.deb ... Unpacking libfreetype6:armhf (2.13.2+dfsg-1+b4) ... Selecting previously unselected package libfontenc1:armhf. Preparing to unpack .../05-libfontenc1_1%3a1.1.8-1_armhf.deb ... Unpacking libfontenc1:armhf (1:1.1.8-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_armhf.deb ... Unpacking xfonts-utils (1:7.7+6) ... Selecting previously unselected package fonts-urw-base35. Preparing to unpack .../09-fonts-urw-base35_20200910-8_all.deb ... Unpacking fonts-urw-base35 (20200910-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../10-fontconfig-config_2.15.0-1.1_armhf.deb ... Unpacking fontconfig-config (2.15.0-1.1) ... Selecting previously unselected package libfontconfig1:armhf. Preparing to unpack .../11-libfontconfig1_2.15.0-1.1_armhf.deb ... Unpacking libfontconfig1:armhf (2.15.0-1.1) ... Selecting previously unselected package libsharpyuv0:armhf. Preparing to unpack .../12-libsharpyuv0_1.4.0-0.1_armhf.deb ... Unpacking libsharpyuv0:armhf (1.4.0-0.1) ... Selecting previously unselected package libdav1d7:armhf. Preparing to unpack .../13-libdav1d7_1.4.1-1_armhf.deb ... Unpacking libdav1d7:armhf (1.4.1-1) ... Selecting previously unselected package libheif-plugin-dav1d:armhf. Preparing to unpack .../14-libheif-plugin-dav1d_1.17.6-1+b2_armhf.deb ... Unpacking libheif-plugin-dav1d:armhf (1.17.6-1+b2) ... Selecting previously unselected package libde265-0:armhf. Preparing to unpack .../15-libde265-0_1.0.15-1+b1_armhf.deb ... Unpacking libde265-0:armhf (1.0.15-1+b1) ... Selecting previously unselected package libheif-plugin-libde265:armhf. Preparing to unpack .../16-libheif-plugin-libde265_1.17.6-1+b2_armhf.deb ... Unpacking libheif-plugin-libde265:armhf (1.17.6-1+b2) ... Selecting previously unselected package libheif1:armhf. Preparing to unpack .../17-libheif1_1.17.6-1+b2_armhf.deb ... Unpacking libheif1:armhf (1.17.6-1+b2) ... Selecting previously unselected package libjbig0:armhf. Preparing to unpack .../18-libjbig0_2.1-6.1+b1_armhf.deb ... Unpacking libjbig0:armhf (2.1-6.1+b1) ... Selecting previously unselected package libjpeg62-turbo:armhf. Preparing to unpack .../19-libjpeg62-turbo_1%3a2.1.5-3_armhf.deb ... Unpacking libjpeg62-turbo:armhf (1:2.1.5-3) ... Selecting previously unselected package liblcms2-2:armhf. Preparing to unpack .../20-liblcms2-2_2.14-2+b1_armhf.deb ... Unpacking liblcms2-2:armhf (2.14-2+b1) ... Selecting previously unselected package libglib2.0-0t64:armhf. Preparing to unpack .../21-libglib2.0-0t64_2.80.2-1_armhf.deb ... Unpacking libglib2.0-0t64:armhf (2.80.2-1) ... Selecting previously unselected package liblqr-1-0:armhf. Preparing to unpack .../22-liblqr-1-0_0.4.2-2.1+b1_armhf.deb ... Unpacking liblqr-1-0:armhf (0.4.2-2.1+b1) ... Selecting previously unselected package libltdl7:armhf. Preparing to unpack .../23-libltdl7_2.4.7-7+b1_armhf.deb ... Unpacking libltdl7:armhf (2.4.7-7+b1) ... Selecting previously unselected package libopenjp2-7:armhf. Preparing to unpack .../24-libopenjp2-7_2.5.0-2+b3_armhf.deb ... Unpacking libopenjp2-7:armhf (2.5.0-2+b3) ... Selecting previously unselected package libraw23t64:armhf. Preparing to unpack .../25-libraw23t64_0.21.2-2.1_armhf.deb ... Unpacking libraw23t64:armhf (0.21.2-2.1) ... Selecting previously unselected package libdeflate0:armhf. Preparing to unpack .../26-libdeflate0_1.20-1_armhf.deb ... Unpacking libdeflate0:armhf (1.20-1) ... Selecting previously unselected package liblerc4:armhf. Preparing to unpack .../27-liblerc4_4.0.0+ds-4+b1_armhf.deb ... Unpacking liblerc4:armhf (4.0.0+ds-4+b1) ... Selecting previously unselected package libwebp7:armhf. Preparing to unpack .../28-libwebp7_1.4.0-0.1_armhf.deb ... Unpacking libwebp7:armhf (1.4.0-0.1) ... Selecting previously unselected package libtiff6:armhf. Preparing to unpack .../29-libtiff6_4.5.1+git230720-4_armhf.deb ... Unpacking libtiff6:armhf (4.5.1+git230720-4) ... Selecting previously unselected package libwebpdemux2:armhf. Preparing to unpack .../30-libwebpdemux2_1.4.0-0.1_armhf.deb ... Unpacking libwebpdemux2:armhf (1.4.0-0.1) ... Selecting previously unselected package libwebpmux3:armhf. Preparing to unpack .../31-libwebpmux3_1.4.0-0.1_armhf.deb ... Unpacking libwebpmux3:armhf (1.4.0-0.1) ... Selecting previously unselected package libxau6:armhf. Preparing to unpack .../32-libxau6_1%3a1.0.9-1+b1_armhf.deb ... Unpacking libxau6:armhf (1:1.0.9-1+b1) ... Selecting previously unselected package libbsd0:armhf. Preparing to unpack .../33-libbsd0_0.12.2-1_armhf.deb ... Unpacking libbsd0:armhf (0.12.2-1) ... Selecting previously unselected package libxdmcp6:armhf. Preparing to unpack .../34-libxdmcp6_1%3a1.1.2-3+b1_armhf.deb ... Unpacking libxdmcp6:armhf (1:1.1.2-3+b1) ... Selecting previously unselected package libxcb1:armhf. Preparing to unpack .../35-libxcb1_1.17.0-1_armhf.deb ... Unpacking libxcb1:armhf (1.17.0-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../36-libx11-data_2%3a1.8.7-1_all.deb ... Unpacking libx11-data (2:1.8.7-1) ... Selecting previously unselected package libx11-6:armhf. Preparing to unpack .../37-libx11-6_2%3a1.8.7-1+b1_armhf.deb ... Unpacking libx11-6:armhf (2:1.8.7-1+b1) ... Selecting previously unselected package libxext6:armhf. Preparing to unpack .../38-libxext6_2%3a1.3.4-1+b1_armhf.deb ... Unpacking libxext6:armhf (2:1.3.4-1+b1) ... Selecting previously unselected package libicu72:armhf. Preparing to unpack .../39-libicu72_72.1-4+b1_armhf.deb ... Unpacking libicu72:armhf (72.1-4+b1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../40-libxml2_2.9.14+dfsg-1.3+b3_armhf.deb ... Unpacking libxml2:armhf (2.9.14+dfsg-1.3+b3) ... Selecting previously unselected package imagemagick-6-common. Preparing to unpack .../41-imagemagick-6-common_8%3a6.9.12.98+dfsg1-5.2_all.deb ... Unpacking imagemagick-6-common (8:6.9.12.98+dfsg1-5.2) ... Selecting previously unselected package libmagickcore-6.q16-7t64:armhf. Preparing to unpack .../42-libmagickcore-6.q16-7t64_8%3a6.9.12.98+dfsg1-5.2_armhf.deb ... Unpacking libmagickcore-6.q16-7t64:armhf (8:6.9.12.98+dfsg1-5.2) ... Selecting previously unselected package libmagickwand-6.q16-7t64:armhf. Preparing to unpack .../43-libmagickwand-6.q16-7t64_8%3a6.9.12.98+dfsg1-5.2_armhf.deb ... Unpacking libmagickwand-6.q16-7t64:armhf (8:6.9.12.98+dfsg1-5.2) ... Selecting previously unselected package poppler-data. Preparing to unpack .../44-poppler-data_0.4.12-1_all.deb ... Unpacking poppler-data (0.4.12-1) ... Selecting previously unselected package libpython3.11-minimal:armhf. Preparing to unpack .../45-libpython3.11-minimal_3.11.9-1_armhf.deb ... Unpacking libpython3.11-minimal:armhf (3.11.9-1) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../46-python3.11-minimal_3.11.9-1_armhf.deb ... Unpacking python3.11-minimal (3.11.9-1) ... Setting up libpython3.11-minimal:armhf (3.11.9-1) ... Setting up libexpat1:armhf (2.6.2-1) ... Setting up python3.11-minimal (3.11.9-1) ... 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 ... 21533 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.11.8-1_armhf.deb ... Unpacking python3-minimal (3.11.8-1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../2-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package tzdata. Preparing to unpack .../3-tzdata_2024a-4_all.deb ... Unpacking tzdata (2024a-4) ... Selecting previously unselected package readline-common. Preparing to unpack .../4-readline-common_8.2-4_all.deb ... Unpacking readline-common (8.2-4) ... Selecting previously unselected package libreadline8t64:armhf. Preparing to unpack .../5-libreadline8t64_8.2-4_armhf.deb ... Adding 'diversion of /lib/arm-linux-gnueabihf/libhistory.so.8 to /lib/arm-linux-gnueabihf/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libhistory.so.8.2 to /lib/arm-linux-gnueabihf/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libreadline.so.8 to /lib/arm-linux-gnueabihf/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libreadline.so.8.2 to /lib/arm-linux-gnueabihf/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:armhf (8.2-4) ... Selecting previously unselected package libpython3.11-stdlib:armhf. Preparing to unpack .../6-libpython3.11-stdlib_3.11.9-1_armhf.deb ... Unpacking libpython3.11-stdlib:armhf (3.11.9-1) ... Selecting previously unselected package python3.11. Preparing to unpack .../7-python3.11_3.11.9-1_armhf.deb ... Unpacking python3.11 (3.11.9-1) ... Selecting previously unselected package libpython3-stdlib:armhf. Preparing to unpack .../8-libpython3-stdlib_3.11.8-1_armhf.deb ... Unpacking libpython3-stdlib:armhf (3.11.8-1) ... Setting up python3-minimal (3.11.8-1) ... 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 ... 22525 files and directories currently installed.) Preparing to unpack .../000-python3_3.11.8-1_armhf.deb ... Unpacking python3 (3.11.8-1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../001-sensible-utils_0.0.22_all.deb ... Unpacking sensible-utils (0.0.22) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../002-libmagic-mgc_1%3a5.45-3_armhf.deb ... Unpacking libmagic-mgc (1:5.45-3) ... Selecting previously unselected package libmagic1t64:armhf. Preparing to unpack .../003-libmagic1t64_1%3a5.45-3_armhf.deb ... Unpacking libmagic1t64:armhf (1:5.45-3) ... Selecting previously unselected package file. Preparing to unpack .../004-file_1%3a5.45-3_armhf.deb ... Unpacking file (1:5.45-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../005-gettext-base_0.21-14+b1_armhf.deb ... Unpacking gettext-base (0.21-14+b1) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../006-libuchardet0_0.0.8-1+b1_armhf.deb ... Unpacking libuchardet0:armhf (0.0.8-1+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../007-groff-base_1.23.0-4_armhf.deb ... Unpacking groff-base (1.23.0-4) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../008-bsdextrautils_2.40.1-1_armhf.deb ... Unpacking bsdextrautils (2.40.1-1) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../009-libpipeline1_1.5.7-2_armhf.deb ... Unpacking libpipeline1:armhf (1.5.7-2) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.12.1-1_armhf.deb ... Unpacking man-db (2.12.1-1) ... Selecting previously unselected package ucf. Preparing to unpack .../011-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 .../012-m4_1.4.19-4_armhf.deb ... Unpacking m4 (1.4.19-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../013-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../014-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../015-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 .../016-autopoint_0.21-14_all.deb ... Unpacking autopoint (0.21-14) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../017-libdebhelper-perl_13.15.3_all.deb ... Unpacking libdebhelper-perl (13.15.3) ... Selecting previously unselected package libtool. Preparing to unpack .../018-libtool_2.4.7-7_all.deb ... Unpacking libtool (2.4.7-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../019-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../020-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libparams-util-perl. Preparing to unpack .../021-libparams-util-perl_1.102-3_armhf.deb ... Unpacking libparams-util-perl (1.102-3) ... Selecting previously unselected package libsub-install-perl. Preparing to unpack .../022-libsub-install-perl_0.929-1_all.deb ... Unpacking libsub-install-perl (0.929-1) ... Selecting previously unselected package libdata-optlist-perl. Preparing to unpack .../023-libdata-optlist-perl_0.114-1_all.deb ... Unpacking libdata-optlist-perl (0.114-1) ... Selecting previously unselected package libsub-exporter-perl. Preparing to unpack .../024-libsub-exporter-perl_0.990-1_all.deb ... Unpacking libsub-exporter-perl (0.990-1) ... Selecting previously unselected package libsub-prototype-perl. Preparing to unpack .../025-libsub-prototype-perl_0.03-2+b2_armhf.deb ... Unpacking libsub-prototype-perl (0.03-2+b2) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../026-libsub-override-perl_0.11-1_all.deb ... Unpacking libsub-override-perl (0.11-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../027-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 .../028-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1t64:armhf. Preparing to unpack .../029-libelf1t64_0.191-1+b1_armhf.deb ... Unpacking libelf1t64:armhf (0.191-1+b1) ... Selecting previously unselected package dwz. Preparing to unpack .../030-dwz_0.15-1+b2_armhf.deb ... Unpacking dwz (0.15-1+b2) ... Selecting previously unselected package gettext. Preparing to unpack .../031-gettext_0.21-14+b1_armhf.deb ... Unpacking gettext (0.21-14+b1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../032-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 .../033-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../034-debhelper_13.15.3_all.deb ... Unpacking debhelper (13.15.3) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../035-dh-ocaml_2.0_all.deb ... Unpacking dh-ocaml (2.0) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../036-fonts-lmodern_2.005-1_all.deb ... Unpacking fonts-lmodern (2.005-1) ... Selecting previously unselected package libgs-common. Preparing to unpack .../037-libgs-common_10.03.1~dfsg~git20240518-1_all.deb ... Unpacking libgs-common (10.03.1~dfsg~git20240518-1) ... Selecting previously unselected package libgs10-common. Preparing to unpack .../038-libgs10-common_10.03.1~dfsg~git20240518-1_all.deb ... Unpacking libgs10-common (10.03.1~dfsg~git20240518-1) ... Selecting previously unselected package libavahi-common-data:armhf. Preparing to unpack .../039-libavahi-common-data_0.8-13+b2_armhf.deb ... Unpacking libavahi-common-data:armhf (0.8-13+b2) ... Selecting previously unselected package libavahi-common3:armhf. Preparing to unpack .../040-libavahi-common3_0.8-13+b2_armhf.deb ... Unpacking libavahi-common3:armhf (0.8-13+b2) ... Selecting previously unselected package libdbus-1-3:armhf. Preparing to unpack .../041-libdbus-1-3_1.14.10-4+b1_armhf.deb ... Unpacking libdbus-1-3:armhf (1.14.10-4+b1) ... Selecting previously unselected package libavahi-client3:armhf. Preparing to unpack .../042-libavahi-client3_0.8-13+b2_armhf.deb ... Unpacking libavahi-client3:armhf (0.8-13+b2) ... Selecting previously unselected package libkrb5support0:armhf. Preparing to unpack .../043-libkrb5support0_1.20.1-6+b1_armhf.deb ... Unpacking libkrb5support0:armhf (1.20.1-6+b1) ... Selecting previously unselected package libcom-err2:armhf. Preparing to unpack .../044-libcom-err2_1.47.1-1_armhf.deb ... Unpacking libcom-err2:armhf (1.47.1-1) ... Selecting previously unselected package libk5crypto3:armhf. Preparing to unpack .../045-libk5crypto3_1.20.1-6+b1_armhf.deb ... Unpacking libk5crypto3:armhf (1.20.1-6+b1) ... Selecting previously unselected package libkeyutils1:armhf. Preparing to unpack .../046-libkeyutils1_1.6.3-3_armhf.deb ... Unpacking libkeyutils1:armhf (1.6.3-3) ... Selecting previously unselected package libkrb5-3:armhf. Preparing to unpack .../047-libkrb5-3_1.20.1-6+b1_armhf.deb ... Unpacking libkrb5-3:armhf (1.20.1-6+b1) ... Selecting previously unselected package libgssapi-krb5-2:armhf. Preparing to unpack .../048-libgssapi-krb5-2_1.20.1-6+b1_armhf.deb ... Unpacking libgssapi-krb5-2:armhf (1.20.1-6+b1) ... Selecting previously unselected package libcups2t64:armhf. Preparing to unpack .../049-libcups2t64_2.4.7-1.2+b1_armhf.deb ... Unpacking libcups2t64:armhf (2.4.7-1.2+b1) ... Selecting previously unselected package libidn12:armhf. Preparing to unpack .../050-libidn12_1.42-2_armhf.deb ... Unpacking libidn12:armhf (1.42-2) ... Selecting previously unselected package libijs-0.35:armhf. Preparing to unpack .../051-libijs-0.35_0.35-15.1+b1_armhf.deb ... Unpacking libijs-0.35:armhf (0.35-15.1+b1) ... Selecting previously unselected package libjbig2dec0:armhf. Preparing to unpack .../052-libjbig2dec0_0.20-1+b2_armhf.deb ... Unpacking libjbig2dec0:armhf (0.20-1+b2) ... Selecting previously unselected package libpaper1:armhf. Preparing to unpack .../053-libpaper1_1.1.29+b1_armhf.deb ... Unpacking libpaper1:armhf (1.1.29+b1) ... Selecting previously unselected package libice6:armhf. Preparing to unpack .../054-libice6_2%3a1.0.10-1+b1_armhf.deb ... Unpacking libice6:armhf (2:1.0.10-1+b1) ... Selecting previously unselected package libsm6:armhf. Preparing to unpack .../055-libsm6_2%3a1.2.3-1+b1_armhf.deb ... Unpacking libsm6:armhf (2:1.2.3-1+b1) ... Selecting previously unselected package libxt6t64:armhf. Preparing to unpack .../056-libxt6t64_1%3a1.2.1-1.2_armhf.deb ... Unpacking libxt6t64:armhf (1:1.2.1-1.2) ... Selecting previously unselected package libgs10:armhf. Preparing to unpack .../057-libgs10_10.03.1~dfsg~git20240518-1_armhf.deb ... Unpacking libgs10:armhf (10.03.1~dfsg~git20240518-1) ... Selecting previously unselected package ghostscript. Preparing to unpack .../058-ghostscript_10.03.1~dfsg~git20240518-1_armhf.deb ... Unpacking ghostscript (10.03.1~dfsg~git20240518-1) ... Selecting previously unselected package libnetpbm11t64:armhf. Preparing to unpack .../059-libnetpbm11t64_2%3a11.06.01-2_armhf.deb ... Unpacking libnetpbm11t64:armhf (2:11.06.01-2) ... Selecting previously unselected package netpbm. Preparing to unpack .../060-netpbm_2%3a11.06.01-2_armhf.deb ... Unpacking netpbm (2:11.06.01-2) ... Selecting previously unselected package tex-common. Preparing to unpack .../061-tex-common_6.18_all.deb ... Unpacking tex-common (6.18) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../062-libpaper-utils_1.1.29+b1_armhf.deb ... Unpacking libpaper-utils (1.1.29+b1) ... Selecting previously unselected package libkpathsea6:armhf. Preparing to unpack .../063-libkpathsea6_2023.20230311.66589-9+b2_armhf.deb ... Unpacking libkpathsea6:armhf (2023.20230311.66589-9+b2) ... Selecting previously unselected package libptexenc1:armhf. Preparing to unpack .../064-libptexenc1_2023.20230311.66589-9+b2_armhf.deb ... Unpacking libptexenc1:armhf (2023.20230311.66589-9+b2) ... Selecting previously unselected package libsynctex2:armhf. Preparing to unpack .../065-libsynctex2_2023.20230311.66589-9+b2_armhf.deb ... Unpacking libsynctex2:armhf (2023.20230311.66589-9+b2) ... Selecting previously unselected package libtexlua53-5:armhf. Preparing to unpack .../066-libtexlua53-5_2023.20230311.66589-9+b2_armhf.deb ... Unpacking libtexlua53-5:armhf (2023.20230311.66589-9+b2) ... Selecting previously unselected package t1utils. Preparing to unpack .../067-t1utils_1.41-4_armhf.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package libpixman-1-0:armhf. Preparing to unpack .../068-libpixman-1-0_0.42.2-1+b1_armhf.deb ... Unpacking libpixman-1-0:armhf (0.42.2-1+b1) ... Selecting previously unselected package libxcb-render0:armhf. Preparing to unpack .../069-libxcb-render0_1.17.0-1_armhf.deb ... Unpacking libxcb-render0:armhf (1.17.0-1) ... Selecting previously unselected package libxcb-shm0:armhf. Preparing to unpack .../070-libxcb-shm0_1.17.0-1_armhf.deb ... Unpacking libxcb-shm0:armhf (1.17.0-1) ... Selecting previously unselected package libxrender1:armhf. Preparing to unpack .../071-libxrender1_1%3a0.9.10-1.1+b1_armhf.deb ... Unpacking libxrender1:armhf (1:0.9.10-1.1+b1) ... Selecting previously unselected package libcairo2:armhf. Preparing to unpack .../072-libcairo2_1.18.0-3+b1_armhf.deb ... Unpacking libcairo2:armhf (1.18.0-3+b1) ... Selecting previously unselected package libgraphite2-3:armhf. Preparing to unpack .../073-libgraphite2-3_1.3.14-2_armhf.deb ... Unpacking libgraphite2-3:armhf (1.3.14-2) ... Selecting previously unselected package libharfbuzz0b:armhf. Preparing to unpack .../074-libharfbuzz0b_8.3.0-2+b1_armhf.deb ... Unpacking libharfbuzz0b:armhf (8.3.0-2+b1) ... Selecting previously unselected package libpotrace0:armhf. Preparing to unpack .../075-libpotrace0_1.16-2+b1_armhf.deb ... Unpacking libpotrace0:armhf (1.16-2+b1) ... Selecting previously unselected package libteckit0:armhf. Preparing to unpack .../076-libteckit0_2.5.12+ds1-1_armhf.deb ... Unpacking libteckit0:armhf (2.5.12+ds1-1) ... Selecting previously unselected package libxmu6:armhf. Preparing to unpack .../077-libxmu6_2%3a1.1.3-3+b2_armhf.deb ... Unpacking libxmu6:armhf (2:1.1.3-3+b2) ... Selecting previously unselected package libxpm4:armhf. Preparing to unpack .../078-libxpm4_1%3a3.5.17-1+b1_armhf.deb ... Unpacking libxpm4:armhf (1:3.5.17-1+b1) ... Selecting previously unselected package libxaw7:armhf. Preparing to unpack .../079-libxaw7_2%3a1.0.14-1+b2_armhf.deb ... Unpacking libxaw7:armhf (2:1.0.14-1+b2) ... Selecting previously unselected package libxi6:armhf. Preparing to unpack .../080-libxi6_2%3a1.8.1-1_armhf.deb ... Unpacking libxi6:armhf (2:1.8.1-1) ... Selecting previously unselected package libzzip-0-13t64:armhf. Preparing to unpack .../081-libzzip-0-13t64_0.13.72+dfsg.1-1.2+b1_armhf.deb ... Unpacking libzzip-0-13t64:armhf (0.13.72+dfsg.1-1.2+b1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../082-texlive-binaries_2023.20230311.66589-9+b2_armhf.deb ... Unpacking texlive-binaries (2023.20230311.66589-9+b2) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../083-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 .../084-texlive-base_2023.20240207-1_all.deb ... Unpacking texlive-base (2023.20240207-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../085-hicolor-icon-theme_0.18-1_all.deb ... Unpacking hicolor-icon-theme (0.18-1) ... Selecting previously unselected package imagemagick-6.q16. Preparing to unpack .../086-imagemagick-6.q16_8%3a6.9.12.98+dfsg1-5.2_armhf.deb ... Unpacking imagemagick-6.q16 (8:6.9.12.98+dfsg1-5.2) ... Selecting previously unselected package imagemagick. Preparing to unpack .../087-imagemagick_8%3a6.9.12.98+dfsg1-5.2_armhf.deb ... Unpacking imagemagick (8:6.9.12.98+dfsg1-5.2) ... Selecting previously unselected package hevea. Preparing to unpack .../088-hevea_2.36-2+b1_armhf.deb ... Unpacking hevea (2.36-2+b1) ... Selecting previously unselected package libapache-pom-java. Preparing to unpack .../089-libapache-pom-java_29-2_all.deb ... Unpacking libapache-pom-java (29-2) ... Selecting previously unselected package libcommons-parent-java. Preparing to unpack .../090-libcommons-parent-java_56-1_all.deb ... Unpacking libcommons-parent-java (56-1) ... Selecting previously unselected package libcommons-logging-java. Preparing to unpack .../091-libcommons-logging-java_1.3.0-1_all.deb ... Unpacking libcommons-logging-java (1.3.0-1) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../092-libstdlib-ocaml_4.14.1-1_armhf.deb ... Unpacking libstdlib-ocaml (4.14.1-1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../093-libstdlib-ocaml-dev_4.14.1-1_armhf.deb ... Unpacking libstdlib-ocaml-dev (4.14.1-1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../094-libcompiler-libs-ocaml-dev_4.14.1-1_armhf.deb ... Unpacking libcompiler-libs-ocaml-dev (4.14.1-1) ... Selecting previously unselected package libfontbox-java. Preparing to unpack .../095-libfontbox-java_1%3a1.8.16-5_all.deb ... Unpacking libfontbox-java (1:1.8.16-5) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../096-libncurses6_6.5-2_armhf.deb ... Unpacking libncurses6:armhf (6.5-2) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../097-libncurses-dev_6.5-2_armhf.deb ... Unpacking libncurses-dev:armhf (6.5-2) ... Selecting previously unselected package libpdfbox-java. Preparing to unpack .../098-libpdfbox-java_1%3a1.8.16-5_all.deb ... Unpacking libpdfbox-java (1:1.8.16-5) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../099-ocaml-base_4.14.1-1_armhf.deb ... Unpacking ocaml-base (4.14.1-1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../100-ocaml-interp_4.14.1-1_armhf.deb ... Unpacking ocaml-interp (4.14.1-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../101-ocaml_4.14.1-1_armhf.deb ... Unpacking ocaml (4.14.1-1) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../102-ocaml-dune_3.14.0-1_armhf.deb ... Unpacking ocaml-dune (3.14.0-1) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../103-preview-latex-style_13.2-1_all.deb ... Unpacking preview-latex-style (13.2-1) ... Selecting previously unselected package texlive-fonts-recommended. Preparing to unpack .../104-texlive-fonts-recommended_2023.20240207-1_all.deb ... Unpacking texlive-fonts-recommended (2023.20240207-1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../105-texlive-latex-base_2023.20240207-1_all.deb ... Unpacking texlive-latex-base (2023.20240207-1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../106-texlive-latex-recommended_2023.20240207-1_all.deb ... Unpacking texlive-latex-recommended (2023.20240207-1) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../107-texlive-pictures_2023.20240207-1_all.deb ... Unpacking texlive-pictures (2023.20240207-1) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../108-texlive-latex-extra_2023.20240207-1_all.deb ... Unpacking texlive-latex-extra (2023.20240207-1) ... Setting up media-types (10.1.0) ... Setting up libpipeline1:armhf (1.5.7-2) ... Setting up libgraphite2-3:armhf (1.3.14-2) ... Setting up liblcms2-2:armhf (2.14-2+b1) ... Setting up libpixman-1-0:armhf (0.42.2-1+b1) ... Setting up libsharpyuv0:armhf (1.4.0-0.1) ... Setting up libxau6:armhf (1:1.0.9-1+b1) ... Setting up imagemagick-6-common (8:6.9.12.98+dfsg1-5.2) ... Setting up libkeyutils1:armhf (1.6.3-3) ... Setting up libicu72:armhf (72.1-4+b1) ... Setting up liblerc4:armhf (4.0.0+ds-4+b1) ... Setting up bsdextrautils (2.40.1-1) ... Setting up hicolor-icon-theme (0.18-1) ... Setting up libmagic-mgc (1:5.45-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libijs-0.35:armhf (0.35-15.1+b1) ... Setting up libdebhelper-perl (13.15.3) ... Setting up libgs-common (10.03.1~dfsg~git20240518-1) ... Setting up libbrotli1:armhf (1.1.0-2+b3) ... Setting up libfontbox-java (1:1.8.16-5) ... Setting up libmagic1t64:armhf (1:5.45-3) ... 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 (2.0) ... Setting up libdeflate0:armhf (1.20-1) ... Setting up gettext-base (0.21-14+b1) ... Setting up m4 (1.4.19-4) ... Setting up libcom-err2:armhf (1.47.1-1) ... Setting up file (1:5.45-3) ... Setting up libjbig0:armhf (2.1-6.1+b1) ... Setting up libnetpbm11t64:armhf (2:11.06.01-2) ... Setting up libsub-install-perl (0.929-1) ... Setting up libelf1t64:armhf (0.191-1+b1) ... Setting up poppler-data (0.4.12-1) ... Setting up libkrb5support0:armhf (1.20.1-6+b1) ... Setting up ocaml-dune (3.14.0-1) ... Setting up tzdata (2024a-4) ... Current default time zone: 'Etc/UTC' Local time is now: Tue May 21 10:57:23 UTC 2024. Universal Time is now: Tue May 21 10:57:23 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libfontenc1:armhf (1:1.1.8-1) ... Setting up autotools-dev (20220109.1) ... Setting up libglib2.0-0t64:armhf (2.80.2-1) ... No schema files found: doing nothing. Setting up libjpeg62-turbo:armhf (1:2.1.5-3) ... Setting up libzzip-0-13t64:armhf (0.13.72+dfsg.1-1.2+b1) ... Setting up libx11-data (2:1.8.7-1) ... Setting up libjbig2dec0:armhf (0.20-1+b2) ... Setting up libteckit0:armhf (2.5.12+ds1-1) ... Setting up libapache-pom-java (29-2) ... Setting up libavahi-common-data:armhf (0.8-13+b2) ... Setting up libncurses6:armhf (6.5-2) ... Setting up libdbus-1-3:armhf (1.14.10-4+b1) ... Setting up xfonts-encodings (1:1.0.4-2.2) ... Setting up t1utils (1.41-4) ... Setting up libtexlua53-5:armhf (2023.20230311.66589-9+b2) ... Setting up libstdlib-ocaml (4.14.1-1) ... Setting up libpng16-16t64:armhf (1.6.43-5) ... Setting up libidn12:armhf (1.42-2) ... Setting up autopoint (0.21-14) ... Setting up ocaml-base (4.14.1-1) ... Setting up libk5crypto3:armhf (1.20.1-6+b1) ... Setting up libltdl7:armhf (2.4.7-7+b1) ... Setting up libfftw3-double3:armhf (3.3.10-1+b2) ... Setting up libparams-util-perl (1.102-3) ... Setting up libkpathsea6:armhf (2023.20230311.66589-9+b2) ... Setting up libraw23t64:armhf (0.21.2-2.1) ... Setting up autoconf (2.71-3) ... Setting up libwebp7:armhf (1.4.0-0.1) ... Setting up dwz (0.15-1+b2) ... Setting up libdav1d7:armhf (1.4.1-1) ... Setting up liblqr-1-0:armhf (0.4.2-2.1+b1) ... Setting up sensible-utils (0.0.22) ... Setting up libtiff6:armhf (4.5.1+git230720-4) ... Setting up libuchardet0:armhf (0.0.8-1+b1) ... Setting up fonts-lmodern (2.005-1) ... Setting up libopenjp2-7:armhf (2.5.0-2+b3) ... Setting up netbase (6.4) ... Setting up libkrb5-3:armhf (1.20.1-6+b1) ... Setting up libde265-0:armhf (1.0.15-1+b1) ... Setting up libwebpmux3:armhf (1.4.0-0.1) ... Setting up libbsd0:armhf (0.12.2-1) ... Setting up readline-common (8.2-4) ... Setting up libxml2:armhf (2.9.14+dfsg-1.3+b3) ... Setting up xdg-utils (1.1.3-4.1) ... update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode Setting up libsynctex2:armhf (2023.20230311.66589-9+b2) ... Setting up libpotrace0:armhf (1.16-2+b1) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libice6:armhf (2:1.0.10-1+b1) ... Setting up libxdmcp6:armhf (1:1.1.2-3+b1) ... Setting up libncurses-dev:armhf (6.5-2) ... Setting up libxcb1:armhf (1.17.0-1) ... Setting up gettext (0.21-14+b1) ... Setting up libpdfbox-java (1:1.8.16-5) ... Setting up libtool (2.4.7-7) ... Setting up libstdlib-ocaml-dev (4.14.1-1) ... Setting up libxcb-render0:armhf (1.17.0-1) ... Setting up libwebpdemux2:armhf (1.4.0-0.1) ... Setting up libcommons-parent-java (56-1) ... Setting up libavahi-common3:armhf (0.8-13+b2) ... Setting up libcommons-logging-java (1.3.0-1) ... Setting up libxcb-shm0:armhf (1.17.0-1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (4.14.1-1) ... Setting up ocaml-interp (4.14.1-1) ... Setting up libptexenc1:armhf (2023.20230311.66589-9+b2) ... Setting up libfreetype6:armhf (2.13.2+dfsg-1+b4) ... Setting up libgssapi-krb5-2:armhf (1.20.1-6+b1) ... Setting up libdata-optlist-perl (0.114-1) ... Setting up ucf (3.0043+nmu1) ... Setting up libreadline8t64:armhf (8.2-4) ... Setting up groff-base (1.23.0-4) ... Setting up libx11-6:armhf (2:1.8.7-1+b1) ... Setting up libharfbuzz0b:armhf (8.3.0-2+b1) ... Setting up libsm6:armhf (2:1.2.3-1+b1) ... Setting up libavahi-client3:armhf (0.8-13+b2) ... Setting up libsub-exporter-perl (0.990-1) ... Setting up libpaper1:armhf (1.1.29+b1) ... Creating config file /etc/papersize with new version Setting up libxpm4:armhf (1:3.5.17-1+b1) ... Setting up libxrender1:armhf (1:0.9.10-1.1+b1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpython3.11-stdlib:armhf (3.11.9-1) ... Setting up libxext6:armhf (2:1.3.4-1+b1) ... Setting up libsub-prototype-perl (0.03-2+b2) ... Setting up libpaper-utils (1.1.29+b1) ... Setting up ocaml (4.14.1-1) ... Setting up xfonts-utils (1:7.7+6) ... Setting up man-db (2.12.1-1) ... 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 libxt6t64:armhf (1:1.2.1-1.2) ... Setting up netpbm (2:11.06.01-2) ... Setting up libsub-override-perl (0.11-1) ... Setting up libcups2t64:armhf (2.4.7-1.2+b1) ... Setting up libpython3-stdlib:armhf (3.11.8-1) ... Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up python3.11 (3.11.9-1) ... Setting up libxmu6:armhf (2:1.1.3-3+b2) ... Setting up libxi6:armhf (2:1.8.1-1) ... Setting up preview-latex-style (13.2-1) ... Setting up python3 (3.11.8-1) ... Setting up libxaw7:armhf (2:1.0.14-1+b2) ... Setting up fonts-urw-base35 (20200910-8) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up libgs10-common (10.03.1~dfsg~git20240518-1) ... Setting up fontconfig-config (2.15.0-1.1) ... Setting up debhelper (13.15.3) ... Setting up libfontconfig1:armhf (2.15.0-1.1) ... Setting up libgs10:armhf (10.03.1~dfsg~git20240518-1) ... Setting up ghostscript (10.03.1~dfsg~git20240518-1) ... Setting up libcairo2:armhf (1.18.0-3+b1) ... Setting up texlive-binaries (2023.20230311.66589-9+b2) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up texlive-base (2023.20240207-1) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex Setting up texlive-latex-base (2023.20240207-1) ... Setting up texlive-latex-recommended (2023.20240207-1) ... Setting up texlive-pictures (2023.20240207-1) ... Setting up texlive-fonts-recommended (2023.20240207-1) ... Setting up texlive-latex-extra (2023.20240207-1) ... Setting up libheif-plugin-dav1d:armhf (1.17.6-1+b2) ... Setting up libheif-plugin-libde265:armhf (1.17.6-1+b2) ... Setting up libheif1:armhf (1.17.6-1+b2) ... Setting up libmagickcore-6.q16-7t64:armhf (8:6.9.12.98+dfsg1-5.2) ... Setting up libmagickwand-6.q16-7t64:armhf (8:6.9.12.98+dfsg1-5.2) ... Setting up imagemagick-6.q16 (8:6.9.12.98+dfsg1-5.2) ... 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 hevea (2.36-2+b1) ... Setting up imagemagick (8:6.9.12.98+dfsg1-5.2) ... Processing triggers for libc-bin (2.38-11) ... 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/reproducible-path/menhir-20231231+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_20231231+ds-1_source.changes dpkg-buildpackage: info: source package menhir dpkg-buildpackage: info: source version 20231231+ds-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Stéphane Glondu dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf debian/rules clean dh clean --with ocaml --buildsystem ocaml_dune dh_auto_clean -O--buildsystem=ocaml_dune dune clean dh_autoreconf_clean -O--buildsystem=ocaml_dune dh_ocamlclean -O--buildsystem=ocaml_dune dh_clean -O--buildsystem=ocaml_dune debian/rules binary dh binary --with ocaml --buildsystem ocaml_dune dh_update_autotools_config -O--buildsystem=ocaml_dune dh_autoreconf -O--buildsystem=ocaml_dune dh_ocamlinit -O--buildsystem=ocaml_dune dh_auto_configure -O--buildsystem=ocaml_dune debian/rules execute_before_dh_auto_build make[1]: Entering directory '/build/reproducible-path/menhir-20231231+ds' make -C doc make[2]: Entering directory '/build/reproducible-path/menhir-20231231+ds/doc' pdflatex manual This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> (./sigplanconf.cls Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2023/05/17 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered .code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de f))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.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/generic/ltxcmds/ltxcmds.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/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./version.tex) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file manual.aux. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/var/lib/texmf/font s/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/b ase/8r.enc}] No file manual.toc. [2] LaTeX Warning: Citation `knuth-lr-65' on page 3 undefined on input line 58. (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) LaTeX Warning: Citation `johnson-yacc-79' on page 3 undefined on input line 59. LaTeX Warning: Citation `tarditi-appel-00' on page 3 undefined on input line 59 . LaTeX Warning: Citation `ocaml' on page 3 undefined on input line 60. LaTeX Warning: Citation `aho-86' on page 3 undefined on input line 66. LaTeX Warning: Citation `appel-tiger-98' on page 3 undefined on input line 66. LaTeX Warning: Citation `hopcroft-motwani-ullman-00' on page 3 undefined on inp ut line 66. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) LaTeX Warning: Reference `sec:errors' on page 3 undefined on input line 108. LaTeX Warning: Reference `sec:split' on page 3 undefined on input line 123. LaTeX Warning: Reference `sec:sdk' on page 3 undefined on input line 139. LaTeX Warning: Reference `sec:errors:new' on page 3 undefined on input line 151 . [3] LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 158 . LaTeX Warning: Reference `sec:coq' on page 4 undefined on input line 160. LaTeX Warning: Reference `sec:coq' on page 4 undefined on input line 182. LaTeX Warning: Reference `sec:conflicts:benign' on page 4 undefined on input li ne 184. LaTeX Warning: Reference `sec:build' on page 4 undefined on input line 192. LaTeX Warning: Reference `sec:conflicts' on page 4 undefined on input line 197. LaTeX Warning: Reference `sec:onerrorreduce' on page 4 undefined on input line 198. LaTeX Warning: Reference `sec:conflicts' on page 4 undefined on input line 211. LaTeX Warning: Reference `sec:onerrorreduce' on page 4 undefined on input line 212. LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 217 . LaTeX Warning: Reference `sec:tokens' on page 4 undefined on input line 224. LaTeX Warning: Reference `sec:errors:new' on page 4 undefined on input line 230 . [4] LaTeX Warning: Reference `sec:conflicts' on page 5 undefined on input line 236. LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 252. LaTeX Warning: Reference `sec:monolithic' on page 5 undefined on input line 255 . LaTeX Warning: Reference `sec:incremental' on page 5 undefined on input line 25 6. LaTeX Warning: Reference `sec:inspection' on page 5 undefined on input line 256 . LaTeX Warning: Reference `sec:interpret' on page 5 undefined on input line 264. LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 269 . LaTeX Warning: Reference `sec:interpret' on page 5 undefined on input line 273. LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 277 . LaTeX Warning: Reference `sec:errors:new' on page 5 undefined on input line 296 . LaTeX Warning: Reference `sec:library' on page 5 undefined on input line 306. LaTeX Warning: Reference `sec:build' on page 5 undefined on input line 308. [5] LaTeX Warning: Reference `sec:build' on page 6 undefined on input line 310. LaTeX Warning: Reference `sec:split' on page 6 undefined on input line 315. LaTeX Warning: Reference `sec:templates' on page 6 undefined on input line 316. LaTeX Warning: Reference `sec:inline' on page 6 undefined on input line 318. LaTeX Warning: Reference `sec:tokens' on page 6 undefined on input line 362. LaTeX Warning: Reference `sec:build' on page 6 undefined on input line 365. LaTeX Warning: Reference `sec:tokens' on page 6 undefined on input line 374. LaTeX Warning: Reference `sec:errors' on page 6 undefined on input line 388. [6] LaTeX Warning: Reference `sec:build' on page 7 undefined on input line 397. LaTeX Warning: Reference `sec:qa' on page 7 undefined on input line 402. LaTeX Warning: Reference `sec:incremental' on page 7 undefined on input line 41 5. LaTeX Warning: Reference `sec:inspection' on page 7 undefined on input line 416 . LaTeX Warning: Reference `sec:unparsing' on page 7 undefined on input line 431. LaTeX Warning: Reference `sec:errors:new' on page 7 undefined on input line 449 . LaTeX Warning: Reference `sec:decls' on page 7 undefined on input line 459. LaTeX Warning: Reference `sec:old:rules' on page 7 undefined on input line 461. LaTeX Warning: Reference `sec:producers' on page 7 undefined on input line 463. LaTeX Warning: Reference `sec:new:rules' on page 7 undefined on input line 465. LaTeX Warning: Reference `sec:tokens' on page 7 undefined on input line 480. [7] LaTeX Warning: Reference `fig:syntax' on page 8 undefined on input line 598. LaTeX Warning: Reference `sec:attributes' on page 8 undefined on input line 600 . LaTeX Warning: Reference `sec:decls' on page 8 undefined on input line 606. LaTeX Warning: Reference `sec:old:rules' on page 8 undefined on input line 617. LaTeX Warning: Reference `sec:new:rules' on page 8 undefined on input line 618. Underfull \vbox (badness 2538) has occurred while \output is active [8] [9] LaTeX Warning: Reference `sec:conflicts' on page 10 undefined on input line 752 . LaTeX Warning: Reference `sec:decls:headers' on page 10 undefined on input line 772. LaTeX Warning: Reference `sec:attributes' on page 10 undefined on input line 80 1. Underfull \vbox (badness 2261) has occurred while \output is active [10] LaTeX Warning: Reference `sec:errors:diagnostics' on page 11 undefined on input line 844. LaTeX Warning: Reference `sec:productiongroups' on page 11 undefined on input l ine 870. LaTeX Warning: Reference `sec:split' on page 11 undefined on input line 874. LaTeX Warning: Reference `sec:inline' on page 11 undefined on input line 874. LaTeX Warning: Reference `sec:templates' on page 11 undefined on input line 876 . LaTeX Warning: Reference `sec:productions' on page 11 undefined on input line 8 81. LaTeX Warning: Reference `sec:actions' on page 11 undefined on input line 882. LaTeX Warning: Reference `sec:prec' on page 11 undefined on input line 883. [11] LaTeX Warning: Reference `sec:assoc' on page 12 undefined on input line 909. LaTeX Warning: Reference `sec:conflicts' on page 12 undefined on input line 916 . LaTeX Warning: Reference `sec:producers' on page 12 undefined on input line 930 . LaTeX Warning: Reference `sec:prec' on page 12 undefined on input line 931. LaTeX Warning: Reference `sec:actual' on page 12 undefined on input line 939. LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 952 . LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 956 . LaTeX Warning: Reference `fig:sugar' on page 12 undefined on input line 957. LaTeX Warning: Reference `sec:inline' on page 12 undefined on input line 1002. LaTeX Warning: Reference `sec:split' on page 12 undefined on input line 1005. LaTeX Warning: Reference `sec:templates' on page 12 undefined on input line 100 7. LaTeX Warning: Reference `fig:syntax' on page 12 undefined on input line 1009. [12] LaTeX Warning: Reference `sec:templates' on page 13 undefined on input line 105 4. LaTeX Warning: Reference `fig:sugar' on page 13 undefined on input line 1054. Excluding 'comment' comment. LaTeX Warning: Reference `fig:syntax' on page 13 undefined on input line 1101. LaTeX Warning: Reference `sec:library' on page 13 undefined on input line 1116. LaTeX Warning: Reference `fig:standard' on page 13 undefined on input line 1116 . LaTeX Warning: Reference `sec:actual' on page 13 undefined on input line 1124. LaTeX Warning: Reference `sec:library' on page 13 undefined on input line 1130. [13] LaTeX Warning: Reference `sec:library' on page 14 undefined on input line 1163. LaTeX Warning: Reference `sec:inline' on page 14 undefined on input line 1177. LaTeX Warning: Reference `sec:templates' on page 14 undefined on input line 120 0. LaTeX Warning: Reference `sec:library' on page 14 undefined on input line 1207. [14] LaTeX Warning: Reference `sec:library' on page 15 undefined on input line 1264. LaTeX Warning: Reference `sec:library' on page 15 undefined on input line 1337. [15] LaTeX Warning: Reference `sec:library' on page 16 undefined on input line 1368. LaTeX Warning: Reference `fig:sugar' on page 16 undefined on input line 1369. [16] LaTeX Warning: Reference `sec:positions' on page 17 undefined on input line 150 3. Underfull \hbox (badness 3635) in paragraph at lines 1556--1557 []\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 1582. LaTeX Warning: Reference `sec:templates' on page 17 undefined on input line 158 3. LaTeX Warning: Reference `sec:inline' on page 17 undefined on input line 1583. LaTeX Warning: Reference `fig:standard' on page 17 undefined on input line 1588 . LaTeX Warning: Reference `fig:sugar' on page 17 undefined on input line 1589. [17] LaTeX Warning: Reference `fig:standard' on page 18 undefined on input line 1620 . LaTeX Warning: Reference `sec:actual' on page 18 undefined on input line 1623. LaTeX Warning: Reference `sec:actual' on page 18 undefined on input line 1648. LaTeX Warning: Reference `sec:inline' on page 18 undefined on input line 1649. [18] LaTeX Warning: Reference `sec:actual' on page 19 undefined on input line 1680. LaTeX Warning: Reference `sec:inline' on page 19 undefined on input line 1681. LaTeX Warning: Reference `sec:assoc' on page 19 undefined on input line 1714. LaTeX Warning: Reference `sec:prec' on page 19 undefined on input line 1714. LaTeX Warning: Reference `multiway' on page 19 undefined on input line 1740. LaTeX Warning: Reference `fig:basicshiftreduce' on page 19 undefined on input l ine 1780. [19] LaTeX Warning: Reference `fig:shifting:tree' on page 20 undefined on input line 1873. LaTeX Warning: Reference `fig:shifting:tree' on page 20 undefined on input line 1878. LaTeX Warning: Reference `fig:shifting:text' on page 20 undefined on input line 1878. [20] LaTeX Warning: Reference `fig:shifting:text' on page 21 undefined on input line 1889. LaTeX Warning: Reference `fig:reducing:tree' on page 21 undefined on input line 1932. LaTeX Warning: Reference `fig:reducing:tree' on page 21 undefined on input line 1937. LaTeX Warning: Reference `fig:reducing:text' on page 21 undefined on input line 1937. LaTeX Warning: Reference `fig:reducing:text' on page 21 undefined on input line 1941. [21] LaTeX Warning: Reference `fig:xreducing:tree' on page 22 undefined on input lin e 1954. LaTeX Warning: Reference `fig:xreducing:text' on page 22 undefined on input lin e 1954. Missing character: There is no ] in font nullfont! LaTeX Warning: Reference `fig:xreducing:tree' on page 22 undefined on input lin e 2009. LaTeX Warning: Reference `fig:xreducing:text' on page 22 undefined on input lin e 2017. LaTeX Warning: Reference `fig:xreducing:tree' on page 22 undefined on input lin e 2032. LaTeX Warning: Reference `fig:xreducing:text' on page 22 undefined on input lin e 2033. [22] [23] LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2218 . LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2235 . LaTeX Warning: Reference `fig:basiceos' on page 24 undefined on input line 2247 . LaTeX Warning: Reference `fig:basiceosdump' on page 24 undefined on input line 2252. LaTeX Warning: Reference `fig:basiceos:sol' on page 24 undefined on input line 2276. Underfull \vbox (badness 6078) has occurred while \output is active [24] [25] LaTeX Warning: Reference `fig:pos' on page 26 undefined on input line 2363. [26] LaTeX Warning: Reference `fig:pos:mapping' on page 27 undefined on input line 2 427. LaTeX Warning: Reference `fig:pos:mapping' on page 27 undefined on input line 2 432. LaTeX Warning: Reference `sec:inline' on page 27 undefined on input line 2438. [27] LaTeX Warning: Reference `sec:sentences' on page 28 undefined on input line 253 6. [28] LaTeX Warning: Reference `sec:qa' on page 29 undefined on input line 2643. [29] LaTeX Warning: Reference `sec:incremental' on page 30 undefined on input line 2 700. LaTeX Warning: Reference `sec:inspection' on page 30 undefined on input line 27 00. LaTeX Warning: Reference `sec:incremental:driving' on page 30 undefined on inpu t line 2723. LaTeX Warning: Reference `sec:incremental:inspecting' on page 30 undefined on i nput line 2724. LaTeX Warning: Reference `sec:incremental:updating' on page 30 undefined on inp ut line 2724. [30] LaTeX Warning: Reference `sec:errors' on page 31 undefined on input line 2833. [31] LaTeX Warning: Reference `sec:errors' on page 32 undefined on input line 2888. [32] LaTeX Warning: Reference `sec:inspection' on page 33 undefined on input line 30 44. [33] LaTeX Warning: Reference `sec:incremental:updating' on page 34 undefined on inp ut line 3109. LaTeX Warning: Reference `sec:incremental:inspecting' on page 34 undefined on i nput line 3145. LaTeX Warning: Reference `sec:inspection' on page 34 undefined on input line 31 57. [34] LaTeX Warning: Reference `sec:errors:new' on page 35 undefined on input line 32 05. [35] [36] (./unparsing.tex LaTeX Warning: Reference `sec:assoc' on page 37 undefined on input line 17. LaTeX Warning: Reference `sec:prec' on page 37 undefined on input line 17. LaTeX Warning: Citation `pottier-unparsing-24' on page 37 undefined on input li ne 26. [37] LaTeX Warning: Reference `step:settle' on page 38 undefined on input line 93. LaTeX Warning: Reference `step:describe' on page 38 undefined on input line 94. LaTeX Warning: Reference `step:settle' on page 38 undefined on input line 95. LaTeX Warning: Reference `step:settle' on page 38 undefined on input line 96. LaTeX Warning: Reference `step:format' on page 38 undefined on input line 97. LaTeX Warning: Reference `step:describe' on page 38 undefined on input line 170 . LaTeX Warning: Citation `pottier-unparsing-24' on page 38 undefined on input li ne 174. [38] LaTeX Warning: Reference `sec:tokens' on page 39 undefined on input line 236. ) LaTeX Warning: Reference `sec:errors:new' on page 39 undefined on input line 34 15. [39] LaTeX Warning: Reference `sec:incremental' on page 40 undefined on input line 3 485. LaTeX Warning: Reference `sec:errors' on page 40 undefined on input line 3490. LaTeX Warning: Citation `jeffery-03' on page 40 undefined on input line 3498. LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 40 undefined on input line 3499. [40] LaTeX Warning: Reference `sec:messages:format' on page 41 undefined on input li ne 3513. LaTeX Warning: Reference `sec:messages:tools' on page 41 undefined on input lin e 3515. LaTeX Warning: Reference `sec:errors:diagnostics' on page 41 undefined on input line 3517. LaTeX Warning: Reference `sec:errors:example' on page 41 undefined on input lin e 3518. LaTeX Warning: Citation `knuth-lr-65' on page 41 undefined on input line 3524. LaTeX Warning: Citation `pager-77' on page 41 undefined on input line 3525. LaTeX Warning: Reference `sec:errors:diagnostics' on page 41 undefined on input line 3531. LaTeX Warning: Reference `sec:sentences' on page 41 undefined on input line 354 6. LaTeX Warning: Reference `fig:messages:entry' on page 41 undefined on input lin e 3613. LaTeX Warning: Reference `sec:messages:merge' on page 41 undefined on input lin e 3622. [41] LaTeX Warning: Reference `sec:messages:tools' on page 42 undefined on input lin e 3636. LaTeX Warning: Reference `fig:messages:entry:decorated' on page 42 undefined on input line 3644. [42] LaTeX Warning: Reference `sec:errors:diagnostics' on page 43 undefined on input line 3670. [43] [44] LaTeX Warning: Reference `fig:declarations' on page 45 undefined on input line 3862. LaTeX Warning: Reference `sec:messages:format' on page 45 undefined on input li ne 3868. LaTeX Warning: Reference `fig:declarations' on page 45 undefined on input line 3874. LaTeX Warning: Reference `fig:declarations:over' on page 45 undefined on input line 3886. LaTeX Warning: Reference `fig:declarations:over' on page 45 undefined on input line 3889. LaTeX Warning: Reference `fig:declarations:over' on page 45 undefined on input line 3893. [45] LaTeX Warning: Reference `fig:declarations:over' on page 46 undefined on input line 3903. LaTeX Warning: Reference `fig:declarations:over' on page 46 undefined on input line 3916. LaTeX Warning: Reference `fig:declarations:over' on page 46 undefined on input line 3922. LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 46 undefined on input line 3945. LaTeX Warning: Reference `fig:declarations:phantom' on page 46 undefined on inp ut line 3967. LaTeX Warning: Reference `fig:declarations' on page 46 undefined on input line 3971. [46] LaTeX Warning: Reference `sec:onerrorreduce' on page 47 undefined on input line 3987. LaTeX Warning: Reference `fig:declarations:over' on page 47 undefined on input line 3988. LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 47 undefined on input line 3995. LaTeX Warning: Reference `fig:declarations' on page 47 undefined on input line 3997. LaTeX Warning: Reference `fig:declarations' on page 47 undefined on input line 4012. LaTeX Warning: Reference `fig:declarations:over' on page 47 undefined on input line 4014. LaTeX Warning: Reference `fig:declarations:onerrorreduce' on page 47 undefined on input line 4015. LaTeX Warning: Reference `fig:declarations:under' on page 47 undefined on input line 4017. LaTeX Warning: Reference `fig:declarations:under' on page 47 undefined on input line 4031. [47] LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 48 undefined on inpu t line 4115. LaTeX Warning: Citation `compcert' on page 48 undefined on input line 4117. LaTeX Warning: Reference `sec:errors' on page 48 undefined on input line 4135. LaTeX Warning: Reference `fig:pos' on page 48 undefined on input line 4138. LaTeX Warning: Reference `sec:parameter' on page 48 undefined on input line 413 9. LaTeX Warning: Reference `sec:inline' on page 48 undefined on input line 4140. LaTeX Warning: Reference `sec:library' on page 48 undefined on input line 4141. [48] LaTeX Warning: Reference `sec:type' on page 49 undefined on input line 4146. LaTeX Warning: Reference `sec:start' on page 49 undefined on input line 4146. LaTeX Warning: Reference `sec:conflicts:benign' on page 49 undefined on input l ine 4149. LaTeX Warning: Reference `sec:assoc' on page 49 undefined on input line 4151. LaTeX Warning: Citation `compcert' on page 49 undefined on input line 4187. LaTeX Warning: Reference `sec:coq:errmsg' on page 49 undefined on input line 42 18. [49] LaTeX Warning: Citation `compcert' on page 50 undefined on input line 4283. LaTeX Warning: Citation `compcert-github' on page 50 undefined on input line 42 83. LaTeX Warning: Reference `sec:errors:example' on page 50 undefined on input lin e 4291. LaTeX Warning: Reference `sec:messages:format' on page 50 undefined on input li ne 4303. LaTeX Warning: Reference `sec:messages:tools' on page 50 undefined on input lin e 4304. LaTeX Warning: Citation `klint-laemmel-verhoef-05' on page 50 undefined on inpu t line 4323. LaTeX Warning: Reference `sec:sdk' on page 50 undefined on input line 4329. LaTeX Warning: Reference `sec:attributes' on page 50 undefined on input line 43 37. [50] LaTeX Warning: Reference `sec:decls' on page 51 undefined on input line 4408. LaTeX Warning: Reference `sec:producers' on page 51 undefined on input line 443 9. [51] LaTeX Warning: Reference `sec:productiongroups' on page 52 undefined on input l ine 4452. LaTeX Warning: Reference `sec:decls' on page 52 undefined on input line 4479. LaTeX Warning: Reference `sec:attributes:placement' on page 52 undefined on inp ut line 4489. LaTeX Warning: Reference `sec:templates' on page 52 undefined on input line 449 7. LaTeX Warning: Reference `sec:templates' on page 52 undefined on input line 451 2. [52] LaTeX Warning: Reference `sec:inline' on page 53 undefined on input line 4550. LaTeX Warning: Reference `sec:build:infer' on page 53 undefined on input line 4 603. LaTeX Warning: Reference `sec:build:flags' on page 53 undefined on input line 4 603. LaTeX Warning: Reference `sec:dune' on page 53 undefined on input line 4609. LaTeX Warning: Reference `sec:build:infer:none' on page 53 undefined on input l ine 4623. LaTeX Warning: Reference `sec:build:infer:direct' on page 53 undefined on input line 4626. LaTeX Warning: Reference `sec:build:infer:indirect' on page 53 undefined on inp ut line 4629. LaTeX Warning: Reference `sec:build:infer:direct' on page 53 undefined on input line 4638. LaTeX Warning: Reference `sec:build:infer:indirect' on page 53 undefined on inp ut line 4639. Underfull \vbox (badness 5417) has occurred while \output is active [53] [54] LaTeX Warning: Reference `sec:positions' on page 55 undefined on input line 481 5. LaTeX Warning: Reference `sec:templates' on page 55 undefined on input line 482 3. LaTeX Warning: Reference `sec:actual' on page 55 undefined on input line 4825. LaTeX Warning: Reference `sec:library' on page 55 undefined on input line 4826. LaTeX Warning: Reference `fig:sugar' on page 55 undefined on input line 4829. [55] LaTeX Warning: Reference `sec:inline' on page 56 undefined on input line 4834. LaTeX Warning: Reference `sec:conflicts' on page 56 undefined on input line 483 7. LaTeX Warning: Reference `sec:incremental' on page 56 undefined on input line 4 841. LaTeX Warning: Reference `sec:errors:new' on page 56 undefined on input line 48 47. LaTeX Warning: Reference `sec:coq' on page 56 undefined on input line 4850. LaTeX Warning: Reference `sec:interpret' on page 56 undefined on input line 485 2. LaTeX Warning: Reference `sec:split' on page 56 undefined on input line 4855. LaTeX Warning: Reference `sec:eos' on page 56 undefined on input line 4866. LaTeX Warning: Reference `sec:positions' on page 56 undefined on input line 488 2. LaTeX Warning: Reference `sec:errors' on page 56 undefined on input line 4884. LaTeX Warning: Reference `sec:errors' on page 56 undefined on input line 4886. LaTeX Warning: Reference `sec:conflicts' on page 56 undefined on input line 489 1. Underfull \vbox (badness 10000) has occurred while \output is active [56] LaTeX Warning: Reference `sec:build' on page 57 undefined on input line 4942. LaTeX Warning: Reference `sec:errors:new' on page 57 undefined on input line 49 63. Overfull \hbox (52.85591pt too wide) in paragraph at lines 4947--4965 \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 4947--4965 \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 4947--4965 \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 4947--4965 \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 57 undefined on input line 50 16. LaTeX Warning: Reference `sec:decls:headers' on page 57 undefined on input line 5045. [57] LaTeX Warning: Reference `sec:monolithic' on page 58 undefined on input line 50 57. LaTeX Warning: Reference `sec:incremental' on page 58 undefined on input line 5 063. LaTeX Warning: Reference `sec:positions' on page 58 undefined on input line 510 6. LaTeX Warning: Citation `obelisk' on page 58 undefined on input line 5110. LaTeX Warning: Reference `sec:library' on page 58 undefined on input line 5113. LaTeX Warning: Citation `knuth-lr-65' on page 58 undefined on input line 5119. LaTeX Warning: Citation `pager-77' on page 58 undefined on input line 5122. LaTeX Warning: Citation `bison' on page 58 undefined on input line 5125. Underfull \vbox (badness 10000) has occurred while \output is active [58] LaTeX Warning: Citation `deremer-pennello-82' on page 59 undefined on input lin e 5128. LaTeX Warning: Citation `bhamidipaty-proebsting-98' on page 59 undefined on inp ut line 5132. LaTeX Warning: Citation `horspool-faster-90' on page 59 undefined on input line 5132. LaTeX Warning: Citation `tarjan-yao-79' on page 59 undefined on input line 5137 . LaTeX Warning: Citation `dencker-84' on page 59 undefined on input line 5140. LaTeX Warning: Citation `pottier-regis-gianas-typed-lr' on page 59 undefined on input line 5143. LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 59 undefined on inpu t line 5151. LaTeX Warning: Citation `compcert' on page 59 undefined on input line 5152. LaTeX Warning: Citation `jourdan-pottier-17' on page 59 undefined on input line 5154. LaTeX Warning: Reference `sec:errors:new' on page 59 undefined on input line 51 56. LaTeX Warning: Citation `jeffery-03' on page 59 undefined on input line 5157. LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 59 undefined on input line 5158. LaTeX Warning: Citation `bour-pottier-21' on page 59 undefined on input line 51 59. LaTeX Warning: Citation `pottier-unparsing-24' on page 59 undefined on input li ne 5162. No file manual.bbl. [59] (./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 2023/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt1200.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exmligtb.mf Ok) ) ) ) Font metrics written on ectt1200.tfm. Output written on ectt1200.600gf (256 characters, 51736 bytes). Transcript written on ectt1200.log. mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ectt1200.600pk: successfully generated. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `manual.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) (see the transcript file for additional information) 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 2023/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx0900.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrligtb.mf Ok) ) ) ) Font metrics written on ecsx0900.tfm. Output written on ecsx0900.600gf (256 characters, 41988 bytes). Transcript written on ecsx0900.log. mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ecsx0900.600pk: successfully generated. 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 2023/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt0900.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exmligtb.mf Ok) ) ) ) Font metrics written on ectt0900.tfm. Output written on ectt0900.600gf (256 characters, 39464 bytes). Transcript written on ectt0900.log. mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ectt0900.600pk: successfully generated. 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 2023/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx1000.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrligtb.mf Ok) ) ) ) Font metrics written on ecsx1000.tfm. Output written on ecsx1000.600gf (256 characters, 46104 bytes). Transcript written on ecsx1000.log. mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ecsx1000.600pk: successfully generated. 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 2023/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx1095.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecsx.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrligtb.mf Ok) ) ) ) (some charht values had to be adjusted by as much as 0.06375pt) Font metrics written on ecsx1095.tfm. Output written on ecsx1095.600gf (256 characters, 50464 bytes). Transcript written on ecsx1095.log. mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ecsx1095.600pk: successfully generated. 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 2023/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt1095.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exmligtb.mf Ok) ) ) ) Font metrics written on ectt1095.tfm. Output written on ectt1095.600gf (256 characters, 47796 bytes). Transcript written on ectt1095.log. mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ectt1095.600pk: successfully generated. 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 2023/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecss1095.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecss.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrligtb.mf Ok) ) ) ) Font metrics written on ecss1095.tfm. Output written on ecss1095.600gf (256 characters, 49792 bytes). Transcript written on ecss1095.log. mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ecss1095.600pk: successfully generated. Output written on manual.pdf (59 pages, 389704 bytes). Transcript written on manual.log. bibtex manual This is BibTeX, Version 0.99d (TeX Live 2023/Debian) The top-level auxiliary file: manual.aux The style file: plain.bst Database file #1: local.bib Warning--string name "esop" is undefined --line 140 of file local.bib Warning--string name "springer" is undefined --line 141 of file local.bib Warning--string name "lncs" is undefined --line 142 of file local.bib Warning--string name "tosem" is undefined --line 151 of file local.bib Warning--empty booktitle in jourdan-leroy-pottier-12 Warning--empty journal in klint-laemmel-verhoef-05 (There were 6 warnings) pdflatex manual This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> (./sigplanconf.cls Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2023/05/17 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered .code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de f))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.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/generic/ltxcmds/ltxcmds.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/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./version.tex) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (./manual.out) (./manual.out) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/var/lib/texmf/font s/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/b ase/8r.enc}] (./manual.toc [2] (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd)) [3] LaTeX Warning: Citation `knuth-lr-65' on page 4 undefined on input line 58. LaTeX Warning: Citation `johnson-yacc-79' on page 4 undefined on input line 59. LaTeX Warning: Citation `tarditi-appel-00' on page 4 undefined on input line 59 . LaTeX Warning: Citation `ocaml' on page 4 undefined on input line 60. LaTeX Warning: Citation `aho-86' on page 4 undefined on input line 66. LaTeX Warning: Citation `appel-tiger-98' on page 4 undefined on input line 66. LaTeX Warning: Citation `hopcroft-motwani-ullman-00' on page 4 undefined on inp ut line 66. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [4] [5] [6] [7] [8] Underfull \vbox (badness 2538) has occurred while \output is active [9] [10] Underfull \vbox (badness 2261) has occurred while \output is active [11] [12] [13] Excluding 'comment' comment. [14] [15] [16] [17] Underfull \hbox (badness 3635) in paragraph at lines 1556--1557 []\T1/ptm/m/n/10.95 a nonempty se-quence of \T1/ptm/m/it/10.95 X\T1/ptm/m/n/10. 95 's [18] [19] [20] [21] [22] Missing character: There is no ] in font nullfont! [23] [24] Underfull \vbox (badness 6078) has occurred while \output is active [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] (./unparsing.tex LaTeX Warning: Citation `pottier-unparsing-24' on page 38 undefined on input li ne 26. [38] LaTeX Warning: Citation `pottier-unparsing-24' on page 39 undefined on input li ne 174. [39]) [40] LaTeX Warning: Citation `jeffery-03' on page 41 undefined on input line 3498. LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 41 undefined on input line 3499. [41] LaTeX Warning: Citation `knuth-lr-65' on page 42 undefined on input line 3524. LaTeX Warning: Citation `pager-77' on page 42 undefined on input line 3525. [42] [43] [44] [45] [46] [47] [48] LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 49 undefined on inpu t line 4115. LaTeX Warning: Citation `compcert' on page 49 undefined on input line 4117. [49] LaTeX Warning: Citation `compcert' on page 50 undefined on input line 4187. [50] LaTeX Warning: Citation `compcert' on page 51 undefined on input line 4283. LaTeX Warning: Citation `compcert-github' on page 51 undefined on input line 42 83. LaTeX Warning: Citation `klint-laemmel-verhoef-05' on page 51 undefined on inpu t line 4323. [51] [52] [53] Underfull \vbox (badness 5417) has occurred while \output is active [54] [55] [56] Underfull \vbox (badness 10000) has occurred while \output is active [57] Overfull \hbox (52.85591pt too wide) in paragraph at lines 4947--4965 \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 4947--4965 \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 4947--4965 \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 4947--4965 \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 . [58] LaTeX Warning: Citation `obelisk' on page 59 undefined on input line 5110. LaTeX Warning: Citation `knuth-lr-65' on page 59 undefined on input line 5119. LaTeX Warning: Citation `pager-77' on page 59 undefined on input line 5122. LaTeX Warning: Citation `bison' on page 59 undefined on input line 5125. Underfull \vbox (badness 10000) has occurred while \output is active [59] LaTeX Warning: Citation `deremer-pennello-82' on page 60 undefined on input lin e 5128. LaTeX Warning: Citation `bhamidipaty-proebsting-98' on page 60 undefined on inp ut line 5132. LaTeX Warning: Citation `horspool-faster-90' on page 60 undefined on input line 5132. LaTeX Warning: Citation `tarjan-yao-79' on page 60 undefined on input line 5137 . LaTeX Warning: Citation `dencker-84' on page 60 undefined on input line 5140. LaTeX Warning: Citation `pottier-regis-gianas-typed-lr' on page 60 undefined on input line 5143. LaTeX Warning: Citation `jourdan-leroy-pottier-12' on page 60 undefined on inpu t line 5151. LaTeX Warning: Citation `compcert' on page 60 undefined on input line 5152. LaTeX Warning: Citation `jourdan-pottier-17' on page 60 undefined on input line 5154. LaTeX Warning: Citation `jeffery-03' on page 60 undefined on input line 5157. LaTeX Warning: Citation `pottier-reachability-cc-2016' on page 60 undefined on input line 5158. LaTeX Warning: Citation `bour-pottier-21' on page 60 undefined on input line 51 59. LaTeX Warning: Citation `pottier-unparsing-24' on page 60 undefined on input li ne 5162. (./manual.bbl [60]) [61] (./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 2023/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt1000.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exmligtb.mf Ok) ) ) ) Font metrics written on ectt1000.tfm. Output written on ectt1000.600gf (256 characters, 43832 bytes). Transcript written on ectt1000.log. mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/ectt1000.600pk: successfully generated. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) Output written on manual.pdf (61 pages, 423034 bytes). Transcript written on manual.log. pdflatex manual This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> (./sigplanconf.cls Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2023/05/17 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered .code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de f))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.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/generic/ltxcmds/ltxcmds.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/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./version.tex) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (./manual.out) (./manual.out) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [1{/var/lib/texmf/font s/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/b ase/8r.enc}] (./manual.toc [2] (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd)) [3] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [4] [5] [6] [7] [8] Underfull \vbox (badness 2538) has occurred while \output is active [9] [10] Underfull \vbox (badness 2261) has occurred while \output is active [11] [12] [13] Excluding 'comment' comment. [14] [15] [16] [17] Underfull \hbox (badness 3635) in paragraph at lines 1556--1557 []\T1/ptm/m/n/10.95 a nonempty se-quence of \T1/ptm/m/it/10.95 X\T1/ptm/m/n/10. 95 's [18] [19] [20] [21] [22] Missing character: There is no ] in font nullfont! [23] [24] Underfull \vbox (badness 6078) has occurred while \output is active [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] (./unparsing.tex [38] [39]) [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] Underfull \vbox (badness 5417) has occurred while \output is active [54] [55] [56] Underfull \vbox (badness 10000) has occurred while \output is active [57] Overfull \hbox (52.85591pt too wide) in paragraph at lines 4947--4965 \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 4947--4965 \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 4947--4965 \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 4947--4965 \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 . [58] Underfull \vbox (badness 10000) has occurred while \output is active [59] (./manual.bbl [60]) [61] (./manual.aux) ) (see the transcript file for additional information) Output written on manual.pdf (61 pages, 424462 bytes). Transcript written on manual.log. hevea -fix manual.tex ./mymacros.hva:4: Warning: Ignoring (re-)definition of '\raisebox' by \newcommand ./mymacros.hva:5: Warning: Ignoring (re-)definition of '\phantom' by \newcommand Exclude comment 'comment' ./manual.tex:58: Warning: Undefined citation: 'knuth-lr-65' ./manual.tex:59: Warning: Undefined citation: 'johnson-yacc-79' ./manual.tex:59: Warning: Undefined citation: 'tarditi-appel-00' ./manual.tex:60: Warning: Undefined citation: 'ocaml' ./manual.tex:66: Warning: Undefined citation: 'aho-86' ./manual.tex:66: Warning: Undefined citation: 'appel-tiger-98' ./manual.tex:66: Warning: Undefined citation: 'hopcroft-motwani-ullman-00' ./manual.tex:108: Warning: Undefined label: 'sec:errors' ./manual.tex:123: Warning: Undefined label: 'sec:split' ./manual.tex:139: Warning: Undefined label: 'sec:sdk' ./manual.tex:151: Warning: Undefined label: 'sec:errors:new' ./manual.tex:158: Warning: Undefined label: 'sec:errors:new' ./manual.tex:160: Warning: Undefined label: 'sec:coq' ./manual.tex:182: Warning: Undefined label: 'sec:coq' ./manual.tex:184: Warning: Undefined label: 'sec:conflicts:benign' ./manual.tex:192: Warning: Undefined label: 'sec:build' ./manual.tex:197: Warning: Undefined label: 'sec:conflicts' ./manual.tex:198: Warning: Undefined label: 'sec:onerrorreduce' ./manual.tex:211: Warning: Undefined label: 'sec:conflicts' ./manual.tex:212: Warning: Undefined label: 'sec:onerrorreduce' ./manual.tex:217: Warning: Undefined label: 'sec:errors:new' ./manual.tex:224: Warning: Undefined label: 'sec:tokens' ./manual.tex:230: Warning: Undefined label: 'sec:errors:new' ./manual.tex:236: Warning: Undefined label: 'sec:conflicts' ./manual.tex:252: Warning: Undefined label: 'sec:build' ./manual.tex:255: Warning: Undefined label: 'sec:monolithic' ./manual.tex:256: Warning: Undefined label: 'sec:incremental' ./manual.tex:256: Warning: Undefined label: 'sec:inspection' ./manual.tex:264: Warning: Undefined label: 'sec:interpret' ./manual.tex:269: Warning: Undefined label: 'sec:errors:new' ./manual.tex:273: Warning: Undefined label: 'sec:interpret' ./manual.tex:277: Warning: Undefined label: 'sec:errors:new' ./manual.tex:296: Warning: Undefined label: 'sec:errors:new' ./manual.tex:306: Warning: Undefined label: 'sec:library' ./manual.tex:308: Warning: Undefined label: 'sec:build' ./manual.tex:310: Warning: Undefined label: 'sec:build' ./manual.tex:315: Warning: Undefined label: 'sec:split' ./manual.tex:316: Warning: Undefined label: 'sec:templates' ./manual.tex:318: Warning: Undefined label: 'sec:inline' ./manual.tex:362: Warning: Undefined label: 'sec:tokens' ./manual.tex:365: Warning: Undefined label: 'sec:build' ./manual.tex:374: Warning: Undefined label: 'sec:tokens' ./manual.tex:388: Warning: Undefined label: 'sec:errors' ./manual.tex:397: Warning: Undefined label: 'sec:build' ./manual.tex:402: Warning: Undefined label: 'sec:qa' ./manual.tex:415: Warning: Undefined label: 'sec:incremental' ./manual.tex:416: Warning: Undefined label: 'sec:inspection' ./manual.tex:431: Warning: Undefined label: 'sec:unparsing' ./manual.tex:449: Warning: Undefined label: 'sec:errors:new' ./manual.tex:459: Warning: Undefined label: 'sec:decls' ./manual.tex:461: Warning: Undefined label: 'sec:old:rules' ./manual.tex:463: Warning: Undefined label: 'sec:producers' ./manual.tex:465: Warning: Undefined label: 'sec:new:rules' ./manual.tex:480: Warning: Undefined label: 'sec:tokens' ./manual.tex:544: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:554: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:569: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:598: Warning: Undefined label: 'fig:syntax' ./manual.tex:600: Warning: Undefined label: 'sec:attributes' ./manual.tex:606: Warning: Undefined label: 'sec:decls' ./manual.tex:617: Warning: Undefined label: 'sec:old:rules' ./manual.tex:618: Warning: Undefined label: 'sec:new:rules' ./manual.tex:752: Warning: Undefined label: 'sec:conflicts' ./manual.tex:772: Warning: Undefined label: 'sec:decls:headers' ./manual.tex:801: Warning: Undefined label: 'sec:attributes' ./manual.tex:844: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:870: Warning: Undefined label: 'sec:productiongroups' ./manual.tex:874: Warning: Undefined label: 'sec:split' ./manual.tex:874: Warning: Undefined label: 'sec:inline' ./manual.tex:876: Warning: Undefined label: 'sec:templates' ./manual.tex:881: Warning: Undefined label: 'sec:productions' ./manual.tex:882: Warning: Undefined label: 'sec:actions' ./manual.tex:883: Warning: Undefined label: 'sec:prec' ./manual.tex:909: Warning: Undefined label: 'sec:assoc' ./manual.tex:916: Warning: Undefined label: 'sec:conflicts' ./manual.tex:930: Warning: Undefined label: 'sec:producers' ./manual.tex:931: Warning: Undefined label: 'sec:prec' ./manual.tex:939: Warning: Undefined label: 'sec:actual' ./manual.tex:952: Warning: Undefined label: 'sec:templates' ./manual.tex:956: Warning: Undefined label: 'sec:templates' ./manual.tex:957: Warning: Undefined label: 'fig:sugar' ./manual.tex:1002: Warning: Undefined label: 'sec:inline' ./manual.tex:1005: Warning: Undefined label: 'sec:split' ./manual.tex:1007: Warning: Undefined label: 'sec:templates' ./manual.tex:1009: Warning: Undefined label: 'fig:syntax' ./manual.tex:1054: Warning: Undefined label: 'sec:templates' ./manual.tex:1054: Warning: Undefined label: 'fig:sugar' ./manual.tex:1101: Warning: Undefined label: 'fig:syntax' ./manual.tex:1116: Warning: Undefined label: 'sec:library' ./manual.tex:1116: Warning: Undefined label: 'fig:standard' ./manual.tex:1124: Warning: Undefined label: 'sec:actual' ./manual.tex:1130: Warning: Undefined label: 'sec:library' ./manual.tex:1163: Warning: Undefined label: 'sec:library' ./manual.tex:1177: Warning: Undefined label: 'sec:inline' ./manual.tex:1200: Warning: Undefined label: 'sec:templates' ./manual.tex:1207: Warning: Undefined label: 'sec:library' ./manual.tex:1264: Warning: Undefined label: 'sec:library' ./manual.tex:1337: Warning: Undefined label: 'sec:library' ./manual.tex:1368: Warning: Undefined label: 'sec:library' ./manual.tex:1369: Warning: Undefined label: 'fig:sugar' ./manual.tex:1503: Warning: Undefined label: 'sec:positions' ./manual.tex:1582: Warning: Undefined label: 'sec:split' ./manual.tex:1583: Warning: Undefined label: 'sec:templates' ./manual.tex:1583: Warning: Undefined label: 'sec:inline' ./manual.tex:1588: Warning: Undefined label: 'fig:standard' ./manual.tex:1589: Warning: Undefined label: 'fig:sugar' ./manual.tex:1620: Warning: Undefined label: 'fig:standard' ./manual.tex:1623: Warning: Undefined label: 'sec:actual' ./manual.tex:1648: Warning: Undefined label: 'sec:actual' ./manual.tex:1649: Warning: Undefined label: 'sec:inline' ./manual.tex:1680: Warning: Undefined label: 'sec:actual' ./manual.tex:1681: Warning: Undefined label: 'sec:inline' ./manual.tex:1714: Warning: Undefined label: 'sec:assoc' ./manual.tex:1714: Warning: Undefined label: 'sec:prec' ./manual.tex:1740: Warning: Undefined label: 'multiway' ./manual.tex:1780: Warning: Undefined label: 'fig:basicshiftreduce' ./manual.tex:1873: Warning: Undefined label: 'fig:shifting:tree' ./manual.tex:1878: Warning: Undefined label: 'fig:shifting:tree' ./manual.tex:1878: Warning: Undefined label: 'fig:shifting:text' ./manual.tex:1889: Warning: Undefined label: 'fig:shifting:text' ./manual.tex:1932: Warning: Undefined label: 'fig:reducing:tree' ./manual.tex:1937: Warning: Undefined label: 'fig:reducing:tree' ./manual.tex:1937: Warning: Undefined label: 'fig:reducing:text' ./manual.tex:1941: Warning: Undefined label: 'fig:reducing:text' ./manual.tex:1954: Warning: Undefined label: 'fig:xreducing:tree' ./manual.tex:1954: Warning: Undefined label: 'fig:xreducing:text' ./manual.tex:2009: Warning: Undefined label: 'fig:xreducing:tree' ./manual.tex:2017: Warning: Undefined label: 'fig:xreducing:text' ./manual.tex:2032: Warning: Undefined label: 'fig:xreducing:tree' ./manual.tex:2033: Warning: Undefined label: 'fig:xreducing:text' ./manual.tex:2218: Warning: Undefined label: 'fig:basiceos' ./manual.tex:2235: Warning: Undefined label: 'fig:basiceos' ./manual.tex:2247: Warning: Undefined label: 'fig:basiceos' ./manual.tex:2252: Warning: Undefined label: 'fig:basiceosdump' ./manual.tex:2276: Warning: Undefined label: 'fig:basiceos:sol' ./manual.tex:2363: Warning: Undefined label: 'fig:pos' ./manual.tex:2427: Warning: Undefined label: 'fig:pos:mapping' ./manual.tex:2432: Warning: Undefined label: 'fig:pos:mapping' ./manual.tex:2438: Warning: Undefined label: 'sec:inline' ./manual.tex:2536: Warning: Undefined label: 'sec:sentences' ./manual.tex:2643: Warning: Undefined label: 'sec:qa' ./manual.tex:2700: Warning: Undefined label: 'sec:incremental' ./manual.tex:2700: Warning: Undefined label: 'sec:inspection' ./manual.tex:2723: Warning: Undefined label: 'sec:incremental:driving' ./manual.tex:2724: Warning: Undefined label: 'sec:incremental:inspecting' ./manual.tex:2724: Warning: Undefined label: 'sec:incremental:updating' ./manual.tex:2833: Warning: Undefined label: 'sec:errors' ./manual.tex:2888: Warning: Undefined label: 'sec:errors' ./manual.tex:3044: Warning: Undefined label: 'sec:inspection' ./manual.tex:3109: Warning: Undefined label: 'sec:incremental:updating' ./manual.tex:3145: Warning: Undefined label: 'sec:incremental:inspecting' ./manual.tex:3157: Warning: Undefined label: 'sec:inspection' ./manual.tex:3205: Warning: Undefined label: 'sec:errors:new' ./unparsing.tex:17: Warning: Undefined label: 'sec:assoc' ./unparsing.tex:17: Warning: Undefined label: 'sec:prec' ./unparsing.tex:26: Warning: Undefined citation: 'pottier-unparsing-24' ./unparsing.tex:93: Warning: Undefined label: 'step:settle' ./unparsing.tex:94: Warning: Undefined label: 'step:describe' ./unparsing.tex:95: Warning: Undefined label: 'step:settle' ./unparsing.tex:96: Warning: Undefined label: 'step:settle' ./unparsing.tex:97: Warning: Undefined label: 'step:format' ./unparsing.tex:170: Warning: Undefined label: 'step:describe' ./unparsing.tex:174: Warning: Undefined citation: 'pottier-unparsing-24' ./unparsing.tex:236: Warning: Undefined label: 'sec:tokens' ./manual.tex:3415: Warning: Undefined label: 'sec:errors:new' ./manual.tex:3485: Warning: Undefined label: 'sec:incremental' ./manual.tex:3490: Warning: Undefined label: 'sec:errors' ./manual.tex:3498: Warning: Undefined citation: 'jeffery-03' ./manual.tex:3499: Warning: Undefined citation: 'pottier-reachability-cc-2016' ./manual.tex:3513: Warning: Undefined label: 'sec:messages:format' ./manual.tex:3515: Warning: Undefined label: 'sec:messages:tools' ./manual.tex:3517: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:3518: Warning: Undefined label: 'sec:errors:example' ./manual.tex:3524: Warning: Undefined citation: 'knuth-lr-65' ./manual.tex:3525: Warning: Undefined citation: 'pager-77' ./manual.tex:3531: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:3546: Warning: Undefined label: 'sec:sentences' ./manual.tex:3613: Warning: Undefined label: 'fig:messages:entry' ./manual.tex:3622: Warning: Undefined label: 'sec:messages:merge' ./manual.tex:3636: Warning: Undefined label: 'sec:messages:tools' ./manual.tex:3644: Warning: Undefined label: 'fig:messages:entry:decorated' ./manual.tex:3670: Warning: Undefined label: 'sec:errors:diagnostics' ./manual.tex:3862: Warning: Undefined label: 'fig:declarations' ./manual.tex:3868: Warning: Undefined label: 'sec:messages:format' ./manual.tex:3874: Warning: Undefined label: 'fig:declarations' ./manual.tex:3886: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3889: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3893: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3903: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3916: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3922: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3945: Warning: Undefined label: 'fig:declarations:onerrorreduce' ./manual.tex:3967: Warning: Undefined label: 'fig:declarations:phantom' ./manual.tex:3971: Warning: Undefined label: 'fig:declarations' ./manual.tex:3987: Warning: Undefined label: 'sec:onerrorreduce' ./manual.tex:3988: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:3995: Warning: Undefined label: 'fig:declarations:onerrorreduce' ./manual.tex:3997: Warning: Undefined label: 'fig:declarations' ./manual.tex:4012: Warning: Undefined label: 'fig:declarations' ./manual.tex:4014: Warning: Undefined label: 'fig:declarations:over' ./manual.tex:4015: Warning: Undefined label: 'fig:declarations:onerrorreduce' ./manual.tex:4017: Warning: Undefined label: 'fig:declarations:under' ./manual.tex:4031: Warning: Undefined label: 'fig:declarations:under' ./manual.tex:4115: Warning: Undefined citation: 'jourdan-leroy-pottier-12' ./manual.tex:4117: Warning: Undefined citation: 'compcert' ./manual.tex:4135: Warning: Undefined label: 'sec:errors' ./manual.tex:4138: Warning: Undefined label: 'fig:pos' ./manual.tex:4139: Warning: Undefined label: 'sec:parameter' ./manual.tex:4140: Warning: Undefined label: 'sec:inline' ./manual.tex:4141: Warning: Undefined label: 'sec:library' ./manual.tex:4146: Warning: Undefined label: 'sec:type' ./manual.tex:4146: Warning: Undefined label: 'sec:start' ./manual.tex:4149: Warning: Undefined label: 'sec:conflicts:benign' ./manual.tex:4151: Warning: Undefined label: 'sec:assoc' ./manual.tex:4187: Warning: Undefined citation: 'compcert' ./manual.tex:4218: Warning: Undefined label: 'sec:coq:errmsg' ./manual.tex:4283: Warning: Undefined citation: 'compcert' ./manual.tex:4283: Warning: Undefined citation: 'compcert-github' ./manual.tex:4291: Warning: Undefined label: 'sec:errors:example' ./manual.tex:4303: Warning: Undefined label: 'sec:messages:format' ./manual.tex:4304: Warning: Undefined label: 'sec:messages:tools' ./manual.tex:4323: Warning: Undefined citation: 'klint-laemmel-verhoef-05' ./manual.tex:4329: Warning: Undefined label: 'sec:sdk' ./manual.tex:4337: Warning: Undefined label: 'sec:attributes' ./manual.tex:4408: Warning: Undefined label: 'sec:decls' ./manual.tex:4439: Warning: Undefined label: 'sec:producers' ./manual.tex:4452: Warning: Undefined label: 'sec:productiongroups' ./manual.tex:4479: Warning: Undefined label: 'sec:decls' ./manual.tex:4489: Warning: Undefined label: 'sec:attributes:placement' ./manual.tex:4497: Warning: Undefined label: 'sec:templates' ./manual.tex:4512: Warning: Undefined label: 'sec:templates' ./manual.tex:4550: Warning: Undefined label: 'sec:inline' ./manual.tex:4603: Warning: Undefined label: 'sec:build:infer' ./manual.tex:4603: Warning: Undefined label: 'sec:build:flags' ./manual.tex:4609: Warning: Undefined label: 'sec:dune' ./manual.tex:4623: Warning: Undefined label: 'sec:build:infer:none' ./manual.tex:4626: Warning: Undefined label: 'sec:build:infer:direct' ./manual.tex:4629: Warning: Undefined label: 'sec:build:infer:indirect' ./manual.tex:4638: Warning: Undefined label: 'sec:build:infer:direct' ./manual.tex:4639: Warning: Undefined label: 'sec:build:infer:indirect' ./manual.tex:4815: Warning: Undefined label: 'sec:positions' ./manual.tex:4823: Warning: Undefined label: 'sec:templates' ./manual.tex:4825: Warning: Undefined label: 'sec:actual' ./manual.tex:4826: Warning: Undefined label: 'sec:library' ./manual.tex:4829: Warning: Undefined label: 'fig:sugar' ./manual.tex:4834: Warning: Undefined label: 'sec:inline' ./manual.tex:4837: Warning: Undefined label: 'sec:conflicts' ./manual.tex:4841: Warning: Undefined label: 'sec:incremental' ./manual.tex:4847: Warning: Undefined label: 'sec:errors:new' ./manual.tex:4850: Warning: Undefined label: 'sec:coq' ./manual.tex:4852: Warning: Undefined label: 'sec:interpret' ./manual.tex:4855: Warning: Undefined label: 'sec:split' ./manual.tex:4866: Warning: Undefined label: 'sec:eos' ./manual.tex:4882: Warning: Undefined label: 'sec:positions' ./manual.tex:4884: Warning: Undefined label: 'sec:errors' ./manual.tex:4886: Warning: Undefined label: 'sec:errors' ./manual.tex:4891: Warning: Undefined label: 'sec:conflicts' ./manual.tex:4931: Warning: \vspace with arg '-\baselineskip' ./manual.tex:4942: Warning: Undefined label: 'sec:build' ./manual.tex:4963: Warning: Undefined label: 'sec:errors:new' ./manual.tex:5016: Warning: Undefined label: 'sec:errors:new' ./manual.tex:5045: Warning: Undefined label: 'sec:decls:headers' ./manual.tex:5057: Warning: Undefined label: 'sec:monolithic' ./manual.tex:5063: Warning: Undefined label: 'sec:incremental' ./manual.tex:5106: Warning: Undefined label: 'sec:positions' ./manual.tex:5110: Warning: Undefined citation: 'obelisk' ./manual.tex:5113: Warning: Undefined label: 'sec:library' ./manual.tex:5119: Warning: Undefined citation: 'knuth-lr-65' ./manual.tex:5122: Warning: Undefined citation: 'pager-77' ./manual.tex:5125: Warning: Undefined citation: 'bison' ./manual.tex:5128: Warning: Undefined citation: 'deremer-pennello-82' ./manual.tex:5132: Warning: Undefined citation: 'bhamidipaty-proebsting-98' ./manual.tex:5132: Warning: Undefined citation: 'horspool-faster-90' ./manual.tex:5137: Warning: Undefined citation: 'tarjan-yao-79' ./manual.tex:5140: Warning: Undefined citation: 'dencker-84' ./manual.tex:5143: Warning: Undefined citation: 'pottier-regis-gianas-typed-lr' ./manual.tex:5151: Warning: Undefined citation: 'jourdan-leroy-pottier-12' ./manual.tex:5152: Warning: Undefined citation: 'compcert' ./manual.tex:5154: Warning: Undefined citation: 'jourdan-pottier-17' ./manual.tex:5156: Warning: Undefined label: 'sec:errors:new' ./manual.tex:5157: Warning: Undefined citation: 'jeffery-03' ./manual.tex:5158: Warning: Undefined citation: 'pottier-reachability-cc-2016' ./manual.tex:5159: Warning: Undefined citation: 'bour-pottier-21' ./manual.tex:5162: Warning: Undefined citation: 'pottier-unparsing-24' 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:544: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:554: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:569: Warning: ignoring \hspace or \hspace* with negative length ./manual.tex:4931: Warning: \vspace with arg '-\baselineskip' Fixpoint reached in 2 step(s) Now, I am running imagen for you RESOLUTION: 100 This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=latex) restricted \write18 enabled. entering extended mode (./manual.image.tex LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> (./sigplanconf.cls Document Class: sigplanconf 2005/03/07 v0.93 ACM SIGPLAN Proceedings (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2023/05/17 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/dvips.def))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered .code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-dvips.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-postsc ript.def))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex)) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./mymacros.sty) (./fppdf.sty Hyperlinks in pdflatex style. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.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/generic/ltxcmds/ltxcmds.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/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hdvips.def (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pdfmark.def (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))))) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-dvips.def) No file manual.image.aux. Package hyperref Warning: Rerun to get /PageLabels entry. [1] [2] Missing character: There is no ] in font nullfont! [3] (./manual.image.aux) Package rerunfilecheck Warning: File `manual.image.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) Output written on manual.image.dvi (3 pages, 24164 bytes). Transcript written on manual.image.log. This is dvips(k) 2023.1 (TeX Live 2023) Copyright 2023 Radical Eye Software (www.radicaleye.com) ' TeX output 2024.05.20:2309' -> . [1] [2] [3] sed -i.bak -e "s/cellpadding0/cellpadding1/" manual.html && rm manual.html.bak make[2]: Leaving directory '/build/reproducible-path/menhir-20231231+ds/doc' make[1]: Leaving directory '/build/reproducible-path/menhir-20231231+ds' dh_auto_build -O--buildsystem=ocaml_dune dune build -j 3 -p menhirLib,menhirSdk,menhir,menhirCST (cd _build/default/lib/pack && ./pack.exe) Creating menhirLib.ml... Creating menhirLib.mli... (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check Read 99 sample input sentences and 99 error messages. Read 99 sample input sentences and 47 error messages. (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred) Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 199 states. The grammar is not SLR(1) -- 7 states have a conflict. The construction mode is no-pager. Built an LR(1) automaton with 308 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 50 states. Priority played a role in 0 of these states. 156 out of 308 states have a default reduction. 108 out of 308 states are represented. 44 out of 96 symbols keep track of their start position. 39 out of 96 symbols keep track of their end position. The StackLang code contains 4113 instructions in 277 blocks. The StackLang code comprises 5 mutually recursive groups. (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml Read 99 sample input sentences and 47 error messages. dh_auto_test -O--buildsystem=ocaml_dune dune runtest -j 3 -p menhirLib,menhirSdk,menhir,menhirCST create-stamp debian/debhelper-build-stamp dh_testroot -O--buildsystem=ocaml_dune dh_prep -O--buildsystem=ocaml_dune dh_installdirs -O--buildsystem=ocaml_dune dh_auto_install -O--buildsystem=ocaml_dune dune install --destdir=debian/tmp --prefix=/usr --libdir=/usr/lib/ocaml menhirLib menhirSdk menhir menhirCST dh_install -O--buildsystem=ocaml_dune dh_ocamldoc -O--buildsystem=ocaml_dune dh_installdocs -O--buildsystem=ocaml_dune dh_installchangelogs -O--buildsystem=ocaml_dune dh_installman -O--buildsystem=ocaml_dune dh_installsystemduser -O--buildsystem=ocaml_dune dh_perl -O--buildsystem=ocaml_dune dh_link -O--buildsystem=ocaml_dune dh_strip_nondeterminism -O--buildsystem=ocaml_dune dh_compress -O--buildsystem=ocaml_dune dh_fixperms -O--buildsystem=ocaml_dune dh_missing -O--buildsystem=ocaml_dune dh_dwz -a -O--buildsystem=ocaml_dune dwz: debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirCST/menhirCST.cmxs: DWARF compression not beneficial - old size 1331 new size 1331 dwz: debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs: DWARF compression not beneficial - old size 9867 new size 9867 dh_strip -a -O--buildsystem=ocaml_dune dh_makeshlibs -a -O--buildsystem=ocaml_dune dh_shlibdeps -a -O--buildsystem=ocaml_dune dh_installdeb -O--buildsystem=ocaml_dune dh_ocaml -O--buildsystem=ocaml_dune dh_gencontrol -O--buildsystem=ocaml_dune dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined dh_md5sums -O--buildsystem=ocaml_dune dh_builddeb -O--buildsystem=ocaml_dune dpkg-deb: building package 'menhir' in '../menhir_20231231+ds-1_armhf.deb'. dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20231231+ds-1_armhf.deb'. dpkg-deb: building package 'menhir-doc' in '../menhir-doc_20231231+ds-1_all.deb'. dpkg-deb: building package 'libmenhir-ocaml-dev-dbgsym' in '../libmenhir-ocaml-dev-dbgsym_20231231+ds-1_armhf.deb'. dpkg-deb: building package 'menhir-dbgsym' in '../menhir-dbgsym_20231231+ds-1_armhf.deb'. dpkg-genbuildinfo --build=binary -O../menhir_20231231+ds-1_armhf.buildinfo dpkg-genchanges --build=binary -O../menhir_20231231+ds-1_armhf.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: including full 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/31139 and its subdirectories I: Current time: Mon May 20 23:10:44 -12 2024 I: pbuilder-time-stamp: 1716289844 Tue May 21 11:11:13 UTC 2024 I: 1st build successful. Starting 2nd build on remote node virt32c-armhf-rb.debian.net. Tue May 21 11:11:13 UTC 2024 I: Preparing to do remote build '2' on virt32c-armhf-rb.debian.net. Tue May 21 11:28:53 UTC 2024 I: Deleting $TMPDIR on virt32c-armhf-rb.debian.net. Tue May 21 11:28:56 UTC 2024 I: menhir_20231231+ds-1_armhf.changes: Format: 1.8 Date: Thu, 15 Feb 2024 14:22:52 +0100 Source: menhir Binary: libmenhir-ocaml-dev libmenhir-ocaml-dev-dbgsym menhir menhir-dbgsym menhir-doc Architecture: armhf all Version: 20231231+ds-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu 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 (20231231+ds-1) unstable; urgency=medium . * Team upload * New upstream release Checksums-Sha1: 4bf4ad6efda53fbb8c6cd25ce222328bad6705de 22572 libmenhir-ocaml-dev-dbgsym_20231231+ds-1_armhf.deb 042d6ab395d81aeab8ef9151445a25216cb58336 645076 libmenhir-ocaml-dev_20231231+ds-1_armhf.deb a8316b30d60cd95c427ef7eaae01fea990bf3992 394232 menhir-dbgsym_20231231+ds-1_armhf.deb 9b8d3af77bf01c4e25e32d1b1ad865bbd83d303b 477628 menhir-doc_20231231+ds-1_all.deb d80d3accafe52ea81e0564616e3bf9e93670e09f 10338 menhir_20231231+ds-1_armhf.buildinfo 9bcf89cd02677ee38734619460fec2423b6ec98d 1193224 menhir_20231231+ds-1_armhf.deb Checksums-Sha256: a6267a6e54b058b302a832437bd5aea669f92532dc6e27a286db683bf2c0ad67 22572 libmenhir-ocaml-dev-dbgsym_20231231+ds-1_armhf.deb 22fd010c7da6769630892462d0b043030b1cd4cf4aab26f4db81c7bc2cecc537 645076 libmenhir-ocaml-dev_20231231+ds-1_armhf.deb aa3988c3374f239e7510a4ab34c521fcbbf2a317aaeca15a172b8e6baf64ac1e 394232 menhir-dbgsym_20231231+ds-1_armhf.deb 80399aa94998d39e6698c03e3ed34cff2a22e0eec5177a17fe9804ff89f93a1b 477628 menhir-doc_20231231+ds-1_all.deb b22eb1b0480ed0989398d952615dfd0ada8c7ff87e9150ad38ef6c4409c41f38 10338 menhir_20231231+ds-1_armhf.buildinfo 13d69ea28efa9c21bfb9b85b087e2162d8e9b17733766576c1883bfc7a5b2b9b 1193224 menhir_20231231+ds-1_armhf.deb Files: f578a3db90ac3f359584f2898239fe56 22572 debug optional libmenhir-ocaml-dev-dbgsym_20231231+ds-1_armhf.deb 8f442b43f4ebd2aa2a1ebbb05eb65af0 645076 ocaml optional libmenhir-ocaml-dev_20231231+ds-1_armhf.deb 9187055af92b651a1c6e7edf1b29040e 394232 debug optional menhir-dbgsym_20231231+ds-1_armhf.deb 5e28f087f184cd4e2684406b0fea5bbd 477628 doc optional menhir-doc_20231231+ds-1_all.deb 1f634770b3d32472847ece28777b4c97 10338 ocaml optional menhir_20231231+ds-1_armhf.buildinfo d4bff5071166076de88c6def7f76918d 1193224 ocaml optional menhir_20231231+ds-1_armhf.deb Tue May 21 11:28:57 UTC 2024 I: diffoscope 266 will be used to compare the two builds: Running as unit: rb-diffoscope-armhf_32-16821.service # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.rg78Ph7F/menhir_20231231+ds-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.rg78Ph7F/menhir_20231231+ds-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.rg78Ph7F/menhir_20231231+ds-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.rg78Ph7F/b1/menhir_20231231+ds-1_armhf.changes /srv/reproducible-results/rbuild-debian/r-b-build.rg78Ph7F/b2/menhir_20231231+ds-1_armhf.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: 0.402s) 0.402s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.047s) 0.047s 12 calls diffoscope.comparators.binary.FilesystemFile ## specialize (total time: 0.000s) 0.000s 1 call specialize Finished with result: success Main processes terminated with: code=exited/status=0 Service runtime: 748ms CPU time consumed: 748ms Tue May 21 11:28:58 UTC 2024 I: diffoscope 266 found no differences in the changes files, and a .buildinfo file also exists. Tue May 21 11:28:58 UTC 2024 I: menhir from unstable built successfully and reproducibly on armhf. Tue May 21 11:29:00 UTC 2024 I: Submitting .buildinfo files to external archives: Tue May 21 11:29:00 UTC 2024 I: Submitting 12K b1/menhir_20231231+ds-1_armhf.buildinfo.asc Tue May 21 11:29:01 UTC 2024 I: Submitting 12K b2/menhir_20231231+ds-1_armhf.buildinfo.asc Tue May 21 11:29:02 UTC 2024 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Tue May 21 11:29:02 UTC 2024 I: Done submitting .buildinfo files. Tue May 21 11:29:02 UTC 2024 I: Removing signed menhir_20231231+ds-1_armhf.buildinfo.asc files: removed './b1/menhir_20231231+ds-1_armhf.buildinfo.asc' removed './b2/menhir_20231231+ds-1_armhf.buildinfo.asc'