Sat Jun 29 05:17:47 UTC 2024 I: starting to build ocaml-visitors/trixie/armhf on jenkins on '2024-06-29 05:17' Sat Jun 29 05:17:47 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/armhf_3/6990/console.log Sat Jun 29 05:17:47 UTC 2024 I: Downloading source for trixie/ocaml-visitors=20210608-6 --2024-06-29 05:17:47-- http://deb.debian.org/debian/pool/main/o/ocaml-visitors/ocaml-visitors_20210608-6.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2247 (2.2K) [text/prs.lines.tag] Saving to: ‘ocaml-visitors_20210608-6.dsc’ 0K .. 100% 306M=0s 2024-06-29 05:17:47 (306 MB/s) - ‘ocaml-visitors_20210608-6.dsc’ saved [2247/2247] Sat Jun 29 05:17:47 UTC 2024 I: ocaml-visitors_20210608-6.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: ocaml-visitors Binary: libppx-visitors-ocaml-dev, libppx-visitors-ocaml-doc Architecture: any all Version: 20210608-6 Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen , Homepage: https://gitlab.inria.fr/fpottier/visitors Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/ocaml-visitors Vcs-Git: https://salsa.debian.org/ocaml-team/ocaml-visitors.git Testsuite: autopkgtest Testsuite-Triggers: libfindlib-ocaml, ocaml-nox, ocamlbuild Build-Depends: debhelper-compat (= 13), dh-ocaml (>= 1.2.2), ocaml, libppxlib-ocaml-dev (>= 0.22.0), libppx-deriving-ocaml-dev (>= 5.0), libresult-ocaml-dev, ocaml-dune (>= 2.0) Build-Depends-Indep: texlive-latex-base, latexmk, lmodern, texlive-fonts-recommended, texlive-latex-extra, ocp-indent Package-List: libppx-visitors-ocaml-dev deb ocaml optional arch=any libppx-visitors-ocaml-doc deb doc optional arch=all Checksums-Sha1: 393b921c8db47ae9aee2889eea81e038da433ff2 493120 ocaml-visitors_20210608.orig.tar.xz 6e5c1489e9703aac5f323d9f5280437b735fbf1e 4768 ocaml-visitors_20210608-6.debian.tar.xz Checksums-Sha256: deb19138ac5119ed8bc48358b22d88209105d91d70710d559e27d44c4da944e4 493120 ocaml-visitors_20210608.orig.tar.xz 4d4b5be70a1e577ee0758cb3604dc78b316c04676947f278e12e2511b6fe5509 4768 ocaml-visitors_20210608-6.debian.tar.xz Files: e0fcb39cbb4f76476db687cc6e4f085c 493120 ocaml-visitors_20210608.orig.tar.xz 076d0abaf0e7e6522a66b58cf6a4d257 4768 ocaml-visitors_20210608-6.debian.tar.xz Dgit: 2a41577bee97ede0fc6900790408072f1ce537ad debian archive/debian/20210608-6 https://git.dgit.debian.org/ocaml-visitors -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmZexFQSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBrWUIAIkZHG909DqsqVooUEv+qNDhL8f51AQ9 7WMmg5V/ODDENZTyrtwELcB4aRqrhHhMdR088QbuAojhbqIEvDcskg5nl9cMUQGF qw596bm2ZZz1goISvLSx8dUrnbSWzBGeR4HLQ9bq9KKPwoKZ01R1AsiWBWjZBQEE EPh9wZAZ6O/ynrOBXUvOFIgUpiXcxKtB+m5xlJ8uPmRU9e/9O8+ZuDRU/XxjHNb+ QlGlMaZPx6Yby3NZ1/JldF+1PsHBDqC67GUZwDx0I63YADLlE8XF8E4W+feRx0Jt e6wzHAuBzdNgYruhAjYj5jac18/rUswh6CZf3SiGqOdQvs9fnM5lPGo= =rHAd -----END PGP SIGNATURE----- Sat Jun 29 05:17:47 UTC 2024 I: Checking whether the package is not for us Sat Jun 29 05:17:47 UTC 2024 I: Starting 1st build on remote node ff4a-armhf-rb.debian.net. Sat Jun 29 05:17:47 UTC 2024 I: Preparing to do remote build '1' on ff4a-armhf-rb.debian.net. Sat Jun 29 05:34:29 UTC 2024 I: Deleting $TMPDIR on ff4a-armhf-rb.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Fri Jun 28 17:17:55 -12 2024 I: pbuilder-time-stamp: 1719638275 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-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 [ocaml-visitors_20210608-6.dsc] I: copying [./ocaml-visitors_20210608.orig.tar.xz] I: copying [./ocaml-visitors_20210608-6.debian.tar.xz] I: Extracting source gpgv: Signature made Tue Jun 4 07:37:56 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 ./ocaml-visitors_20210608-6.dsc: no acceptable signature found dpkg-source: info: extracting ocaml-visitors in ocaml-visitors-20210608 dpkg-source: info: unpacking ocaml-visitors_20210608.orig.tar.xz dpkg-source: info: unpacking ocaml-visitors_20210608-6.debian.tar.xz I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/6159/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='trixie' HOME='/root' HOST_ARCH='armhf' IFS=' ' INVOCATION_ID='2983dee1fd6d4a3d8e43b1d35ec75a6f' 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='6159' 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.PGWLX9ED/pbuilderrc_bLjl --distribution trixie --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.PGWLX9ED/b1 --logfile b1/build.log ocaml-visitors_20210608-6.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 ff4a 6.1.0-21-armmp-lpae #1 SMP Debian 6.1.90-1 (2024-05-03) armv7l GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Jun 5 22:35 /bin -> usr/bin I: user script /srv/workspace/pbuilder/6159/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), ocaml, libppxlib-ocaml-dev (>= 0.22.0), libppx-deriving-ocaml-dev (>= 5.0), libresult-ocaml-dev, ocaml-dune (>= 2.0), texlive-latex-base, latexmk, lmodern, texlive-fonts-recommended, texlive-latex-extra, ocp-indent dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19419 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 ocaml; however: Package ocaml is not installed. pbuilder-satisfydepends-dummy depends on libppxlib-ocaml-dev (>= 0.22.0); however: Package libppxlib-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libppx-deriving-ocaml-dev (>= 5.0); however: Package libppx-deriving-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libresult-ocaml-dev; however: Package libresult-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on ocaml-dune (>= 2.0); however: Package ocaml-dune is not installed. pbuilder-satisfydepends-dummy depends on texlive-latex-base; however: Package texlive-latex-base is not installed. pbuilder-satisfydepends-dummy depends on latexmk; however: Package latexmk is not installed. pbuilder-satisfydepends-dummy depends on lmodern; however: Package lmodern 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. pbuilder-satisfydepends-dummy depends on ocp-indent; however: Package ocp-indent 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-dejavu-core{a} fonts-dejavu-mono{a} fonts-lmodern{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} latexmk{a} libapache-pom-java{a} libarchive-zip-perl{a} libbrotli1{a} libbsd0{a} libcairo2{a} libcommons-logging-java{a} libcommons-parent-java{a} libcompiler-libs-ocaml-dev{a} libdebhelper-perl{a} libelf1t64{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfontbox-java{a} libfontconfig1{a} libfontenc1{a} libfreetype6{a} libglib2.0-0t64{a} libgraphite2-3{a} libharfbuzz0b{a} libice6{a} libicu72{a} libkpathsea6{a} libmagic-mgc{a} libmagic1t64{a} libncurses-dev{a} libncurses6{a} libocaml-compiler-libs-ocaml-dev{a} libpaper-utils{a} libpaper1{a} libpdfbox-java{a} libpipeline1{a} libpixman-1-0{a} libpng16-16t64{a} libpotrace0{a} libppx-derivers-ocaml-dev{a} libppx-deriving-ocaml{a} libppx-deriving-ocaml-dev{a} libppxlib-ocaml-dev{a} libptexenc1{a} libpython3-stdlib{a} libpython3.11-minimal{a} libpython3.11-stdlib{a} libreadline8t64{a} libresult-ocaml{a} libresult-ocaml-dev{a} libsexplib0-ocaml{a} libsexplib0-ocaml-dev{a} libsm6{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libsynctex2{a} libteckit0{a} libtexlua53-5{a} libtool{a} libuchardet0{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} lmodern{a} m4{a} man-db{a} media-types{a} netbase{a} ocaml{a} ocaml-base{a} ocaml-dune{a} ocaml-findlib{a} ocaml-interp{a} ocp-indent{a} po-debconf{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: apvlv atril ca-certificates curl default-jre dvisvgm evince ghostscript gv ledit libarchive-cpio-perl libfile-mimeinfo-perl libfindlib-ocaml-dev libglib2.0-data libgpm2 libltdl-dev libmail-sendmail-perl libnet-dbus-perl libspreadsheet-parseexcel-perl libx11-protocol-perl lynx mupdf ocaml-man okular rlfe rlwrap ruby shared-mime-info tex-gyre texlive-plain-generic tipa tk viewpdf.app wget x11-utils x11-xserver-utils xdg-user-dirs xpdf zathura-pdf-poppler zathura-ps 0 packages upgraded, 126 newly installed, 0 to remove and 0 not upgraded. Need to get 276 MB of archives. After unpacking 1019 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian trixie/main armhf libpython3.11-minimal armhf 3.11.9-1 [805 kB] Get: 2 http://deb.debian.org/debian trixie/main armhf libexpat1 armhf 2.6.2-1 [83.5 kB] Get: 3 http://deb.debian.org/debian trixie/main armhf python3.11-minimal armhf 3.11.9-1 [1600 kB] Get: 4 http://deb.debian.org/debian trixie/main armhf python3-minimal armhf 3.11.8-1 [26.3 kB] Get: 5 http://deb.debian.org/debian trixie/main armhf media-types all 10.1.0 [26.9 kB] Get: 6 http://deb.debian.org/debian trixie/main armhf netbase all 6.4 [12.8 kB] Get: 7 http://deb.debian.org/debian trixie/main armhf tzdata all 2024a-4 [255 kB] Get: 8 http://deb.debian.org/debian trixie/main armhf readline-common all 8.2-4 [69.3 kB] Get: 9 http://deb.debian.org/debian trixie/main armhf libreadline8t64 armhf 8.2-4 [145 kB] Get: 10 http://deb.debian.org/debian trixie/main armhf libpython3.11-stdlib armhf 3.11.9-1 [1704 kB] Get: 11 http://deb.debian.org/debian trixie/main armhf python3.11 armhf 3.11.9-1 [602 kB] Get: 12 http://deb.debian.org/debian trixie/main armhf libpython3-stdlib armhf 3.11.8-1 [9332 B] Get: 13 http://deb.debian.org/debian trixie/main armhf python3 armhf 3.11.8-1 [27.4 kB] Get: 14 http://deb.debian.org/debian trixie/main armhf sensible-utils all 0.0.24 [24.8 kB] Get: 15 http://deb.debian.org/debian trixie/main armhf libmagic-mgc armhf 1:5.45-3 [314 kB] Get: 16 http://deb.debian.org/debian trixie/main armhf libmagic1t64 armhf 1:5.45-3 [98.1 kB] Get: 17 http://deb.debian.org/debian trixie/main armhf file armhf 1:5.45-3 [42.0 kB] Get: 18 http://deb.debian.org/debian trixie/main armhf gettext-base armhf 0.21-15 [157 kB] Get: 19 http://deb.debian.org/debian trixie/main armhf libuchardet0 armhf 0.0.8-1+b1 [65.7 kB] Get: 20 http://deb.debian.org/debian trixie/main armhf groff-base armhf 1.23.0-4 [1090 kB] Get: 21 http://deb.debian.org/debian trixie/main armhf bsdextrautils armhf 2.40.1-9 [87.8 kB] Get: 22 http://deb.debian.org/debian trixie/main armhf libpipeline1 armhf 1.5.7-2 [33.3 kB] Get: 23 http://deb.debian.org/debian trixie/main armhf man-db armhf 2.12.1-2 [1376 kB] Get: 24 http://deb.debian.org/debian trixie/main armhf ucf all 3.0043+nmu1 [55.2 kB] Get: 25 http://deb.debian.org/debian trixie/main armhf m4 armhf 1.4.19-4 [264 kB] Get: 26 http://deb.debian.org/debian trixie/main armhf autoconf all 2.71-3 [332 kB] Get: 27 http://deb.debian.org/debian trixie/main armhf autotools-dev all 20220109.1 [51.6 kB] Get: 28 http://deb.debian.org/debian trixie/main armhf automake all 1:1.16.5-1.3 [823 kB] Get: 29 http://deb.debian.org/debian trixie/main armhf autopoint all 0.21-15 [683 kB] Get: 30 http://deb.debian.org/debian trixie/main armhf libdebhelper-perl all 13.16 [88.6 kB] Get: 31 http://deb.debian.org/debian trixie/main armhf libtool all 2.4.7-7 [517 kB] Get: 32 http://deb.debian.org/debian trixie/main armhf dh-autoreconf all 20 [17.1 kB] Get: 33 http://deb.debian.org/debian trixie/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 34 http://deb.debian.org/debian trixie/main armhf libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get: 35 http://deb.debian.org/debian trixie/main armhf dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get: 36 http://deb.debian.org/debian trixie/main armhf libelf1t64 armhf 0.191-1+b1 [183 kB] Get: 37 http://deb.debian.org/debian trixie/main armhf dwz armhf 0.15-1+b2 [106 kB] Get: 38 http://deb.debian.org/debian trixie/main armhf libicu72 armhf 72.1-4+b1 [9070 kB] Get: 39 http://deb.debian.org/debian trixie/main armhf libxml2 armhf 2.9.14+dfsg-1.3+b3 [598 kB] Get: 40 http://deb.debian.org/debian trixie/main armhf gettext armhf 0.21-15 [1230 kB] Get: 41 http://deb.debian.org/debian trixie/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 42 http://deb.debian.org/debian trixie/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 43 http://deb.debian.org/debian trixie/main armhf debhelper all 13.16 [891 kB] Get: 44 http://deb.debian.org/debian trixie/main armhf dh-ocaml all 2.1 [69.4 kB] Get: 45 http://deb.debian.org/debian trixie/main armhf fonts-dejavu-mono all 2.37-8 [489 kB] Get: 46 http://deb.debian.org/debian trixie/main armhf fonts-dejavu-core all 2.37-8 [840 kB] Get: 47 http://deb.debian.org/debian trixie/main armhf fontconfig-config armhf 2.15.0-1.1 [317 kB] Get: 48 http://deb.debian.org/debian trixie/main armhf fonts-lmodern all 2.005-1 [4540 kB] Get: 49 http://deb.debian.org/debian trixie/main armhf tex-common all 6.18 [32.5 kB] Get: 50 http://deb.debian.org/debian trixie/main armhf libpaper1 armhf 1.1.29+b1 [12.2 kB] Get: 51 http://deb.debian.org/debian trixie/main armhf libpaper-utils armhf 1.1.29+b1 [8700 B] Get: 52 http://deb.debian.org/debian trixie/main armhf libkpathsea6 armhf 2023.20230311.66589-9+b2 [145 kB] Get: 53 http://deb.debian.org/debian trixie/main armhf libptexenc1 armhf 2023.20230311.66589-9+b2 [43.1 kB] Get: 54 http://deb.debian.org/debian trixie/main armhf libsynctex2 armhf 2023.20230311.66589-9+b2 [48.8 kB] Get: 55 http://deb.debian.org/debian trixie/main armhf libtexlua53-5 armhf 2023.20230311.66589-9+b2 [83.0 kB] Get: 56 http://deb.debian.org/debian trixie/main armhf t1utils armhf 1.41-4 [54.7 kB] Get: 57 http://deb.debian.org/debian trixie/main armhf libbrotli1 armhf 1.1.0-2+b3 [284 kB] Get: 58 http://deb.debian.org/debian trixie/main armhf libpng16-16t64 armhf 1.6.43-5 [262 kB] Get: 59 http://deb.debian.org/debian trixie/main armhf libfreetype6 armhf 2.13.2+dfsg-1+b4 [372 kB] Get: 60 http://deb.debian.org/debian trixie/main armhf libfontconfig1 armhf 2.15.0-1.1 [370 kB] Get: 61 http://deb.debian.org/debian trixie/main armhf libpixman-1-0 armhf 0.42.2-1+b1 [476 kB] Get: 62 http://deb.debian.org/debian trixie/main armhf libxau6 armhf 1:1.0.9-1+b1 [17.4 kB] Get: 63 http://deb.debian.org/debian trixie/main armhf libbsd0 armhf 0.12.2-1 [127 kB] Get: 64 http://deb.debian.org/debian trixie/main armhf libxdmcp6 armhf 1:1.1.2-3+b1 [23.0 kB] Get: 65 http://deb.debian.org/debian trixie/main armhf libxcb1 armhf 1.17.0-2 [140 kB] Get: 66 http://deb.debian.org/debian trixie/main armhf libx11-data all 2:1.8.7-1 [328 kB] Get: 67 http://deb.debian.org/debian trixie/main armhf libx11-6 armhf 2:1.8.7-1+b1 [739 kB] Get: 68 http://deb.debian.org/debian trixie/main armhf libxcb-render0 armhf 1.17.0-2 [114 kB] Get: 69 http://deb.debian.org/debian trixie/main armhf libxcb-shm0 armhf 1.17.0-2 [105 kB] Get: 70 http://deb.debian.org/debian trixie/main armhf libxext6 armhf 2:1.3.4-1+b1 [47.8 kB] Get: 71 http://deb.debian.org/debian trixie/main armhf libxrender1 armhf 1:0.9.10-1.1+b1 [24.9 kB] Get: 72 http://deb.debian.org/debian trixie/main armhf libcairo2 armhf 1.18.0-3+b1 [442 kB] Get: 73 http://deb.debian.org/debian trixie/main armhf libgraphite2-3 armhf 1.3.14-2 [63.2 kB] Get: 74 http://deb.debian.org/debian trixie/main armhf libglib2.0-0t64 armhf 2.80.2-2 [1314 kB] Get: 75 http://deb.debian.org/debian trixie/main armhf libharfbuzz0b armhf 8.3.0-2+b1 [2156 kB] Get: 76 http://deb.debian.org/debian trixie/main armhf libpotrace0 armhf 1.16-2+b1 [22.6 kB] Get: 77 http://deb.debian.org/debian trixie/main armhf libteckit0 armhf 2.5.12+ds1-1 [259 kB] Get: 78 http://deb.debian.org/debian trixie/main armhf x11-common all 1:7.7+23 [252 kB] Get: 79 http://deb.debian.org/debian trixie/main armhf libice6 armhf 2:1.0.10-1+b1 [50.1 kB] Get: 80 http://deb.debian.org/debian trixie/main armhf libsm6 armhf 2:1.2.3-1+b1 [31.7 kB] Get: 81 http://deb.debian.org/debian trixie/main armhf libxt6t64 armhf 1:1.2.1-1.2 [159 kB] Get: 82 http://deb.debian.org/debian trixie/main armhf libxmu6 armhf 2:1.1.3-3+b2 [50.9 kB] Get: 83 http://deb.debian.org/debian trixie/main armhf libxpm4 armhf 1:3.5.17-1+b1 [50.0 kB] Get: 84 http://deb.debian.org/debian trixie/main armhf libxaw7 armhf 2:1.0.14-1+b2 [165 kB] Get: 85 http://deb.debian.org/debian trixie/main armhf libxi6 armhf 2:1.8.1-1 [73.8 kB] Get: 86 http://deb.debian.org/debian trixie/main armhf libzzip-0-13t64 armhf 0.13.72+dfsg.1-1.2+b1 [53.0 kB] Get: 87 http://deb.debian.org/debian trixie/main armhf texlive-binaries armhf 2023.20230311.66589-9+b2 [6062 kB] Get: 88 http://deb.debian.org/debian trixie/main armhf xdg-utils all 1.1.3-4.1 [75.5 kB] Get: 89 http://deb.debian.org/debian trixie/main armhf texlive-base all 2023.20240207-1 [22.0 MB] Get: 90 http://deb.debian.org/debian trixie/main armhf texlive-latex-base all 2023.20240207-1 [1255 kB] Get: 91 http://deb.debian.org/debian trixie/main armhf latexmk all 1:4.85-1 [501 kB] Get: 92 http://deb.debian.org/debian trixie/main armhf libapache-pom-java all 29-2 [5276 B] Get: 93 http://deb.debian.org/debian trixie/main armhf libcommons-parent-java all 56-1 [10.8 kB] Get: 94 http://deb.debian.org/debian trixie/main armhf libcommons-logging-java all 1.3.0-1 [68.6 kB] Get: 95 http://deb.debian.org/debian trixie/main armhf libstdlib-ocaml armhf 4.14.1-1 [464 kB] Get: 96 http://deb.debian.org/debian trixie/main armhf libstdlib-ocaml-dev armhf 4.14.1-1 [7137 kB] Get: 97 http://deb.debian.org/debian trixie/main armhf libcompiler-libs-ocaml-dev armhf 4.14.1-1 [32.2 MB] Get: 98 http://deb.debian.org/debian trixie/main armhf ocaml-base armhf 4.14.1-1 [358 kB] Get: 99 http://deb.debian.org/debian trixie/main armhf libfindlib-ocaml armhf 1.9.6-2 [167 kB] Get: 100 http://deb.debian.org/debian trixie/main armhf libfontbox-java all 1:1.8.16-5 [211 kB] Get: 101 http://deb.debian.org/debian trixie/main armhf libfontenc1 armhf 1:1.1.8-1 [20.6 kB] Get: 102 http://deb.debian.org/debian trixie/main armhf libncurses6 armhf 6.5-2 [81.8 kB] Get: 103 http://deb.debian.org/debian trixie/main armhf libncurses-dev armhf 6.5-2 [309 kB] Get: 104 http://deb.debian.org/debian trixie/main armhf ocaml-interp armhf 4.14.1-1 [6458 kB] Get: 105 http://deb.debian.org/debian trixie/main armhf ocaml armhf 4.14.1-1 [66.5 MB] Get: 106 http://deb.debian.org/debian trixie/main armhf libocaml-compiler-libs-ocaml-dev armhf 0.12.4-4+b1 [83.7 kB] Get: 107 http://deb.debian.org/debian trixie/main armhf libpdfbox-java all 1:1.8.16-5 [5527 kB] Get: 108 http://deb.debian.org/debian trixie/main armhf libppx-derivers-ocaml-dev armhf 1.2.1-4+b1 [16.2 kB] Get: 109 http://deb.debian.org/debian trixie/main armhf libsexplib0-ocaml armhf 0.16.0-3+b1 [109 kB] Get: 110 http://deb.debian.org/debian trixie/main armhf libppx-deriving-ocaml armhf 6.0.2-2 [3754 kB] Get: 111 http://deb.debian.org/debian trixie/main armhf ocaml-findlib armhf 1.9.6-2 [468 kB] Get: 112 http://deb.debian.org/debian trixie/main armhf libsexplib0-ocaml-dev armhf 0.16.0-3+b1 [245 kB] Get: 113 http://deb.debian.org/debian trixie/main armhf libppxlib-ocaml-dev armhf 0.32.1-1 [16.3 MB] Get: 114 http://deb.debian.org/debian trixie/main armhf libppx-deriving-ocaml-dev armhf 6.0.2-2 [854 kB] Get: 115 http://deb.debian.org/debian trixie/main armhf libresult-ocaml armhf 1.5-4+b1 [7472 B] Get: 116 http://deb.debian.org/debian trixie/main armhf libresult-ocaml-dev armhf 1.5-4+b1 [10.6 kB] Get: 117 http://deb.debian.org/debian trixie/main armhf xfonts-encodings all 1:1.0.4-2.2 [577 kB] Get: 118 http://deb.debian.org/debian trixie/main armhf xfonts-utils armhf 1:7.7+6 [84.5 kB] Get: 119 http://deb.debian.org/debian trixie/main armhf lmodern all 2.005-1 [9480 kB] Get: 120 http://deb.debian.org/debian trixie/main armhf ocaml-dune armhf 3.15.3-2 [4342 kB] Get: 121 http://deb.debian.org/debian trixie/main armhf ocp-indent armhf 1.8.2-5+b1 [973 kB] Get: 122 http://deb.debian.org/debian trixie/main armhf preview-latex-style all 13.2-1 [350 kB] Get: 123 http://deb.debian.org/debian trixie/main armhf texlive-fonts-recommended all 2023.20240207-1 [4990 kB] Get: 124 http://deb.debian.org/debian trixie/main armhf texlive-latex-recommended all 2023.20240207-1 [8843 kB] Get: 125 http://deb.debian.org/debian trixie/main armhf texlive-pictures all 2023.20240207-1 [16.7 MB] Get: 126 http://deb.debian.org/debian trixie/main armhf texlive-latex-extra all 2023.20240207-1 [19.7 MB] Fetched 276 MB in 15s (18.2 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libpython3.11-minimal: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 ... 19419 files and directories currently installed.) Preparing to unpack .../libpython3.11-minimal_3.11.9-1_armhf.deb ... Unpacking libpython3.11-minimal:armhf (3.11.9-1) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../libexpat1_2.6.2-1_armhf.deb ... Unpacking libexpat1:armhf (2.6.2-1) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../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 ... 19735 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 ... 20727 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.24_all.deb ... Unpacking sensible-utils (0.0.24) ... 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-15_armhf.deb ... Unpacking gettext-base (0.21-15) ... 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-9_armhf.deb ... Unpacking bsdextrautils (2.40.1-9) ... 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-2_armhf.deb ... Unpacking man-db (2.12.1-2) ... 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-15_all.deb ... Unpacking autopoint (0.21-15) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../017-libdebhelper-perl_13.16_all.deb ... Unpacking libdebhelper-perl (13.16) ... 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 libfile-stripnondeterminism-perl. Preparing to unpack .../021-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../022-dh-strip-nondeterminism_1.14.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.14.0-1) ... Selecting previously unselected package libelf1t64:armhf. Preparing to unpack .../023-libelf1t64_0.191-1+b1_armhf.deb ... Unpacking libelf1t64:armhf (0.191-1+b1) ... Selecting previously unselected package dwz. Preparing to unpack .../024-dwz_0.15-1+b2_armhf.deb ... Unpacking dwz (0.15-1+b2) ... Selecting previously unselected package libicu72:armhf. Preparing to unpack .../025-libicu72_72.1-4+b1_armhf.deb ... Unpacking libicu72:armhf (72.1-4+b1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../026-libxml2_2.9.14+dfsg-1.3+b3_armhf.deb ... Unpacking libxml2:armhf (2.9.14+dfsg-1.3+b3) ... Selecting previously unselected package gettext. Preparing to unpack .../027-gettext_0.21-15_armhf.deb ... Unpacking gettext (0.21-15) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../028-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 .../029-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../030-debhelper_13.16_all.deb ... Unpacking debhelper (13.16) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../031-dh-ocaml_2.1_all.deb ... Unpacking dh-ocaml (2.1) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../032-fonts-dejavu-mono_2.37-8_all.deb ... Unpacking fonts-dejavu-mono (2.37-8) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../033-fonts-dejavu-core_2.37-8_all.deb ... Unpacking fonts-dejavu-core (2.37-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../034-fontconfig-config_2.15.0-1.1_armhf.deb ... Unpacking fontconfig-config (2.15.0-1.1) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../035-fonts-lmodern_2.005-1_all.deb ... Unpacking fonts-lmodern (2.005-1) ... Selecting previously unselected package tex-common. Preparing to unpack .../036-tex-common_6.18_all.deb ... Unpacking tex-common (6.18) ... Selecting previously unselected package libpaper1:armhf. Preparing to unpack .../037-libpaper1_1.1.29+b1_armhf.deb ... Unpacking libpaper1:armhf (1.1.29+b1) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../038-libpaper-utils_1.1.29+b1_armhf.deb ... Unpacking libpaper-utils (1.1.29+b1) ... Selecting previously unselected package libkpathsea6:armhf. Preparing to unpack .../039-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 .../040-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 .../041-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 .../042-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 .../043-t1utils_1.41-4_armhf.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package libbrotli1:armhf. Preparing to unpack .../044-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 .../045-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 .../046-libfreetype6_2.13.2+dfsg-1+b4_armhf.deb ... Unpacking libfreetype6:armhf (2.13.2+dfsg-1+b4) ... Selecting previously unselected package libfontconfig1:armhf. Preparing to unpack .../047-libfontconfig1_2.15.0-1.1_armhf.deb ... Unpacking libfontconfig1:armhf (2.15.0-1.1) ... Selecting previously unselected package libpixman-1-0:armhf. Preparing to unpack .../048-libpixman-1-0_0.42.2-1+b1_armhf.deb ... Unpacking libpixman-1-0:armhf (0.42.2-1+b1) ... Selecting previously unselected package libxau6:armhf. Preparing to unpack .../049-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 .../050-libbsd0_0.12.2-1_armhf.deb ... Unpacking libbsd0:armhf (0.12.2-1) ... Selecting previously unselected package libxdmcp6:armhf. Preparing to unpack .../051-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 .../052-libxcb1_1.17.0-2_armhf.deb ... Unpacking libxcb1:armhf (1.17.0-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../053-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 .../054-libx11-6_2%3a1.8.7-1+b1_armhf.deb ... Unpacking libx11-6:armhf (2:1.8.7-1+b1) ... Selecting previously unselected package libxcb-render0:armhf. Preparing to unpack .../055-libxcb-render0_1.17.0-2_armhf.deb ... Unpacking libxcb-render0:armhf (1.17.0-2) ... Selecting previously unselected package libxcb-shm0:armhf. Preparing to unpack .../056-libxcb-shm0_1.17.0-2_armhf.deb ... Unpacking libxcb-shm0:armhf (1.17.0-2) ... Selecting previously unselected package libxext6:armhf. Preparing to unpack .../057-libxext6_2%3a1.3.4-1+b1_armhf.deb ... Unpacking libxext6:armhf (2:1.3.4-1+b1) ... Selecting previously unselected package libxrender1:armhf. Preparing to unpack .../058-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 .../059-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 .../060-libgraphite2-3_1.3.14-2_armhf.deb ... Unpacking libgraphite2-3:armhf (1.3.14-2) ... Selecting previously unselected package libglib2.0-0t64:armhf. Preparing to unpack .../061-libglib2.0-0t64_2.80.2-2_armhf.deb ... Unpacking libglib2.0-0t64:armhf (2.80.2-2) ... Selecting previously unselected package libharfbuzz0b:armhf. Preparing to unpack .../062-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 .../063-libpotrace0_1.16-2+b1_armhf.deb ... Unpacking libpotrace0:armhf (1.16-2+b1) ... Selecting previously unselected package libteckit0:armhf. Preparing to unpack .../064-libteckit0_2.5.12+ds1-1_armhf.deb ... Unpacking libteckit0:armhf (2.5.12+ds1-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../065-x11-common_1%3a7.7+23_all.deb ... Unpacking x11-common (1:7.7+23) ... Selecting previously unselected package libice6:armhf. Preparing to unpack .../066-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 .../067-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 .../068-libxt6t64_1%3a1.2.1-1.2_armhf.deb ... Unpacking libxt6t64:armhf (1:1.2.1-1.2) ... Selecting previously unselected package libxmu6:armhf. Preparing to unpack .../069-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 .../070-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 .../071-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 .../072-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 .../073-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 .../074-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 .../075-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 .../076-texlive-base_2023.20240207-1_all.deb ... Unpacking texlive-base (2023.20240207-1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../077-texlive-latex-base_2023.20240207-1_all.deb ... Unpacking texlive-latex-base (2023.20240207-1) ... Selecting previously unselected package latexmk. Preparing to unpack .../078-latexmk_1%3a4.85-1_all.deb ... Unpacking latexmk (1:4.85-1) ... Selecting previously unselected package libapache-pom-java. Preparing to unpack .../079-libapache-pom-java_29-2_all.deb ... Unpacking libapache-pom-java (29-2) ... Selecting previously unselected package libcommons-parent-java. Preparing to unpack .../080-libcommons-parent-java_56-1_all.deb ... Unpacking libcommons-parent-java (56-1) ... Selecting previously unselected package libcommons-logging-java. Preparing to unpack .../081-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 .../082-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 .../083-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 .../084-libcompiler-libs-ocaml-dev_4.14.1-1_armhf.deb ... Unpacking libcompiler-libs-ocaml-dev (4.14.1-1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../085-ocaml-base_4.14.1-1_armhf.deb ... Unpacking ocaml-base (4.14.1-1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../086-libfindlib-ocaml_1.9.6-2_armhf.deb ... Unpacking libfindlib-ocaml (1.9.6-2) ... Selecting previously unselected package libfontbox-java. Preparing to unpack .../087-libfontbox-java_1%3a1.8.16-5_all.deb ... Unpacking libfontbox-java (1:1.8.16-5) ... Selecting previously unselected package libfontenc1:armhf. Preparing to unpack .../088-libfontenc1_1%3a1.1.8-1_armhf.deb ... Unpacking libfontenc1:armhf (1:1.1.8-1) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../089-libncurses6_6.5-2_armhf.deb ... Unpacking libncurses6:armhf (6.5-2) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../090-libncurses-dev_6.5-2_armhf.deb ... Unpacking libncurses-dev:armhf (6.5-2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../091-ocaml-interp_4.14.1-1_armhf.deb ... Unpacking ocaml-interp (4.14.1-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../092-ocaml_4.14.1-1_armhf.deb ... Unpacking ocaml (4.14.1-1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../093-libocaml-compiler-libs-ocaml-dev_0.12.4-4+b1_armhf.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ... Selecting previously unselected package libpdfbox-java. Preparing to unpack .../094-libpdfbox-java_1%3a1.8.16-5_all.deb ... Unpacking libpdfbox-java (1:1.8.16-5) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../095-libppx-derivers-ocaml-dev_1.2.1-4+b1_armhf.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../096-libsexplib0-ocaml_0.16.0-3+b1_armhf.deb ... Unpacking libsexplib0-ocaml (0.16.0-3+b1) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../097-libppx-deriving-ocaml_6.0.2-2_armhf.deb ... Unpacking libppx-deriving-ocaml (6.0.2-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../098-ocaml-findlib_1.9.6-2_armhf.deb ... Unpacking ocaml-findlib (1.9.6-2) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../099-libsexplib0-ocaml-dev_0.16.0-3+b1_armhf.deb ... Unpacking libsexplib0-ocaml-dev (0.16.0-3+b1) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../100-libppxlib-ocaml-dev_0.32.1-1_armhf.deb ... Unpacking libppxlib-ocaml-dev (0.32.1-1) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../101-libppx-deriving-ocaml-dev_6.0.2-2_armhf.deb ... Unpacking libppx-deriving-ocaml-dev (6.0.2-2) ... Selecting previously unselected package libresult-ocaml. Preparing to unpack .../102-libresult-ocaml_1.5-4+b1_armhf.deb ... Unpacking libresult-ocaml (1.5-4+b1) ... Selecting previously unselected package libresult-ocaml-dev. Preparing to unpack .../103-libresult-ocaml-dev_1.5-4+b1_armhf.deb ... Unpacking libresult-ocaml-dev (1.5-4+b1) ... Selecting previously unselected package xfonts-encodings. Preparing to unpack .../104-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 .../105-xfonts-utils_1%3a7.7+6_armhf.deb ... Unpacking xfonts-utils (1:7.7+6) ... Selecting previously unselected package lmodern. Preparing to unpack .../106-lmodern_2.005-1_all.deb ... Unpacking lmodern (2.005-1) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../107-ocaml-dune_3.15.3-2_armhf.deb ... Unpacking ocaml-dune (3.15.3-2) ... Selecting previously unselected package ocp-indent. Preparing to unpack .../108-ocp-indent_1.8.2-5+b1_armhf.deb ... Unpacking ocp-indent (1.8.2-5+b1) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../109-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 .../110-texlive-fonts-recommended_2023.20240207-1_all.deb ... Unpacking texlive-fonts-recommended (2023.20240207-1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../111-texlive-latex-recommended_2023.20240207-1_all.deb ... Unpacking texlive-latex-recommended (2023.20240207-1) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../112-texlive-pictures_2023.20240207-1_all.deb ... Unpacking texlive-pictures (2023.20240207-1) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../113-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 libpixman-1-0:armhf (0.42.2-1+b1) ... Setting up libxau6:armhf (1:1.0.9-1+b1) ... Setting up libicu72:armhf (72.1-4+b1) ... Setting up bsdextrautils (2.40.1-9) ... Setting up libmagic-mgc (1:5.45-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.16) ... 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.1) ... Setting up gettext-base (0.21-15) ... Setting up m4 (1.4.19-4) ... Setting up file (1:5.45-3) ... Setting up libelf1t64:armhf (0.191-1+b1) ... Setting up ocaml-dune (3.15.3-2) ... Setting up tzdata (2024a-4) ... Current default time zone: 'Etc/UTC' Local time is now: Sat Jun 29 05:20:23 UTC 2024. Universal Time is now: Sat Jun 29 05:20: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-2) ... No schema files found: doing nothing. 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 libteckit0:armhf (2.5.12+ds1-1) ... Setting up libapache-pom-java (29-2) ... Setting up libncurses6:armhf (6.5-2) ... 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 fonts-dejavu-mono (2.37-8) ... Setting up libpng16-16t64:armhf (1.6.43-5) ... Setting up autopoint (0.21-15) ... Setting up ocaml-base (4.14.1-1) ... Setting up fonts-dejavu-core (2.37-8) ... Setting up libkpathsea6:armhf (2023.20230311.66589-9+b2) ... Setting up autoconf (2.71-3) ... Setting up libsexplib0-ocaml (0.16.0-3+b1) ... Setting up dwz (0.15-1+b2) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:armhf (0.0.8-1+b1) ... Setting up fonts-lmodern (2.005-1) ... Setting up netbase (6.4) ... Setting up libbsd0:armhf (0.12.2-1) ... Setting up libresult-ocaml (1.5-4+b1) ... 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 libfile-stripnondeterminism-perl (1.14.0-1) ... Setting up libppx-deriving-ocaml (6.0.2-2) ... 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-2) ... Setting up gettext (0.21-15) ... 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-2) ... Setting up fontconfig-config (2.15.0-1.1) ... Setting up libcommons-parent-java (56-1) ... Setting up libfindlib-ocaml (1.9.6-2) ... Setting up libcommons-logging-java (1.3.0-1) ... Setting up libxcb-shm0:armhf (1.17.0-2) ... 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 ocaml-findlib (1.9.6-2) ... Setting up ucf (3.0043+nmu1) ... Setting up libreadline8t64:armhf (8.2-4) ... Setting up dh-strip-nondeterminism (1.14.0-1) ... 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 libfontconfig1:armhf (2.15.0-1.1) ... Setting up libsm6:armhf (2:1.2.3-1+b1) ... Setting up ocp-indent (1.8.2-5+b1) ... 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 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-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libcairo2:armhf (1.18.0-3+b1) ... 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 libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ... Setting up libsexplib0-ocaml-dev (0.16.0-3+b1) ... Setting up lmodern (2.005-1) ... Setting up libresult-ocaml-dev (1.5-4+b1) ... Setting up libpython3-stdlib:armhf (3.11.8-1) ... Setting up python3.11 (3.11.9-1) ... Setting up libxmu6:armhf (2:1.1.3-3+b2) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+b1) ... Setting up libxi6:armhf (2:1.8.1-1) ... Setting up preview-latex-style (13.2-1) ... Setting up libppxlib-ocaml-dev (0.32.1-1) ... Setting up debhelper (13.16) ... Setting up python3 (3.11.8-1) ... Setting up libxaw7:armhf (2:1.0.14-1+b2) ... 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 libppx-deriving-ocaml-dev (6.0.2-2) ... 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 latexmk (1:4.85-1) ... Setting up texlive-latex-extra (2023.20240207-1) ... Processing triggers for libc-bin (2.38-13) ... 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/ocaml-visitors-20210608/ && 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 > ../ocaml-visitors_20210608-6_source.changes dpkg-buildpackage: info: source package ocaml-visitors dpkg-buildpackage: info: source version 20210608-6 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 override_dh_auto_build-indep make[1]: Entering directory '/build/reproducible-path/ocaml-visitors-20210608' cd doc && /usr/bin/make SHELL=/bin/bash make[2]: Entering directory '/build/reproducible-path/ocaml-visitors-20210608/doc' Preprocessing ../test/OOinfer.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/OOinferfixed.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/OOinferfixedagain.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/OOinferfixedagaincheck.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/OOinferself.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/OOinfervirtual.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/bench.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/build.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/cil_types.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/cil_types_polymorphic.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/delayed_tree.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/dictionary.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr00.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr00endo.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr00fold.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr00fold2.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr01.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr01use.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr01use_variant.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr02.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr03.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr04.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr05.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr05lexico.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr05lexico_test.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr06.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr08.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr08double.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr08extra.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr11.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr12.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr13.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr13double.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr13extra.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr14.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr15.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr15b.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr15c.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr16.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr17.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_mapreduce.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_mapreduce_test.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_mapreduce_use.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_polymorphic.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_polymorphic_use.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_polymorphic_use_test.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_use.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_redef.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/fold.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/hexpr_polymorphic.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/mapReduce.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/map_from_fold.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/monomorphic.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/monopoly.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/oexpr_polymorphic.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/opaque.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/point.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/polyclass.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/ppx_import/expr.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/ppx_import/expr_import.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/ppx_import/expr_import_opaque.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/prefixes.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test00.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test01.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test03.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test04.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test05.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test06.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test07.ml... ocamlfind: Package `ppx_tools' not found latexmk -g -pdf manual Rc files read: /etc/LatexMk Latexmk: This is Latexmk, John Collins, 7 Apr. 2024. Version 4.85. No existing .aux file, so I'll make a simple one, and require run of *latex. Force everything to be remade. Latexmk: applying rule 'pdflatex'... Rule 'pdflatex': Reasons for rerun Category 'other': Rerun of 'pdflatex' forced or previously required: Reason or flag: 'go_mode' ------------ Run number 1 of rule 'pdflatex' ------------ ------------ Running 'pdflatex -recorder "manual.tex"' ------------ 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> (/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/geometry/geometry.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty))) (/usr/share/texmf/tex/latex/lm/lmodern.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/enumitem/enumitem.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.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))) (/usr/share/texlive/texmf-dist/tex/latex/marginnote/marginnote.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (./listings-ocaml.tex) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.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/tools/tabularx.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/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-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/mdframed.sty (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.sty (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.sty (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-abspage.sty (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-base.sty (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty))) (/usr/share/texlive/texmf-dist/tex/latex/needspace/needspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/md-frame-0.mdf)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./macros.tex) (./version.tex) (./manual.aux) *geometry* driver: auto-detecting *geometry* detected driver: pdftex (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texmf/tex/latex/lm/ot1lmr.fd) (/usr/share/texmf/tex/latex/lm/omllmm.fd) (/usr/share/texmf/tex/latex/lm/omslmsy.fd) (/usr/share/texmf/tex/latex/lm/omxlmex.fd) (/usr/share/texmf/tex/latex/lm/t1lmtt.fd) [1{/var/lib/texmf/fonts/map/pdftex/up dmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}{/us r/share/texmf/fonts/enc/dvips/lm/lm-ec.enc}] No file manual.toc. [2] [3] (../test/expr00.ml) LaTeX Warning: Reference `mdf@pagelabel-1' on page 4 undefined on input line 15 4. (../test/expr00.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-2' on page 4 undefined on input line 15 7. LaTeX Warning: Reference `fig:expr00' on page 4 undefined on input line 168. LaTeX Warning: Reference `fig:expr00' on page 4 undefined on input line 176. LaTeX Warning: Reference `fig:expr00' on page 4 undefined on input line 182. LaTeX Warning: Reference `fig:expr00' on page 4 undefined on input line 194. LaTeX Warning: Reference `sec:opaque' on page 4 undefined on input line 200. LaTeX Warning: Reference `fig:expr00' on page 4 undefined on input line 221. (../test/expr04.ml) LaTeX Warning: Reference `mdf@pagelabel-3' on page 4 undefined on input line 22 2. LaTeX Warning: Reference `fig:expr04' on page 4 undefined on input line 234. [4] LaTeX Warning: Reference `fig:expr00' on page 5 undefined on input line 245. LaTeX Warning: Reference `fig:expr04' on page 5 undefined on input line 246. LaTeX Warning: Reference `sec:ancestors' on page 5 undefined on input line 262. (./types.tex LaTeX Warning: Reference `mdf@pagelabel-4' on page 5 undefined on input line 21 . LaTeX Warning: Reference `fig:expr00' on page 5 undefined on input line 22. LaTeX Warning: Reference `mdf@pagelabel-5' on page 5 undefined on input line 35 . LaTeX Warning: Reference `fig:expr00' on page 5 undefined on input line 36. ) LaTeX Warning: Reference `fig:inferred' on page 5 undefined on input line 282. LaTeX Warning: Reference `fig:expr00' on page 5 undefined on input line 283. LaTeX Warning: Reference `fig:simplified' on page 5 undefined on input line 292 . LaTeX Warning: Reference `sec:oo:monomorphic' on page 5 undefined on input line 299. [5] LaTeX Warning: Reference `fig:simplified' on page 6 undefined on input line 306 . LaTeX Warning: Reference `fig:expr00' on page 6 undefined on input line 309. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 6 undefined on input line 317. LaTeX Warning: Reference `sec:intro:nonlocal' on page 6 undefined on input line 317. LaTeX Warning: Reference `fig:convention' on page 6 undefined on input line 317 . (../test/expr01.ml) LaTeX Warning: Reference `mdf@pagelabel-6' on page 6 undefined on input line 32 2. (../test/expr01.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-7' on page 6 undefined on input line 32 4. LaTeX Warning: Reference `sec:intro:iter:usage' on page 6 undefined on input li ne 333. LaTeX Warning: Reference `fig:expr01' on page 6 undefined on input line 339. LaTeX Warning: Reference `fig:expr00' on page 6 undefined on input line 340. [6] (../test/expr00endo.ml) LaTeX Warning: Reference `mdf@pagelabel-8' on page 7 undefined on input line 35 5. (../test/expr00endo.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-9' on page 7 undefined on input line 35 7. LaTeX Warning: Reference `fig:expr00endo' on page 7 undefined on input line 367 . LaTeX Warning: Reference `sec:advanced:hashconsed' on page 7 undefined on input line 388. LaTeX Warning: Reference `fig:expr14' on page 7 undefined on input line 388. (../test/expr15.ml) LaTeX Warning: Reference `mdf@pagelabel-10' on page 7 undefined on input line 3 97. (../test/expr15.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-11' on page 7 undefined on input line 3 99. LaTeX Warning: Reference `fig:expr15' on page 7 undefined on input line 405. (../test/expr15b.ml) LaTeX Warning: Reference `mdf@pagelabel-12' on page 7 undefined on input line 4 06. LaTeX Warning: Reference `fig:expr15' on page 7 undefined on input line 420. LaTeX Warning: Reference `fig:reduce' on page 7 undefined on input line 432. [7] LaTeX Warning: Reference `fig:expr04' on page 8 undefined on input line 450. (../test/expr_info_mapreduce.ml) LaTeX Warning: Reference `mdf@pagelabel-13' on page 8 undefined on input line 4 69. (../test/expr_info_mapreduce.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-14' on page 8 undefined on input line 4 71. LaTeX Warning: Reference `fig:mapreduce' on page 8 undefined on input line 477. (../test/expr_info_mapreduce_use.ml) LaTeX Warning: Reference `mdf@pagelabel-15' on page 8 undefined on input line 4 78. LaTeX Warning: Reference `fig:mapreduce' on page 8 undefined on input line 487. LaTeX Warning: Reference `fig:expr_info_mapreduce_use' on page 8 undefined on i nput line 497. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 8 undefined on input line 501. LaTeX Warning: Reference `fig:reduce' on page 8 undefined on input line 503. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) (../test/expr00fold.ml) LaTeX Warning: Reference `mdf@pagelabel-16' on page 8 undefined on input line 5 22. (../test/expr00fold.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-17' on page 8 undefined on input line 5 24. (../test/fold.ml) LaTeX Warning: Reference `mdf@pagelabel-18' on page 8 undefined on input line 5 30. LaTeX Warning: Reference `fig:expr00fold' on page 8 undefined on input line 549 . LaTeX Warning: Reference `fig:fold' on page 8 undefined on input line 558. [8{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}] LaTeX Warning: Reference `sec:map_from_fold' on page 9 undefined on input line 589. (../test/expr02.ml) LaTeX Warning: Reference `mdf@pagelabel-19' on page 9 undefined on input line 6 06. (../test/expr02.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-20' on page 9 undefined on input line 6 08. LaTeX Warning: Reference `fig:expr02' on page 9 undefined on input line 631. LaTeX Warning: Reference `fig:expr02' on page 9 undefined on input line 639. LaTeX Warning: Reference `fig:expr02' on page 9 undefined on input line 648. (../test/expr05.ml) LaTeX Warning: Reference `mdf@pagelabel-21' on page 9 undefined on input line 6 49. LaTeX Warning: Reference `fig:expr02' on page 9 undefined on input line 655. (../test/expr05lexico.ml) LaTeX Warning: Reference `mdf@pagelabel-22' on page 9 undefined on input line 6 56. LaTeX Warning: Reference `fig:expr05' on page 9 undefined on input line 661. LaTeX Warning: Reference `fig:expr05lexico' on page 9 undefined on input line 6 86. (../test/expr06.ml) LaTeX Warning: Reference `mdf@pagelabel-23' on page 9 undefined on input line 7 12. [9] LaTeX Warning: Reference `fig:expr06' on page 10 undefined on input line 721. LaTeX Warning: Reference `fig:expr06' on page 10 undefined on input line 732. LaTeX Warning: Reference `mdf@pagelabel-24' on page 10 undefined on input line 797. LaTeX Warning: Reference `sec:intro:nonlocal' on page 10 undefined on input lin e 800. LaTeX Warning: Reference `fig:convention' on page 10 undefined on input line 80 0. LaTeX Warning: Reference `sec:regularity' on page 10 undefined on input line 80 8. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 10 undefined on input line 818. LaTeX Warning: Reference `sec:intro:nonlocal' on page 10 undefined on input lin e 818. LaTeX Warning: Reference `fig:convention' on page 10 undefined on input line 81 8. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 10 undefined on input line 821. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 10 undefined on input line 822. [10] (../test/expr_info.ml) LaTeX Warning: Reference `mdf@pagelabel-25' on page 11 undefined on input line 839. (../test/expr_info.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-26' on page 11 undefined on input line 841. LaTeX Warning: Reference `fig:expr_info' on page 11 undefined on input line 847 . (../test/expr_info_use.ml) LaTeX Warning: Reference `mdf@pagelabel-27' on page 11 undefined on input line 848. LaTeX Warning: Reference `fig:expr_info' on page 11 undefined on input line 860 . LaTeX Warning: Reference `fig:expr_info' on page 11 undefined on input line 863 . LaTeX Warning: Reference `sec:oo:self' on page 11 undefined on input line 879. LaTeX Warning: Reference `sec:ancestors' on page 11 undefined on input line 886 . LaTeX Warning: Reference `sec:intro:nonlocal' on page 11 undefined on input lin e 888. LaTeX Warning: Reference `fig:expr_info_use' on page 11 undefined on input line 891. LaTeX Warning: Reference `fig:expr_info' on page 11 undefined on input line 892 . (../test/expr_info_polymorphic.ml) LaTeX Warning: Reference `mdf@pagelabel-28' on page 11 undefined on input line 908. (../test/expr_info_polymorphic.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-29' on page 11 undefined on input line 910. LaTeX Warning: Reference `fig:expr_info_polymorphic' on page 11 undefined on in put line 916. (../test/expr_info_polymorphic_use.ml) LaTeX Warning: Reference `mdf@pagelabel-30' on page 11 undefined on input line 917. LaTeX Warning: Reference `sec:map_from_fold' on page 11 undefined on input line 927. LaTeX Warning: Reference `fig:expr_info_polymorphic' on page 11 undefined on in put line 929. LaTeX Warning: Reference `sec:params' on page 11 undefined on input line 934. LaTeX Warning: Reference `sec:params' on page 11 undefined on input line 947. [11] LaTeX Warning: Reference `fig:expr_info_polymorphic_use' on page 12 undefined o n input line 959. LaTeX Warning: Reference `fig:expr_info_polymorphic' on page 12 undefined on in put line 960. LaTeX Warning: Reference `fig:expr_info_use' on page 12 undefined on input line 961. LaTeX Warning: Reference `fig:expr_info_polymorphic' on page 12 undefined on in put line 979. LaTeX Warning: Reference `sec:intro:nonlocal' on page 12 undefined on input lin e 983. LaTeX Warning: Reference `sec:opaque' on page 12 undefined on input line 987. (../test/expr11.ml) LaTeX Warning: Reference `mdf@pagelabel-31' on page 12 undefined on input line 1025. (../test/expr11.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-32' on page 12 undefined on input line 1027. (./convention.tex LaTeX Warning: Reference `mdf@pagelabel-33' on page 12 undefined on input line 46. ) LaTeX Warning: Reference `fig:expr00' on page 12 undefined on input line 1038. LaTeX Warning: Reference `fig:expr00' on page 12 undefined on input line 1043. LaTeX Warning: Reference `fig:expr11' on page 12 undefined on input line 1046. LaTeX Warning: Reference `fig:expr00' on page 12 undefined on input line 1071. LaTeX Warning: Reference `fig:expr01' on page 12 undefined on input line 1071. LaTeX Warning: Reference `fig:convention' on page 12 undefined on input line 10 80. LaTeX Warning: Reference `sec:opaque' on page 12 undefined on input line 1105. LaTeX Warning: Reference `fig:expr15' on page 12 undefined on input line 1106. [12] LaTeX Warning: Reference `sec:ancestors' on page 13 undefined on input line 111 6. LaTeX Warning: Reference `sec:ancestors' on page 13 undefined on input line 111 8. (../test/expr_redef.ml) LaTeX Warning: Reference `mdf@pagelabel-34' on page 13 undefined on input line 1138. (../test/ppx_import/expr_import.ml) LaTeX Warning: Reference `mdf@pagelabel-35' on page 13 undefined on input line 1149. LaTeX Warning: Reference `sec:opaque' on page 13 undefined on input line 1163. (../test/ppx_import/expr_import_opaque.ml) LaTeX Warning: Reference `mdf@pagelabel-36' on page 13 undefined on input line 1166. (../test/expr12.ml) LaTeX Warning: Reference `mdf@pagelabel-37' on page 13 undefined on input line 1177. (../test/expr12.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-38' on page 13 undefined on input line 1179. LaTeX Warning: Reference `fig:expr12' on page 13 undefined on input line 1185. (../test/expr13.ml) LaTeX Warning: Reference `mdf@pagelabel-39' on page 13 undefined on input line 1186. LaTeX Warning: Reference `fig:expr12' on page 13 undefined on input line 1192. (../test/expr08.ml) LaTeX Warning: Reference `mdf@pagelabel-40' on page 13 undefined on input line 1193. LaTeX Warning: Reference `sec:intro' on page 13 undefined on input line 1202. Underfull \vbox (badness 10000) has occurred while \output is active [13] LaTeX Warning: Reference `fig:expr12' on page 14 undefined on input line 1210. LaTeX Warning: Reference `fig:expr12' on page 14 undefined on input line 1211. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 14 undefined on input line 1213. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 14 undefined on input line 1217. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 14 undefined on input line 1218. LaTeX Warning: Reference `fig:expr13' on page 14 undefined on input line 1222. LaTeX Warning: Citation `milewski-13' on page 14 undefined on input line 1224. LaTeX Warning: Reference `fig:expr13double' on page 14 undefined on input line 1272. LaTeX Warning: Reference `fig:expr12' on page 14 undefined on input line 1279. LaTeX Warning: Reference `fig:expr13' on page 14 undefined on input line 1279. (../test/expr13double.ml) LaTeX Warning: Reference `mdf@pagelabel-41' on page 14 undefined on input line 1280. LaTeX Warning: Reference `fig:expr12' on page 14 undefined on input line 1286. LaTeX Warning: Reference `fig:expr08' on page 14 undefined on input line 1286. (../test/expr08double.ml) LaTeX Warning: Reference `mdf@pagelabel-42' on page 14 undefined on input line 1287. LaTeX Warning: Reference `fig:expr12' on page 14 undefined on input line 1293. LaTeX Warning: Reference `fig:expr13' on page 14 undefined on input line 1293. LaTeX Warning: Reference `fig:expr08' on page 14 undefined on input line 1293. (../test/expr14.ml) LaTeX Warning: Reference `mdf@pagelabel-43' on page 14 undefined on input line 1294. LaTeX Warning: Reference `sec:advanced:openclosed' on page 14 undefined on inpu t line 1303. LaTeX Warning: Citation `filliatre-conchon-06' on page 14 undefined on input li ne 1309. LaTeX Warning: Reference `fig:expr08' on page 14 undefined on input line 1312. LaTeX Warning: Reference `fig:expr13' on page 14 undefined on input line 1313. [14] LaTeX Warning: Reference `sec:advanced:openclosed' on page 15 undefined on inpu t line 1332. LaTeX Warning: Reference `fig:expr13' on page 15 undefined on input line 1348. LaTeX Warning: Reference `fig:expr13double' on page 15 undefined on input line 1360. LaTeX Warning: Reference `fig:expr08double' on page 15 undefined on input line 1360. LaTeX Warning: Reference `fig:expr12' on page 15 undefined on input line 1368. LaTeX Warning: Reference `fig:expr14' on page 15 undefined on input line 1370. LaTeX Warning: Citation `iterators' on page 15 undefined on input line 1387. (../test/OOinfer.ml) LaTeX Warning: Reference `mdf@pagelabel-44' on page 15 undefined on input line 1408. (../test/OOinfervirtual.ml) LaTeX Warning: Reference `mdf@pagelabel-45' on page 15 undefined on input line 1416. [15] LaTeX Warning: Reference `mdf@pagelabel-46' on page 16 undefined on input line 1416. (./OOinfererror.ml) LaTeX Warning: Reference `mdf@pagelabel-47' on page 16 undefined on input line 1435. LaTeX Warning: Reference `mdf@pagelabel-48' on page 16 undefined on input line 1451. (../test/OOinferfixed.ml) LaTeX Warning: Reference `mdf@pagelabel-49' on page 16 undefined on input line 1459. (./OOinfererroragain.ml) LaTeX Warning: Reference `mdf@pagelabel-50' on page 16 undefined on input line 1467. [16] LaTeX Warning: Reference `mdf@pagelabel-51' on page 17 undefined on input line 1467. LaTeX Warning: Reference `mdf@pagelabel-52' on page 17 undefined on input line 1484. (../test/OOinferfixedagain.ml) LaTeX Warning: Reference `mdf@pagelabel-53' on page 17 undefined on input line 1489. (../test/OOinferfixedagaincheck.ml) LaTeX Warning: Reference `mdf@pagelabel-54' on page 17 undefined on input line 1507. LaTeX Warning: Reference `mdf@pagelabel-55' on page 17 undefined on input line 1523. [17] LaTeX Warning: Reference `mdf@pagelabel-56' on page 18 undefined on input line 1523. (../test/OOinferself.ml) LaTeX Warning: Reference `mdf@pagelabel-57' on page 18 undefined on input line 1562. LaTeX Warning: Reference `sec:intro:type' on page 18 undefined on input line 15 89. LaTeX Warning: Reference `fig:inferred' on page 18 undefined on input line 1590 . LaTeX Warning: Reference `fig:simplified' on page 18 undefined on input line 15 91. LaTeX Warning: Reference `fig:simplified' on page 18 undefined on input line 15 99. LaTeX Warning: Citation `ocaml7465' on page 18 undefined on input line 1603. [18] LaTeX Warning: Reference `fig:inferred' on page 19 undefined on input line 1614 . (../test/polyclass.ml) LaTeX Warning: Reference `mdf@pagelabel-58' on page 19 undefined on input line 1636. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 19 undefined on input line 1638. (../test/map_from_fold.ml) LaTeX Warning: Reference `mdf@pagelabel-59' on page 19 undefined on input line 1684. (../test/map_from_fold.mli) LaTeX Warning: Reference `mdf@pagelabel-60' on page 19 undefined on input line 1692. LaTeX Warning: Reference `fig:map_from_fold' on page 19 undefined on input line 1693. LaTeX Warning: Reference `sec:intro:fold' on page 19 undefined on input line 16 97. LaTeX Warning: Reference `fig:map_from_fold' on page 19 undefined on input line 1724. [19] LaTeX Warning: Reference `fig:map_from_fold:type' on page 20 undefined on input line 1764. LaTeX Warning: Reference `fig:map_from_fold' on page 20 undefined on input line 1766. LaTeX Warning: Reference `mdf@pagelabel-61' on page 20 undefined on input line 1783. LaTeX Warning: Reference `sec:intro:fold' on page 20 undefined on input line 18 21. LaTeX Warning: Reference `sec:structure' on page 20 undefined on input line 183 0. LaTeX Warning: Reference `sec:intro:aritytwo' on page 20 undefined on input lin e 1836. LaTeX Warning: Reference `sec:regularity' on page 20 undefined on input line 18 40. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 20 undefined on input line 1856. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 20 undefined on input line 1859. LaTeX Warning: Reference `sec:intro:iter:def' on page 20 undefined on input lin e 1871. LaTeX Warning: Reference `sec:intro:map' on page 20 undefined on input line 187 2. LaTeX Warning: Reference `sec:intro:endo' on page 20 undefined on input line 18 73. LaTeX Warning: Reference `sec:intro:reduce' on page 20 undefined on input line 1874. LaTeX Warning: Reference `sec:intro:mapreduce' on page 20 undefined on input li ne 1875. LaTeX Warning: Reference `sec:intro:fold' on page 20 undefined on input line 18 76. LaTeX Warning: Reference `sec:intro:aritytwo' on page 20 undefined on input lin e 1881. Overfull \hbox (2.43005pt too wide) in paragraph at lines 1810--1891 [][] LaTeX Warning: Reference `fig:params' on page 20 undefined on input line 1902. Underfull \vbox (badness 3635) has occurred while \output is active [20] LaTeX Warning: Reference `sec:intro:nonlocal' on page 21 undefined on input lin e 1936. LaTeX Warning: Reference `sec:params' on page 21 undefined on input line 1939. LaTeX Warning: Reference `sec:oo:self' on page 21 undefined on input line 1941. LaTeX Warning: Reference `sec:params' on page 21 undefined on input line 1942. LaTeX Warning: Reference `sec:params' on page 21 undefined on input line 1943. LaTeX Warning: Reference `fig:expr00' on page 21 undefined on input line 1963. LaTeX Warning: Reference `fig:expr00' on page 21 undefined on input line 1979. LaTeX Warning: Reference `sec:params' on page 21 undefined on input line 1983. LaTeX Warning: Reference `sec:intro:aritytwo' on page 21 undefined on input lin e 1987. [21] LaTeX Warning: Reference `fig:expr02' on page 22 undefined on input line 1996. LaTeX Warning: Reference `fig:expr_info' on page 22 undefined on input line 201 3. LaTeX Warning: Reference `sec:intro:reduce' on page 22 undefined on input line 2016. LaTeX Warning: Reference `sec:intro:mapreduce' on page 22 undefined on input li ne 2017. LaTeX Warning: Reference `fig:expr15' on page 22 undefined on input line 2024. LaTeX Warning: Reference `fig:expr15' on page 22 undefined on input line 2031. LaTeX Warning: Reference `sec:intro:fold' on page 22 undefined on input line 20 34. LaTeX Warning: Reference `sec:intro:fold' on page 22 undefined on input line 20 48. LaTeX Warning: Reference `fig:expr00fold' on page 22 undefined on input line 20 59. LaTeX Warning: Reference `fig:expr11' on page 22 undefined on input line 2079. [22] LaTeX Warning: Reference `sec:params' on page 23 undefined on input line 2095. LaTeX Warning: Reference `fig:fold' on page 23 undefined on input line 2115. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 23 undefined on input line 2136. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 23 undefined on input line 2138. LaTeX Warning: Reference `mdf@pagelabel-62' on page 23 undefined on input line 2151. LaTeX Warning: Citation `okasaki-book-99' on page 23 undefined on input line 21 54. LaTeX Warning: Reference `mdf@pagelabel-63' on page 23 undefined on input line 2163. [23] LaTeX Warning: Reference `mdf@pagelabel-64' on page 24 undefined on input line 2163. LaTeX Warning: Citation `okasaki-book-99' on page 24 undefined on input line 21 66. LaTeX Warning: Citation `bird-meertens-98' on page 24 undefined on input line 2 167. LaTeX Warning: Reference `sec:opaque' on page 24 undefined on input line 2202. LaTeX Warning: Reference `fig:expr15' on page 24 undefined on input line 2226. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 24 undefined on input line 2243. [24] LaTeX Warning: Reference `mdf@pagelabel-65' on page 25 undefined on input line 2276. LaTeX Warning: Reference `mdf@pagelabel-66' on page 25 undefined on input line 2300. (../test/point.mli) LaTeX Warning: Reference `mdf@pagelabel-67' on page 25 undefined on input line 2333. LaTeX Warning: Reference `sec:import' on page 25 undefined on input line 2337. LaTeX Warning: Reference `mdf@pagelabel-68' on page 25 undefined on input line 2349. No file manual.bbl. [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] (./manual.aux) 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) Output written on manual.pdf (34 pages, 271715 bytes). Transcript written on manual.log. Latexmk: Missing input file 'manual.toc' (or dependence on it) from following: No file manual.toc. Latexmk: Missing bbl file 'manual.bbl' in following: No file manual.bbl. Latexmk: Getting log file 'manual.log' Latexmk: Examining 'manual.fls' Latexmk: Examining 'manual.log' Latexmk: References changed. Latexmk: References changed. Latexmk: Log file says output to 'manual.pdf' Latexmk: Found bibliography file(s): ./english.bib ./local.bib Latexmk: applying rule 'bibtex manual'... Rule 'bibtex manual': Reasons for rerun Category 'other': Rerun of 'bibtex manual' forced or previously required: Reason or flag: 'Initial set up of rule' ------------ Run number 1 of rule 'bibtex manual' ------------ ------------ Running 'bibtex "manual.aux"' ------------ 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: english.bib Database file #2: local.bib Latexmk: applying rule 'pdflatex'... Rule 'pdflatex': Reasons for rerun Changed files or newly in use/created: manual.aux manual.bbl manual.out manual.toc ------------ Run number 2 of rule 'pdflatex' ------------ ------------ Running 'pdflatex -recorder "manual.tex"' ------------ 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> (/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/geometry/geometry.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty))) (/usr/share/texmf/tex/latex/lm/lmodern.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/enumitem/enumitem.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.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))) (/usr/share/texlive/texmf-dist/tex/latex/marginnote/marginnote.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (./listings-ocaml.tex) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.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/tools/tabularx.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/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-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/mdframed.sty (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.sty (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.sty (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-abspage.sty (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-base.sty (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty))) (/usr/share/texlive/texmf-dist/tex/latex/needspace/needspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/md-frame-0.mdf)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./macros.tex) (./version.tex) (./manual.aux) *geometry* driver: auto-detecting *geometry* detected driver: pdftex (./manual.out) (./manual.out) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texmf/tex/latex/lm/ot1lmr.fd) (/usr/share/texmf/tex/latex/lm/omllmm.fd) (/usr/share/texmf/tex/latex/lm/omslmsy.fd) (/usr/share/texmf/tex/latex/lm/omxlmex.fd) (/usr/share/texmf/tex/latex/lm/t1lmtt.fd) [1{/var/lib/texmf/fonts/map/pdftex/up dmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}{/us r/share/texmf/fonts/enc/dvips/lm/lm-ec.enc}] (./manual.toc) [2] [3] (../test/expr00.ml) (../test/expr00.processed.ml) (../test/expr04.ml) [4] (./types.tex) [5] (../test/expr01.ml) (../test/expr01.processed.ml) [6] (../test/expr00endo.ml) (../test/expr00endo.processed.ml) (../test/expr15.ml) (../test/expr15.processed.ml) (../test/expr15b.ml) [7] (../test/expr_info_mapreduce.ml) (../test/expr_info_mapreduce.processed.ml) (../test/expr_info_mapreduce_use.ml) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) (../test/expr00fold.ml) (../test/expr00fold.processed.ml) (../test/fold.ml) [8{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}] (../test/expr02.ml) (../test/expr02.processed.ml) (../test/expr05.ml) (../test/expr05lexico.ml) [9] (../test/expr06.ml) [10] (../test/expr_info.ml) (../test/expr_info.processed.ml) (../test/expr_info_use.ml) (../test/expr_info_polymorphic.ml) (../test/expr_info_polymorphic.processed.ml) (../test/expr_info_polymorphic_use.ml) [11] (../test/expr11.ml) (../test/expr11.processed.ml) (./convention.tex) [12] (../test/expr_redef.ml) (../test/ppx_import/expr_import.ml) (../test/ppx_import/expr_import_opaque.ml) (../test/expr12.ml) (../test/expr12.processed.ml) Underfull \vbox (badness 3386) has occurred while \output is active [13] (../test/expr13.ml) (../test/expr08.ml) LaTeX Warning: Citation `milewski-13' on page 14 undefined on input line 1224. (../test/expr13double.ml) (../test/expr08double.ml) (../test/expr14.ml) LaTeX Warning: Citation `filliatre-conchon-06' on page 14 undefined on input li ne 1309. [14] LaTeX Warning: Citation `iterators' on page 15 undefined on input line 1387. (../test/OOinfer.ml) (../test/OOinfervirtual.ml) [15] (./OOinfererror.ml) (../test/OOinferfixed.ml) (./OOinfererroragain.ml) [16] (../test/OOinferfixedagain.ml) (../test/OOinferfixedagaincheck.ml) [17] (../test/OOinferself.ml) LaTeX Warning: Citation `ocaml7465' on page 18 undefined on input line 1603. [18] (../test/polyclass.ml) (../test/map_from_fold.ml) (../test/map_from_fold.mli) [19] Overfull \hbox (2.43005pt too wide) in paragraph at lines 1810--1891 [][] Underfull \vbox (badness 3635) has occurred while \output is active [20] [21] [22] LaTeX Warning: Citation `okasaki-book-99' on page 23 undefined on input line 21 54. [23] LaTeX Warning: Citation `okasaki-book-99' on page 24 undefined on input line 21 66. LaTeX Warning: Citation `bird-meertens-98' on page 24 undefined on input line 2 167. [24] (../test/point.mli) (./manual.bbl Underfull \vbox (badness 1902) has occurred while \output is active [25]) [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] (./manual.aux) 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 (35 pages, 289735 bytes). Transcript written on manual.log. Latexmk: Getting log file 'manual.log' Latexmk: Examining 'manual.fls' Latexmk: Examining 'manual.log' Latexmk: Found input bbl file 'manual.bbl' Latexmk: References changed. Latexmk: Log file says output to 'manual.pdf' Latexmk: Found bibliography file(s): ./english.bib ./local.bib Latexmk: applying rule 'bibtex manual'... Rule 'bibtex manual': Reasons for rerun Changed files or newly in use/created: manual.aux ------------ Run number 2 of rule 'bibtex manual' ------------ ------------ Running 'bibtex "manual.aux"' ------------ 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: english.bib Database file #2: local.bib Latexmk: applying rule 'pdflatex'... Rule 'pdflatex': Reasons for rerun Changed files or newly in use/created: manual.aux ------------ Run number 3 of rule 'pdflatex' ------------ ------------ Running 'pdflatex -recorder "manual.tex"' ------------ 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> (/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/geometry/geometry.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty))) (/usr/share/texmf/tex/latex/lm/lmodern.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/enumitem/enumitem.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.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))) (/usr/share/texlive/texmf-dist/tex/latex/marginnote/marginnote.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (./listings-ocaml.tex) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.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/tools/tabularx.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/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-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/mdframed.sty (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.sty (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.sty (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-abspage.sty (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-base.sty (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty))) (/usr/share/texlive/texmf-dist/tex/latex/needspace/needspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/md-frame-0.mdf)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./macros.tex) (./version.tex) (./manual.aux) *geometry* driver: auto-detecting *geometry* detected driver: pdftex (./manual.out) (./manual.out) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texmf/tex/latex/lm/ot1lmr.fd) (/usr/share/texmf/tex/latex/lm/omllmm.fd) (/usr/share/texmf/tex/latex/lm/omslmsy.fd) (/usr/share/texmf/tex/latex/lm/omxlmex.fd) (/usr/share/texmf/tex/latex/lm/t1lmtt.fd) [1{/var/lib/texmf/fonts/map/pdftex/up dmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}{/us r/share/texmf/fonts/enc/dvips/lm/lm-ec.enc}] (./manual.toc) [2] [3] (../test/expr00.ml) (../test/expr00.processed.ml) (../test/expr04.ml) [4] (./types.tex) [5] (../test/expr01.ml) (../test/expr01.processed.ml) [6] (../test/expr00endo.ml) (../test/expr00endo.processed.ml) (../test/expr15.ml) (../test/expr15.processed.ml) (../test/expr15b.ml) [7] (../test/expr_info_mapreduce.ml) (../test/expr_info_mapreduce.processed.ml) (../test/expr_info_mapreduce_use.ml) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) (../test/expr00fold.ml) (../test/expr00fold.processed.ml) (../test/fold.ml) [8{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}] (../test/expr02.ml) (../test/expr02.processed.ml) (../test/expr05.ml) (../test/expr05lexico.ml) [9] (../test/expr06.ml) [10] (../test/expr_info.ml) (../test/expr_info.processed.ml) (../test/expr_info_use.ml) (../test/expr_info_polymorphic.ml) (../test/expr_info_polymorphic.processed.ml) (../test/expr_info_polymorphic_use.ml) [11] (../test/expr11.ml) (../test/expr11.processed.ml) (./convention.tex) [12] (../test/expr_redef.ml) (../test/ppx_import/expr_import.ml) (../test/ppx_import/expr_import_opaque.ml) (../test/expr12.ml) (../test/expr12.processed.ml) Underfull \vbox (badness 3386) has occurred while \output is active [13] (../test/expr13.ml) (../test/expr08.ml) (../test/expr13double.ml) (../test/expr08double.ml) (../test/expr14.ml) [14] (../test/OOinfer.ml) (../test/OOinfervirtual.ml) [15] (./OOinfererror.ml) (../test/OOinferfixed.ml) (./OOinfererroragain.ml) [16] (../test/OOinferfixedagain.ml) (../test/OOinferfixedagaincheck.ml) [17] (../test/OOinferself.ml) [18] (../test/polyclass.ml) (../test/map_from_fold.ml) (../test/map_from_fold.mli) [19] Overfull \hbox (2.43005pt too wide) in paragraph at lines 1810--1891 [][] Underfull \vbox (badness 3635) has occurred while \output is active [20] [21] [22] [23] [24] (../test/point.mli) (./manual.bbl Underfull \vbox (badness 1902) has occurred while \output is active [25]) [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] (./manual.aux) ) (see the transcript file for additional information) Output written on manual.pdf (35 pages, 289916 bytes). Transcript written on manual.log. Latexmk: Getting log file 'manual.log' Latexmk: Examining 'manual.fls' Latexmk: Examining 'manual.log' Latexmk: Found input bbl file 'manual.bbl' Latexmk: Log file says output to 'manual.pdf' Latexmk: Found bibliography file(s): ./english.bib ./local.bib Latexmk: All targets (manual.pdf) are up-to-date make[2]: Leaving directory '/build/reproducible-path/ocaml-visitors-20210608/doc' make[1]: Leaving directory '/build/reproducible-path/ocaml-visitors-20210608' dh_auto_build -O--buildsystem=ocaml_dune -Nlibppx-visitors-ocaml-doc dune build -j 3 -p visitors,visitors.runtime,visitors.ppx dh_auto_test -O--buildsystem=ocaml_dune dune runtest -j 3 -p visitors,visitors.runtime,visitors.ppx create-stamp debian/debhelper-build-stamp dh_testroot -O--buildsystem=ocaml_dune dh_prep -O--buildsystem=ocaml_dune dh_auto_install -O--buildsystem=ocaml_dune -Nlibppx-visitors-ocaml-doc dune install --destdir=debian/tmp --prefix=/usr --libdir=/usr/lib/ocaml visitors visitors.runtime visitors.ppx 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_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/libppx-visitors-ocaml-dev/usr/lib/ocaml/visitors/runtime/VisitorsRuntime.cmxs: DWARF compression not beneficial - old size 9056 new size 9056 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 libppx-visitors-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libppx-visitors-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums -O--buildsystem=ocaml_dune dh_builddeb -O--buildsystem=ocaml_dune dpkg-deb: building package 'libppx-visitors-ocaml-dev-dbgsym' in '../libppx-visitors-ocaml-dev-dbgsym_20210608-6_armhf.deb'. dpkg-deb: building package 'libppx-visitors-ocaml-dev' in '../libppx-visitors-ocaml-dev_20210608-6_armhf.deb'. dpkg-deb: building package 'libppx-visitors-ocaml-doc' in '../libppx-visitors-ocaml-doc_20210608-6_all.deb'. dpkg-genbuildinfo --build=binary -O../ocaml-visitors_20210608-6_armhf.buildinfo dpkg-genchanges --build=binary -O../ocaml-visitors_20210608-6_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: not including original source code in upload I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/6159 and its subdirectories I: Current time: Fri Jun 28 17:34:21 -12 2024 I: pbuilder-time-stamp: 1719639261 Sat Jun 29 05:34:31 UTC 2024 I: 1st build successful. Starting 2nd build on remote node virt64z-armhf-rb.debian.net. Sat Jun 29 05:34:31 UTC 2024 I: Preparing to do remote build '2' on virt64z-armhf-rb.debian.net. Sat Jun 29 05:53:04 UTC 2024 I: Deleting $TMPDIR on virt64z-armhf-rb.debian.net. Sat Jun 29 05:53:07 UTC 2024 I: ocaml-visitors_20210608-6_armhf.changes: Format: 1.8 Date: Tue, 04 Jun 2024 09:32:32 +0200 Source: ocaml-visitors Binary: libppx-visitors-ocaml-dev libppx-visitors-ocaml-dev-dbgsym libppx-visitors-ocaml-doc Architecture: armhf all Version: 20210608-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Description: libppx-visitors-ocaml-dev - OCaml syntax extension for object-oriented visitors libppx-visitors-ocaml-doc - Documentation of the visitors syntax extension for OCaml Changes: ocaml-visitors (20210608-6) unstable; urgency=medium . * Team upload * Add libresult-ocaml-dev to Build-Depends Checksums-Sha1: 41acf9e5636b650e58b0eb53df740cc22dd8e745 28260 libppx-visitors-ocaml-dev-dbgsym_20210608-6_armhf.deb cc0db09dd072a66a66b1ced2b39b9708cd107886 641640 libppx-visitors-ocaml-dev_20210608-6_armhf.deb cc0df8a402b4fe6a830e448da3f35fb031ea3adc 290952 libppx-visitors-ocaml-doc_20210608-6_all.deb 7546518cc5c78ad63c1f1a65f884208b5b614ce2 8478 ocaml-visitors_20210608-6_armhf.buildinfo Checksums-Sha256: c0f3c707a2a79f31fc7ba50a70573e690ab234a03674ba04a73815054f95bcdc 28260 libppx-visitors-ocaml-dev-dbgsym_20210608-6_armhf.deb be7785c71381b6d0976b0cf706dcfe723f0a2af1d72f6dc1ae60fc6e9be7c219 641640 libppx-visitors-ocaml-dev_20210608-6_armhf.deb 893290a4ab853e2fcf1ef1742f8df7b2e56bf550465cf72f96a05f4cd52d80a6 290952 libppx-visitors-ocaml-doc_20210608-6_all.deb 2d0fa667dcbc717f481b8f7a22288c5bd3ccf8cff590a7c6bb9abb69dc2622a1 8478 ocaml-visitors_20210608-6_armhf.buildinfo Files: e5105bec3e804f74c4fe349e3a5e5974 28260 debug optional libppx-visitors-ocaml-dev-dbgsym_20210608-6_armhf.deb e9da71106e3d7d46ae9994ba7fba0091 641640 ocaml optional libppx-visitors-ocaml-dev_20210608-6_armhf.deb 4861393f876f7c6cd9a3c308534c9443 290952 doc optional libppx-visitors-ocaml-doc_20210608-6_all.deb baad2d6a9ff5208df78e78adad7f9ba8 8478 ocaml optional ocaml-visitors_20210608-6_armhf.buildinfo Sat Jun 29 05:53:09 UTC 2024 I: diffoscope 271 will be used to compare the two builds: Running as unit: rb-diffoscope-armhf_3-6990.service Warning: program compiled against libxml 212 using older 209 # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.PGWLX9ED/ocaml-visitors_20210608-6.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.PGWLX9ED/ocaml-visitors_20210608-6.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.PGWLX9ED/ocaml-visitors_20210608-6.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.PGWLX9ED/b1/ocaml-visitors_20210608-6_armhf.changes /srv/reproducible-results/rbuild-debian/r-b-build.PGWLX9ED/b2/ocaml-visitors_20210608-6_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.375s) 0.375s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.027s) 0.027s 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: 702ms CPU time consumed: 703ms Sat Jun 29 05:53:10 UTC 2024 I: diffoscope 271 found no differences in the changes files, and a .buildinfo file also exists. Sat Jun 29 05:53:10 UTC 2024 I: ocaml-visitors from trixie built successfully and reproducibly on armhf. Sat Jun 29 05:53:11 UTC 2024 I: Submitting .buildinfo files to external archives: Sat Jun 29 05:53:11 UTC 2024 I: Submitting 12K b1/ocaml-visitors_20210608-6_armhf.buildinfo.asc Sat Jun 29 05:53:12 UTC 2024 I: Submitting 12K b2/ocaml-visitors_20210608-6_armhf.buildinfo.asc Sat Jun 29 05:53:14 UTC 2024 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Sat Jun 29 05:53:14 UTC 2024 I: Done submitting .buildinfo files. Sat Jun 29 05:53:14 UTC 2024 I: Removing signed ocaml-visitors_20210608-6_armhf.buildinfo.asc files: removed './b1/ocaml-visitors_20210608-6_armhf.buildinfo.asc' removed './b2/ocaml-visitors_20210608-6_armhf.buildinfo.asc'