Fri Sep 5 15:50:12 UTC 2025 I: starting to build hol-light/forky/amd64 on jenkins on '2025-09-05 15:49' Fri Sep 5 15:50:12 UTC 2025 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_28/71771/console.log Fri Sep 5 15:50:12 UTC 2025 I: Downloading source for forky/hol-light=1:3.0.0-2 --2025-09-05 15:50:12-- http://deb.debian.org/debian/pool/main/h/hol-light/hol-light_3.0.0-2.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2039 (2.0K) [text/prs.lines.tag] Saving to: ‘hol-light_3.0.0-2.dsc’ 0K . 100% 235M=0s 2025-09-05 15:50:12 (235 MB/s) - ‘hol-light_3.0.0-2.dsc’ saved [2039/2039] Fri Sep 5 15:50:12 UTC 2025 I: hol-light_3.0.0-2.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: hol-light Binary: hol-light Architecture: any Version: 1:3.0.0-2 Maintainer: Debian OCaml Maintainers Uploaders: Hendrik Tews Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/ Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/hol-light Vcs-Git: https://salsa.debian.org/ocaml-team/hol-light.git Build-Depends: debhelper-compat (= 13), camlp5 (>= 8.02), libnum-ocaml-dev, libcamlp-streams-ocaml-dev, ocaml-findlib, dh-ocaml, libzarith-ocaml-dev Package-List: hol-light deb math optional arch=any Checksums-Sha1: bac1bc40a8eacb2da5571c9e63674970f31516e9 5364404 hol-light_3.0.0.orig.tar.xz a45cc3ad7249adf15aaa2a84259fc009fb72c639 10892 hol-light_3.0.0-2.debian.tar.xz Checksums-Sha256: 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz e882632c1fe52554fb8fa33c345373733a5f75105e13eef23bca5a89e48704b9 10892 hol-light_3.0.0-2.debian.tar.xz Files: 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz 07e8f72f27278a25b255dae1f3f2a166 10892 hol-light_3.0.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmdfyn4ACgkQ808JdE6f XdmDKhAA0cb4zsSFK+zZb6Euk2DeyHq8sh2rccZJGiIjZnSU7IBnoNFwnI6Sq5EH 46OQ+Y6JKDjCFBWiJF/DLUMwfkNTDHrPCq5sT5l9nbvp1hh3xxvMsFzm8tgYNVfF qF5YakT0kXFVf6lKtvsZgug2VkrNgPMquP2N9GosmTBeHr5m1umqibIXBV8wylnA WMYcqN/XxEmIjJVWiQlqG+U83rkwD5lFwYaUeQ3Ae1hg9F2np47LSzTBu1ukCSYR 4P5oJW4Ei8R0TNUd497DrjXpQVJr5OsBy1NhbY28VP9dD9+Rv/qU8g8amVTJXrJ6 +Ocw7hwYTT34ELrejmLvG4CSuMjAUF/sHS/Ae8QMW0hzF8DNHWRNARL3R3UDo+hm 25OYhkk87gINEse9UaXoo8yfNEK4C8H0oJqesMfoInr6ifPuc/O4FYXP/xcFNqBG wYXLcqYZDUB35Xm8UXXXHMb0y+z9eOTsCBYm3ibe4bd2o9TWMKnXQ2mMN0Zy5any RsnpkEeQkO+8YZiE3Iice0yZjoEwhBwGdB+xGDueQ8DlkVvqukWQhJuB0uBO4CXo k7HBORrHVoCanNyql6/bGqcDa8Xa3DKAJyq7rAZ6pPwYq/BdtYJ7zB6+fjvhm4ZA gR365MeV4qSLoqvSnoQhg/ouh4IWX/g/jiKTcgXYbG5oDarwG8I= =Asrx -----END PGP SIGNATURE----- Fri Sep 5 15:50:12 UTC 2025 I: Checking whether the package is not for us Fri Sep 5 15:50:12 UTC 2025 I: Starting 1st build on remote node ionos15-amd64.debian.net. Fri Sep 5 15:50:12 UTC 2025 I: Preparing to do remote build '1' on ionos15-amd64.debian.net. Fri Sep 5 15:51:50 UTC 2025 I: Deleting $TMPDIR on ionos15-amd64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Thu Oct 8 10:13:14 -12 2026 I: pbuilder-time-stamp: 1791497594 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/forky-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 [hol-light_3.0.0-2.dsc] I: copying [./hol-light_3.0.0.orig.tar.xz] I: copying [./hol-light_3.0.0-2.debian.tar.xz] I: Extracting source dpkg-source: warning: cannot verify inline signature for ./hol-light_3.0.0-2.dsc: no acceptable signature found dpkg-source: info: extracting hol-light in hol-light-3.0.0 dpkg-source: info: unpacking hol-light_3.0.0.orig.tar.xz dpkg-source: info: unpacking hol-light_3.0.0-2.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying holtest-no-proof-recording.patch dpkg-source: info: applying cd-holtest-parallel.patch I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/1645918/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='amd64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=42 ' DISTRIBUTION='forky' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='cc93ddc380194804aed34224cac4e660' 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='1645918' 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.E3zxjB5A/pbuilderrc_uuYg --distribution forky --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/forky-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.E3zxjB5A/b1 --logfile b1/build.log hol-light_3.0.0-2.dsc' SUDO_GID='111' SUDO_HOME='/var/lib/jenkins' SUDO_UID='106' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://213.165.73.152:3128' I: uname -a Linux ionos15-amd64 6.12.41+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.41-1 (2025-08-12) x86_64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Aug 10 2025 /bin -> usr/bin I: user script /srv/workspace/pbuilder/1645918/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper-compat (= 13), camlp5 (>= 8.02), libnum-ocaml-dev, libcamlp-streams-ocaml-dev, ocaml-findlib, dh-ocaml, libzarith-ocaml-dev dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19897 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 camlp5 (>= 8.02); however: Package camlp5 is not installed. pbuilder-satisfydepends-dummy depends on libnum-ocaml-dev; however: Package libnum-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libcamlp-streams-ocaml-dev; however: Package libcamlp-streams-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on ocaml-findlib; however: Package ocaml-findlib is not installed. pbuilder-satisfydepends-dummy depends on dh-ocaml; however: Package dh-ocaml is not installed. pbuilder-satisfydepends-dummy depends on libzarith-ocaml-dev; however: Package libzarith-ocaml-dev 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} camlp5{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} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libastring-ocaml{a} libastring-ocaml-dev{a} libbos-ocaml{a} libbos-ocaml-dev{a} libbrotli-dev{a} libbrotli1{a} libbz2-dev{a} libcamlp-streams-ocaml{a} libcamlp-streams-ocaml-dev{a} libcmdliner-ocaml-dev{a} libcompiler-libs-ocaml-dev{a} libconfig-tiny-perl{a} libdebhelper-perl{a} libelf1t64{a} libev-dev{a} libev4t64{a} libexpat1{a} libexpat1-dev{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfindlib-ocaml-dev{a} libfmt-ocaml{a} libfmt-ocaml-dev{a} libfontconfig-dev{a} libfontconfig1{a} libfontconfig1-dev{a} libfpath-ocaml{a} libfpath-ocaml-dev{a} libfreetype-dev{a} libfreetype6{a} libgen-ocaml{a} libgen-ocaml-dev{a} libgmp-dev{a} libgmp3-dev{a} libgmpxx4ldbl{a} libgraphics-ocaml{a} libgraphics-ocaml-dev{a} libjs-of-ocaml{a} libjs-of-ocaml-dev{a} liblogs-ocaml{a} liblogs-ocaml-dev{a} liblwt-log-ocaml{a} liblwt-log-ocaml-dev{a} liblwt-ocaml{a} liblwt-ocaml-dev{a} libmagic-mgc{a} libmagic1t64{a} libmenhir-ocaml-dev{a} libncurses-dev{a} libncurses6{a} libnum-ocaml{a} libnum-ocaml-dev{a} libocaml-compiler-libs-ocaml-dev{a} libocplib-endian-ocaml{a} libocplib-endian-ocaml-dev{a} libpipeline1{a} libpkgconf3{a} libpng-dev{a} libpng16-16t64{a} libppx-derivers-ocaml-dev{a} libppxlib-ocaml-dev{a} libre-ocaml-dev{a} libreact-ocaml{a} libreact-ocaml-dev{a} libreactivedata-ocaml{a} libreactivedata-ocaml-dev{a} librresult-ocaml{a} librresult-ocaml-dev{a} libsedlex-ocaml{a} libsedlex-ocaml-dev{a} libsexplib0-ocaml{a} libsexplib0-ocaml-dev{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libtool{a} libtyxml-ocaml{a} libtyxml-ocaml-dev{a} libuchardet0{a} libunistring5{a} libuutf-ocaml{a} libuutf-ocaml-dev{a} libx11-6{a} libx11-data{a} libx11-dev{a} libxau-dev{a} libxau6{a} libxcb1{a} libxcb1-dev{a} libxdmcp-dev{a} libxdmcp6{a} libxft-dev{a} libxft2{a} libxml2-16{a} libxrender-dev{a} libxrender1{a} libyojson-ocaml{a} libyojson-ocaml-dev{a} libzarith-ocaml{a} libzarith-ocaml-dev{a} libzstd-dev{a} m4{a} man-db{a} ocaml{a} ocaml-base{a} ocaml-compiler-libs{a} ocaml-findlib{a} ocaml-interp{a} pkgconf{a} pkgconf-bin{a} po-debconf{a} sensible-utils{a} uuid-dev{a} x11proto-dev{a} xorg-sgml-doctools{a} xtrans-dev{a} zlib1g-dev{a} The following packages are RECOMMENDED but will NOT be installed: bzip2-doc curl ledit libarchive-cpio-perl libgpm2 libltdl-dev libmail-sendmail-perl libpng-tools lynx ocaml-man rlfe rlwrap wget 0 packages upgraded, 136 newly installed, 0 to remove and 0 not upgraded. Need to get 195 MB of archives. After unpacking 592 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian forky/main amd64 libexpat1 amd64 2.7.1-2 [108 kB] Get: 2 http://deb.debian.org/debian forky/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get: 3 http://deb.debian.org/debian forky/main amd64 libmagic-mgc amd64 1:5.46-5 [338 kB] Get: 4 http://deb.debian.org/debian forky/main amd64 libmagic1t64 amd64 1:5.46-5 [109 kB] Get: 5 http://deb.debian.org/debian forky/main amd64 file amd64 1:5.46-5 [43.6 kB] Get: 6 http://deb.debian.org/debian forky/main amd64 gettext-base amd64 0.23.1-2+b1 [244 kB] Get: 7 http://deb.debian.org/debian forky/main amd64 libuchardet0 amd64 0.0.8-2 [68.5 kB] Get: 8 http://deb.debian.org/debian forky/main amd64 groff-base amd64 1.23.0-9 [1187 kB] Get: 9 http://deb.debian.org/debian forky/main amd64 bsdextrautils amd64 2.41.1-1 [94.7 kB] Get: 10 http://deb.debian.org/debian forky/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get: 11 http://deb.debian.org/debian forky/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get: 12 http://deb.debian.org/debian forky/main amd64 m4 amd64 1.4.20-1 [324 kB] Get: 13 http://deb.debian.org/debian forky/main amd64 autoconf all 2.72-3.1 [494 kB] Get: 14 http://deb.debian.org/debian forky/main amd64 autotools-dev all 20240727.1 [60.2 kB] Get: 15 http://deb.debian.org/debian forky/main amd64 automake all 1:1.17-4 [862 kB] Get: 16 http://deb.debian.org/debian forky/main amd64 autopoint all 0.23.1-2 [770 kB] Get: 17 http://deb.debian.org/debian forky/main amd64 libstdlib-ocaml amd64 5.3.0-3 [605 kB] Get: 18 http://deb.debian.org/debian forky/main amd64 libstdlib-ocaml-dev amd64 5.3.0-3 [7886 kB] Get: 19 http://deb.debian.org/debian forky/main amd64 libcompiler-libs-ocaml-dev amd64 5.3.0-3 [48.2 MB] Get: 20 http://deb.debian.org/debian forky/main amd64 ocaml-compiler-libs all 5.3.0-3 [210 kB] Get: 21 http://deb.debian.org/debian forky/main amd64 ocaml-base amd64 5.3.0-3 [495 kB] Get: 22 http://deb.debian.org/debian forky/main amd64 libastring-ocaml amd64 0.8.5-2+b4 [191 kB] Get: 23 http://deb.debian.org/debian forky/main amd64 ocaml-interp amd64 5.3.0-3 [7104 kB] Get: 24 http://deb.debian.org/debian forky/main amd64 libncurses6 amd64 6.5+20250216-2 [105 kB] Get: 25 http://deb.debian.org/debian forky/main amd64 libncurses-dev amd64 6.5+20250216-2 [353 kB] Get: 26 http://deb.debian.org/debian forky/main amd64 libzstd-dev amd64 1.5.7+dfsg-1 [371 kB] Get: 27 http://deb.debian.org/debian forky/main amd64 ocaml amd64 5.3.0-3 [18.0 MB] Get: 28 http://deb.debian.org/debian forky/main amd64 libastring-ocaml-dev amd64 0.8.5-2+b4 [165 kB] Get: 29 http://deb.debian.org/debian forky/main amd64 libfmt-ocaml amd64 0.11.0-1 [139 kB] Get: 30 http://deb.debian.org/debian forky/main amd64 libfpath-ocaml amd64 0.7.3-3+b4 [97.0 kB] Get: 31 http://deb.debian.org/debian forky/main amd64 libfindlib-ocaml amd64 1.9.8-1+b1 [214 kB] Get: 32 http://deb.debian.org/debian forky/main amd64 libgen-ocaml amd64 1.1-1+b4 [227 kB] Get: 33 http://deb.debian.org/debian forky/main amd64 libxau6 amd64 1:1.0.11-1 [20.4 kB] Get: 34 http://deb.debian.org/debian forky/main amd64 libxdmcp6 amd64 1:1.1.5-1 [27.8 kB] Get: 35 http://deb.debian.org/debian forky/main amd64 libxcb1 amd64 1.17.0-2+b1 [144 kB] Get: 36 http://deb.debian.org/debian forky/main amd64 libx11-data all 2:1.8.12-1 [343 kB] Get: 37 http://deb.debian.org/debian forky/main amd64 libx11-6 amd64 2:1.8.12-1 [815 kB] Get: 38 http://deb.debian.org/debian forky/main amd64 libbrotli1 amd64 1.1.0-2+b7 [307 kB] Get: 39 http://deb.debian.org/debian forky/main amd64 libpng16-16t64 amd64 1.6.50-1 [282 kB] Get: 40 http://deb.debian.org/debian forky/main amd64 libfreetype6 amd64 2.13.3+dfsg-1 [452 kB] Get: 41 http://deb.debian.org/debian forky/main amd64 fonts-dejavu-mono all 2.37-8 [489 kB] Get: 42 http://deb.debian.org/debian forky/main amd64 fonts-dejavu-core all 2.37-8 [840 kB] Get: 43 http://deb.debian.org/debian forky/main amd64 fontconfig-config amd64 2.15.0-2.3 [318 kB] Get: 44 http://deb.debian.org/debian forky/main amd64 libfontconfig1 amd64 2.15.0-2.3 [392 kB] Get: 45 http://deb.debian.org/debian forky/main amd64 libxrender1 amd64 1:0.9.12-1 [27.9 kB] Get: 46 http://deb.debian.org/debian forky/main amd64 libxft2 amd64 2.3.6-1+b4 [54.5 kB] Get: 47 http://deb.debian.org/debian forky/main amd64 libgraphics-ocaml amd64 5.2.0-2 [51.6 kB] Get: 48 http://deb.debian.org/debian forky/main amd64 libocplib-endian-ocaml amd64 1.2-4+b3 [97.4 kB] Get: 49 http://deb.debian.org/debian forky/main amd64 libreact-ocaml amd64 1.2.2-1+b4 [198 kB] Get: 50 http://deb.debian.org/debian forky/main amd64 libsexplib0-ocaml amd64 0.17.0-1+b2 [129 kB] Get: 51 http://deb.debian.org/debian forky/main amd64 libev4t64 amd64 1:4.33-2.1+b1 [42.4 kB] Get: 52 http://deb.debian.org/debian forky/main amd64 liblwt-ocaml amd64 5.9.1-1+b1 [980 kB] Get: 53 http://deb.debian.org/debian forky/main amd64 liblwt-log-ocaml amd64 1.1.2-4+b14 [89.7 kB] Get: 54 http://deb.debian.org/debian forky/main amd64 libreactivedata-ocaml amd64 0.3-4+b4 [89.4 kB] Get: 55 http://deb.debian.org/debian forky/main amd64 libsedlex-ocaml amd64 3.6-1 [281 kB] Get: 56 http://deb.debian.org/debian forky/main amd64 libuutf-ocaml amd64 1.0.4-1+b1 [74.3 kB] Get: 57 http://deb.debian.org/debian forky/main amd64 libtyxml-ocaml amd64 4.6.0-1+b7 [508 kB] Get: 58 http://deb.debian.org/debian forky/main amd64 libyojson-ocaml amd64 2.2.2-1+b2 [526 kB] Get: 59 http://deb.debian.org/debian forky/main amd64 libjs-of-ocaml amd64 5.9.1-1+b10 [6718 kB] Get: 60 http://deb.debian.org/debian forky/main amd64 liblogs-ocaml amd64 0.9.0-1+b2 [88.2 kB] Get: 61 http://deb.debian.org/debian forky/main amd64 librresult-ocaml amd64 0.7.0-2+b4 [29.1 kB] Get: 62 http://deb.debian.org/debian forky/main amd64 libbos-ocaml amd64 0.2.1-2+b24 [316 kB] Get: 63 http://deb.debian.org/debian forky/main amd64 libcmdliner-ocaml-dev amd64 1.3.0-2+b3 [543 kB] Get: 64 http://deb.debian.org/debian forky/main amd64 libfmt-ocaml-dev amd64 0.11.0-1 [348 kB] Get: 65 http://deb.debian.org/debian forky/main amd64 libfpath-ocaml-dev amd64 0.7.3-3+b4 [94.2 kB] Get: 66 http://deb.debian.org/debian forky/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+b1 [179 kB] Get: 67 http://deb.debian.org/debian forky/main amd64 libgen-ocaml-dev amd64 1.1-1+b4 [589 kB] Get: 68 http://deb.debian.org/debian forky/main amd64 xorg-sgml-doctools all 1:1.11-1.1 [22.1 kB] Get: 69 http://deb.debian.org/debian forky/main amd64 x11proto-dev all 2024.1-1 [603 kB] Get: 70 http://deb.debian.org/debian forky/main amd64 libxau-dev amd64 1:1.0.11-1 [23.6 kB] Get: 71 http://deb.debian.org/debian forky/main amd64 libxdmcp-dev amd64 1:1.1.5-1 [44.3 kB] Get: 72 http://deb.debian.org/debian forky/main amd64 xtrans-dev all 1.4.0-1 [98.7 kB] Get: 73 http://deb.debian.org/debian forky/main amd64 libxcb1-dev amd64 1.17.0-2+b1 [181 kB] Get: 74 http://deb.debian.org/debian forky/main amd64 libx11-dev amd64 2:1.8.12-1 [894 kB] Get: 75 http://deb.debian.org/debian forky/main amd64 libexpat1-dev amd64 2.7.1-2 [161 kB] Get: 76 http://deb.debian.org/debian forky/main amd64 libbrotli-dev amd64 1.1.0-2+b7 [316 kB] Get: 77 http://deb.debian.org/debian forky/main amd64 libbz2-dev amd64 1.0.8-6 [31.4 kB] Get: 78 http://deb.debian.org/debian forky/main amd64 zlib1g-dev amd64 1:1.3.dfsg+really1.3.1-1+b1 [920 kB] Get: 79 http://deb.debian.org/debian forky/main amd64 libpng-dev amd64 1.6.50-1 [366 kB] Get: 80 http://deb.debian.org/debian forky/main amd64 libfreetype-dev amd64 2.13.3+dfsg-1 [622 kB] Get: 81 http://deb.debian.org/debian forky/main amd64 uuid-dev amd64 2.41.1-1 [49.0 kB] Get: 82 http://deb.debian.org/debian forky/main amd64 libpkgconf3 amd64 1.8.1-4 [36.4 kB] Get: 83 http://deb.debian.org/debian forky/main amd64 pkgconf-bin amd64 1.8.1-4 [30.2 kB] Get: 84 http://deb.debian.org/debian forky/main amd64 pkgconf amd64 1.8.1-4 [26.2 kB] Get: 85 http://deb.debian.org/debian forky/main amd64 libfontconfig-dev amd64 2.15.0-2.3 [414 kB] Get: 86 http://deb.debian.org/debian forky/main amd64 libfontconfig1-dev amd64 2.15.0-2.3 [269 kB] Get: 87 http://deb.debian.org/debian forky/main amd64 libxrender-dev amd64 1:0.9.12-1 [39.0 kB] Get: 88 http://deb.debian.org/debian forky/main amd64 libxft-dev amd64 2.3.6-1+b4 [73.2 kB] Get: 89 http://deb.debian.org/debian forky/main amd64 libgraphics-ocaml-dev amd64 5.2.0-2 [124 kB] Get: 90 http://deb.debian.org/debian forky/main amd64 libev-dev amd64 1:4.33-2.1+b1 [135 kB] Get: 91 http://deb.debian.org/debian forky/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-1+b2 [171 kB] Get: 92 http://deb.debian.org/debian forky/main amd64 libocplib-endian-ocaml-dev amd64 1.2-4+b3 [264 kB] Get: 93 http://deb.debian.org/debian forky/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b4 [20.0 kB] Get: 94 http://deb.debian.org/debian forky/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1+b2 [354 kB] Get: 95 http://deb.debian.org/debian forky/main amd64 libppxlib-ocaml-dev amd64 0.35.0-1+b1 [21.9 MB] Get: 96 http://deb.debian.org/debian forky/main amd64 libreact-ocaml-dev amd64 1.2.2-1+b4 [166 kB] Get: 97 http://deb.debian.org/debian forky/main amd64 liblwt-ocaml-dev amd64 5.9.1-1+b1 [6492 kB] Get: 98 http://deb.debian.org/debian forky/main amd64 liblwt-log-ocaml-dev amd64 1.1.2-4+b14 [252 kB] Get: 99 http://deb.debian.org/debian forky/main amd64 libmenhir-ocaml-dev amd64 20240715+ds-1+b2 [886 kB] Get: 100 http://deb.debian.org/debian forky/main amd64 libreactivedata-ocaml-dev amd64 0.3-4+b4 [216 kB] Get: 101 http://deb.debian.org/debian forky/main amd64 libsedlex-ocaml-dev amd64 3.6-1 [4712 kB] Get: 102 http://deb.debian.org/debian forky/main amd64 libre-ocaml-dev amd64 1.13.3-5 [1606 kB] Get: 103 http://deb.debian.org/debian forky/main amd64 libuutf-ocaml-dev amd64 1.0.4-1+b1 [602 kB] Get: 104 http://deb.debian.org/debian forky/main amd64 libtyxml-ocaml-dev amd64 4.6.0-1+b7 [2489 kB] Get: 105 http://deb.debian.org/debian forky/main amd64 libyojson-ocaml-dev amd64 2.2.2-1+b2 [1527 kB] Get: 106 http://deb.debian.org/debian forky/main amd64 libjs-of-ocaml-dev amd64 5.9.1-1+b10 [26.4 MB] Get: 107 http://deb.debian.org/debian forky/main amd64 liblogs-ocaml-dev amd64 0.9.0-1+b2 [226 kB] Get: 108 http://deb.debian.org/debian forky/main amd64 librresult-ocaml-dev amd64 0.7.0-2+b4 [40.4 kB] Get: 109 http://deb.debian.org/debian forky/main amd64 libbos-ocaml-dev amd64 0.2.1-2+b24 [875 kB] Get: 110 http://deb.debian.org/debian forky/main amd64 libcamlp-streams-ocaml amd64 5.0.1-3+b4 [44.0 kB] Get: 111 http://deb.debian.org/debian forky/main amd64 libcamlp-streams-ocaml-dev amd64 5.0.1-3+b4 [125 kB] Get: 112 http://deb.debian.org/debian forky/main amd64 camlp5 amd64 8.03.01-1+b9 [4440 kB] Get: 113 http://deb.debian.org/debian forky/main amd64 libdebhelper-perl all 13.26 [91.8 kB] Get: 114 http://deb.debian.org/debian forky/main amd64 libtool all 2.5.4-5 [540 kB] Get: 115 http://deb.debian.org/debian forky/main amd64 dh-autoreconf all 20 [17.1 kB] Get: 116 http://deb.debian.org/debian forky/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 117 http://deb.debian.org/debian forky/main amd64 libfile-stripnondeterminism-perl all 1.14.2-1 [19.8 kB] Get: 118 http://deb.debian.org/debian forky/main amd64 dh-strip-nondeterminism all 1.14.2-1 [8768 B] Get: 119 http://deb.debian.org/debian forky/main amd64 libelf1t64 amd64 0.192-4 [189 kB] Get: 120 http://deb.debian.org/debian forky/main amd64 dwz amd64 0.15-1+b1 [110 kB] Get: 121 http://deb.debian.org/debian forky/main amd64 libunistring5 amd64 1.3-2 [477 kB] Get: 122 http://deb.debian.org/debian forky/main amd64 libxml2-16 amd64 2.14.5+dfsg-0.2 [638 kB] Get: 123 http://deb.debian.org/debian forky/main amd64 gettext amd64 0.23.1-2+b1 [1680 kB] Get: 124 http://deb.debian.org/debian forky/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 125 http://deb.debian.org/debian forky/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 126 http://deb.debian.org/debian forky/main amd64 debhelper all 13.26 [939 kB] Get: 127 http://deb.debian.org/debian forky/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get: 128 http://deb.debian.org/debian forky/main amd64 dh-ocaml all 2.4 [62.9 kB] Get: 129 http://deb.debian.org/debian forky/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-4 [329 kB] Get: 130 http://deb.debian.org/debian forky/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-4 [642 kB] Get: 131 http://deb.debian.org/debian forky/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-4 [322 kB] Get: 132 http://deb.debian.org/debian forky/main amd64 libnum-ocaml amd64 1.6-1 [182 kB] Get: 133 http://deb.debian.org/debian forky/main amd64 libnum-ocaml-dev amd64 1.6-1 [573 kB] Get: 134 http://deb.debian.org/debian forky/main amd64 libzarith-ocaml amd64 1.14-1+b2 [117 kB] Get: 135 http://deb.debian.org/debian forky/main amd64 libzarith-ocaml-dev amd64 1.14-1+b2 [143 kB] Get: 136 http://deb.debian.org/debian forky/main amd64 ocaml-findlib amd64 1.9.8-1+b1 [584 kB] Fetched 195 MB in 2s (91.0 MB/s) Preconfiguring packages ... Selecting previously unselected package libexpat1:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19897 files and directories currently installed.) Preparing to unpack .../000-libexpat1_2.7.1-2_amd64.deb ... Unpacking libexpat1:amd64 (2.7.1-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../001-sensible-utils_0.0.26_all.deb ... Unpacking sensible-utils (0.0.26) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../002-libmagic-mgc_1%3a5.46-5_amd64.deb ... Unpacking libmagic-mgc (1:5.46-5) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../003-libmagic1t64_1%3a5.46-5_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.46-5) ... Selecting previously unselected package file. Preparing to unpack .../004-file_1%3a5.46-5_amd64.deb ... Unpacking file (1:5.46-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../005-gettext-base_0.23.1-2+b1_amd64.deb ... Unpacking gettext-base (0.23.1-2+b1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../006-libuchardet0_0.0.8-2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-2) ... Selecting previously unselected package groff-base. Preparing to unpack .../007-groff-base_1.23.0-9_amd64.deb ... Unpacking groff-base (1.23.0-9) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../008-bsdextrautils_2.41.1-1_amd64.deb ... Unpacking bsdextrautils (2.41.1-1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../009-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.13.1-1_amd64.deb ... Unpacking man-db (2.13.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../011-m4_1.4.20-1_amd64.deb ... Unpacking m4 (1.4.20-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../012-autoconf_2.72-3.1_all.deb ... Unpacking autoconf (2.72-3.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../013-autotools-dev_20240727.1_all.deb ... Unpacking autotools-dev (20240727.1) ... Selecting previously unselected package automake. Preparing to unpack .../014-automake_1%3a1.17-4_all.deb ... Unpacking automake (1:1.17-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../015-autopoint_0.23.1-2_all.deb ... Unpacking autopoint (0.23.1-2) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../016-libstdlib-ocaml_5.3.0-3_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-3) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../017-libstdlib-ocaml-dev_5.3.0-3_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.3.0-3) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../018-libcompiler-libs-ocaml-dev_5.3.0-3_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../019-ocaml-compiler-libs_5.3.0-3_all.deb ... Unpacking ocaml-compiler-libs (5.3.0-3) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../020-ocaml-base_5.3.0-3_amd64.deb ... Unpacking ocaml-base (5.3.0-3) ... Selecting previously unselected package libastring-ocaml. Preparing to unpack .../021-libastring-ocaml_0.8.5-2+b4_amd64.deb ... Unpacking libastring-ocaml (0.8.5-2+b4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../022-ocaml-interp_5.3.0-3_amd64.deb ... Unpacking ocaml-interp (5.3.0-3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../023-libncurses6_6.5+20250216-2_amd64.deb ... Unpacking libncurses6:amd64 (6.5+20250216-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../024-libncurses-dev_6.5+20250216-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5+20250216-2) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../025-libzstd-dev_1.5.7+dfsg-1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../026-ocaml_5.3.0-3_amd64.deb ... Unpacking ocaml (5.3.0-3) ... Selecting previously unselected package libastring-ocaml-dev. Preparing to unpack .../027-libastring-ocaml-dev_0.8.5-2+b4_amd64.deb ... Unpacking libastring-ocaml-dev (0.8.5-2+b4) ... Selecting previously unselected package libfmt-ocaml. Preparing to unpack .../028-libfmt-ocaml_0.11.0-1_amd64.deb ... Unpacking libfmt-ocaml (0.11.0-1) ... Selecting previously unselected package libfpath-ocaml. Preparing to unpack .../029-libfpath-ocaml_0.7.3-3+b4_amd64.deb ... Unpacking libfpath-ocaml (0.7.3-3+b4) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../030-libfindlib-ocaml_1.9.8-1+b1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+b1) ... Selecting previously unselected package libgen-ocaml. Preparing to unpack .../031-libgen-ocaml_1.1-1+b4_amd64.deb ... Unpacking libgen-ocaml (1.1-1+b4) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../032-libxau6_1%3a1.0.11-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.11-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../033-libxdmcp6_1%3a1.1.5-1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.5-1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../034-libxcb1_1.17.0-2+b1_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../035-libx11-data_2%3a1.8.12-1_all.deb ... Unpacking libx11-data (2:1.8.12-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../036-libx11-6_2%3a1.8.12-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.12-1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../037-libbrotli1_1.1.0-2+b7_amd64.deb ... Unpacking libbrotli1:amd64 (1.1.0-2+b7) ... Selecting previously unselected package libpng16-16t64:amd64. Preparing to unpack .../038-libpng16-16t64_1.6.50-1_amd64.deb ... Unpacking libpng16-16t64:amd64 (1.6.50-1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../039-libfreetype6_2.13.3+dfsg-1_amd64.deb ... Unpacking libfreetype6:amd64 (2.13.3+dfsg-1) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../040-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 .../041-fonts-dejavu-core_2.37-8_all.deb ... Unpacking fonts-dejavu-core (2.37-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../042-fontconfig-config_2.15.0-2.3_amd64.deb ... Unpacking fontconfig-config (2.15.0-2.3) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../043-libfontconfig1_2.15.0-2.3_amd64.deb ... Unpacking libfontconfig1:amd64 (2.15.0-2.3) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../044-libxrender1_1%3a0.9.12-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.12-1) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../045-libxft2_2.3.6-1+b4_amd64.deb ... Unpacking libxft2:amd64 (2.3.6-1+b4) ... Selecting previously unselected package libgraphics-ocaml. Preparing to unpack .../046-libgraphics-ocaml_5.2.0-2_amd64.deb ... Unpacking libgraphics-ocaml (5.2.0-2) ... Selecting previously unselected package libocplib-endian-ocaml. Preparing to unpack .../047-libocplib-endian-ocaml_1.2-4+b3_amd64.deb ... Unpacking libocplib-endian-ocaml (1.2-4+b3) ... Selecting previously unselected package libreact-ocaml. Preparing to unpack .../048-libreact-ocaml_1.2.2-1+b4_amd64.deb ... Unpacking libreact-ocaml (1.2.2-1+b4) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../049-libsexplib0-ocaml_0.17.0-1+b2_amd64.deb ... Unpacking libsexplib0-ocaml (0.17.0-1+b2) ... Selecting previously unselected package libev4t64:amd64. Preparing to unpack .../050-libev4t64_1%3a4.33-2.1+b1_amd64.deb ... Unpacking libev4t64:amd64 (1:4.33-2.1+b1) ... Selecting previously unselected package liblwt-ocaml. Preparing to unpack .../051-liblwt-ocaml_5.9.1-1+b1_amd64.deb ... Unpacking liblwt-ocaml (5.9.1-1+b1) ... Selecting previously unselected package liblwt-log-ocaml. Preparing to unpack .../052-liblwt-log-ocaml_1.1.2-4+b14_amd64.deb ... Unpacking liblwt-log-ocaml (1.1.2-4+b14) ... Selecting previously unselected package libreactivedata-ocaml. Preparing to unpack .../053-libreactivedata-ocaml_0.3-4+b4_amd64.deb ... Unpacking libreactivedata-ocaml (0.3-4+b4) ... Selecting previously unselected package libsedlex-ocaml. Preparing to unpack .../054-libsedlex-ocaml_3.6-1_amd64.deb ... Unpacking libsedlex-ocaml (3.6-1) ... Selecting previously unselected package libuutf-ocaml. Preparing to unpack .../055-libuutf-ocaml_1.0.4-1+b1_amd64.deb ... Unpacking libuutf-ocaml (1.0.4-1+b1) ... Selecting previously unselected package libtyxml-ocaml. Preparing to unpack .../056-libtyxml-ocaml_4.6.0-1+b7_amd64.deb ... Unpacking libtyxml-ocaml (4.6.0-1+b7) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../057-libyojson-ocaml_2.2.2-1+b2_amd64.deb ... Unpacking libyojson-ocaml (2.2.2-1+b2) ... Selecting previously unselected package libjs-of-ocaml. Preparing to unpack .../058-libjs-of-ocaml_5.9.1-1+b10_amd64.deb ... Unpacking libjs-of-ocaml (5.9.1-1+b10) ... Selecting previously unselected package liblogs-ocaml. Preparing to unpack .../059-liblogs-ocaml_0.9.0-1+b2_amd64.deb ... Unpacking liblogs-ocaml (0.9.0-1+b2) ... Selecting previously unselected package librresult-ocaml. Preparing to unpack .../060-librresult-ocaml_0.7.0-2+b4_amd64.deb ... Unpacking librresult-ocaml (0.7.0-2+b4) ... Selecting previously unselected package libbos-ocaml. Preparing to unpack .../061-libbos-ocaml_0.2.1-2+b24_amd64.deb ... Unpacking libbos-ocaml (0.2.1-2+b24) ... Selecting previously unselected package libcmdliner-ocaml-dev. Preparing to unpack .../062-libcmdliner-ocaml-dev_1.3.0-2+b3_amd64.deb ... Unpacking libcmdliner-ocaml-dev (1.3.0-2+b3) ... Selecting previously unselected package libfmt-ocaml-dev. Preparing to unpack .../063-libfmt-ocaml-dev_0.11.0-1_amd64.deb ... Unpacking libfmt-ocaml-dev (0.11.0-1) ... Selecting previously unselected package libfpath-ocaml-dev. Preparing to unpack .../064-libfpath-ocaml-dev_0.7.3-3+b4_amd64.deb ... Unpacking libfpath-ocaml-dev (0.7.3-3+b4) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../065-libfindlib-ocaml-dev_1.9.8-1+b1_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1+b1) ... Selecting previously unselected package libgen-ocaml-dev. Preparing to unpack .../066-libgen-ocaml-dev_1.1-1+b4_amd64.deb ... Unpacking libgen-ocaml-dev (1.1-1+b4) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../067-xorg-sgml-doctools_1%3a1.11-1.1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1.1) ... Selecting previously unselected package x11proto-dev. Preparing to unpack .../068-x11proto-dev_2024.1-1_all.deb ... Unpacking x11proto-dev (2024.1-1) ... Selecting previously unselected package libxau-dev:amd64. Preparing to unpack .../069-libxau-dev_1%3a1.0.11-1_amd64.deb ... Unpacking libxau-dev:amd64 (1:1.0.11-1) ... Selecting previously unselected package libxdmcp-dev:amd64. Preparing to unpack .../070-libxdmcp-dev_1%3a1.1.5-1_amd64.deb ... Unpacking libxdmcp-dev:amd64 (1:1.1.5-1) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../071-xtrans-dev_1.4.0-1_all.deb ... Unpacking xtrans-dev (1.4.0-1) ... Selecting previously unselected package libxcb1-dev:amd64. Preparing to unpack .../072-libxcb1-dev_1.17.0-2+b1_amd64.deb ... Unpacking libxcb1-dev:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libx11-dev:amd64. Preparing to unpack .../073-libx11-dev_2%3a1.8.12-1_amd64.deb ... Unpacking libx11-dev:amd64 (2:1.8.12-1) ... Selecting previously unselected package libexpat1-dev:amd64. Preparing to unpack .../074-libexpat1-dev_2.7.1-2_amd64.deb ... Unpacking libexpat1-dev:amd64 (2.7.1-2) ... Selecting previously unselected package libbrotli-dev:amd64. Preparing to unpack .../075-libbrotli-dev_1.1.0-2+b7_amd64.deb ... Unpacking libbrotli-dev:amd64 (1.1.0-2+b7) ... Selecting previously unselected package libbz2-dev:amd64. Preparing to unpack .../076-libbz2-dev_1.0.8-6_amd64.deb ... Unpacking libbz2-dev:amd64 (1.0.8-6) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../077-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ... Selecting previously unselected package libpng-dev:amd64. Preparing to unpack .../078-libpng-dev_1.6.50-1_amd64.deb ... Unpacking libpng-dev:amd64 (1.6.50-1) ... Selecting previously unselected package libfreetype-dev:amd64. Preparing to unpack .../079-libfreetype-dev_2.13.3+dfsg-1_amd64.deb ... Unpacking libfreetype-dev:amd64 (2.13.3+dfsg-1) ... Selecting previously unselected package uuid-dev:amd64. Preparing to unpack .../080-uuid-dev_2.41.1-1_amd64.deb ... Unpacking uuid-dev:amd64 (2.41.1-1) ... Selecting previously unselected package libpkgconf3:amd64. Preparing to unpack .../081-libpkgconf3_1.8.1-4_amd64.deb ... Unpacking libpkgconf3:amd64 (1.8.1-4) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../082-pkgconf-bin_1.8.1-4_amd64.deb ... Unpacking pkgconf-bin (1.8.1-4) ... Selecting previously unselected package pkgconf:amd64. Preparing to unpack .../083-pkgconf_1.8.1-4_amd64.deb ... Unpacking pkgconf:amd64 (1.8.1-4) ... Selecting previously unselected package libfontconfig-dev:amd64. Preparing to unpack .../084-libfontconfig-dev_2.15.0-2.3_amd64.deb ... Unpacking libfontconfig-dev:amd64 (2.15.0-2.3) ... Selecting previously unselected package libfontconfig1-dev:amd64. Preparing to unpack .../085-libfontconfig1-dev_2.15.0-2.3_amd64.deb ... Unpacking libfontconfig1-dev:amd64 (2.15.0-2.3) ... Selecting previously unselected package libxrender-dev:amd64. Preparing to unpack .../086-libxrender-dev_1%3a0.9.12-1_amd64.deb ... Unpacking libxrender-dev:amd64 (1:0.9.12-1) ... Selecting previously unselected package libxft-dev:amd64. Preparing to unpack .../087-libxft-dev_2.3.6-1+b4_amd64.deb ... Unpacking libxft-dev:amd64 (2.3.6-1+b4) ... Selecting previously unselected package libgraphics-ocaml-dev. Preparing to unpack .../088-libgraphics-ocaml-dev_5.2.0-2_amd64.deb ... Unpacking libgraphics-ocaml-dev (5.2.0-2) ... Selecting previously unselected package libev-dev:amd64. Preparing to unpack .../089-libev-dev_1%3a4.33-2.1+b1_amd64.deb ... Unpacking libev-dev:amd64 (1:4.33-2.1+b1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../090-libocaml-compiler-libs-ocaml-dev_0.17.0-1+b2_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1+b2) ... Selecting previously unselected package libocplib-endian-ocaml-dev. Preparing to unpack .../091-libocplib-endian-ocaml-dev_1.2-4+b3_amd64.deb ... Unpacking libocplib-endian-ocaml-dev (1.2-4+b3) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../092-libppx-derivers-ocaml-dev_1.2.1-4+b4_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b4) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../093-libsexplib0-ocaml-dev_0.17.0-1+b2_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.17.0-1+b2) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../094-libppxlib-ocaml-dev_0.35.0-1+b1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.35.0-1+b1) ... Selecting previously unselected package libreact-ocaml-dev. Preparing to unpack .../095-libreact-ocaml-dev_1.2.2-1+b4_amd64.deb ... Unpacking libreact-ocaml-dev (1.2.2-1+b4) ... Selecting previously unselected package liblwt-ocaml-dev. Preparing to unpack .../096-liblwt-ocaml-dev_5.9.1-1+b1_amd64.deb ... Unpacking liblwt-ocaml-dev (5.9.1-1+b1) ... Selecting previously unselected package liblwt-log-ocaml-dev. Preparing to unpack .../097-liblwt-log-ocaml-dev_1.1.2-4+b14_amd64.deb ... Unpacking liblwt-log-ocaml-dev (1.1.2-4+b14) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../098-libmenhir-ocaml-dev_20240715+ds-1+b2_amd64.deb ... Unpacking libmenhir-ocaml-dev (20240715+ds-1+b2) ... Selecting previously unselected package libreactivedata-ocaml-dev. Preparing to unpack .../099-libreactivedata-ocaml-dev_0.3-4+b4_amd64.deb ... Unpacking libreactivedata-ocaml-dev (0.3-4+b4) ... Selecting previously unselected package libsedlex-ocaml-dev. Preparing to unpack .../100-libsedlex-ocaml-dev_3.6-1_amd64.deb ... Unpacking libsedlex-ocaml-dev (3.6-1) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../101-libre-ocaml-dev_1.13.3-5_amd64.deb ... Unpacking libre-ocaml-dev (1.13.3-5) ... Selecting previously unselected package libuutf-ocaml-dev. Preparing to unpack .../102-libuutf-ocaml-dev_1.0.4-1+b1_amd64.deb ... Unpacking libuutf-ocaml-dev (1.0.4-1+b1) ... Selecting previously unselected package libtyxml-ocaml-dev. Preparing to unpack .../103-libtyxml-ocaml-dev_4.6.0-1+b7_amd64.deb ... Unpacking libtyxml-ocaml-dev (4.6.0-1+b7) ... Selecting previously unselected package libyojson-ocaml-dev. Preparing to unpack .../104-libyojson-ocaml-dev_2.2.2-1+b2_amd64.deb ... Unpacking libyojson-ocaml-dev (2.2.2-1+b2) ... Selecting previously unselected package libjs-of-ocaml-dev. Preparing to unpack .../105-libjs-of-ocaml-dev_5.9.1-1+b10_amd64.deb ... Unpacking libjs-of-ocaml-dev (5.9.1-1+b10) ... Selecting previously unselected package liblogs-ocaml-dev. Preparing to unpack .../106-liblogs-ocaml-dev_0.9.0-1+b2_amd64.deb ... Unpacking liblogs-ocaml-dev (0.9.0-1+b2) ... Selecting previously unselected package librresult-ocaml-dev. Preparing to unpack .../107-librresult-ocaml-dev_0.7.0-2+b4_amd64.deb ... Unpacking librresult-ocaml-dev (0.7.0-2+b4) ... Selecting previously unselected package libbos-ocaml-dev. Preparing to unpack .../108-libbos-ocaml-dev_0.2.1-2+b24_amd64.deb ... Unpacking libbos-ocaml-dev (0.2.1-2+b24) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../109-libcamlp-streams-ocaml_5.0.1-3+b4_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-3+b4) ... Selecting previously unselected package libcamlp-streams-ocaml-dev. Preparing to unpack .../110-libcamlp-streams-ocaml-dev_5.0.1-3+b4_amd64.deb ... Unpacking libcamlp-streams-ocaml-dev (5.0.1-3+b4) ... Selecting previously unselected package camlp5. Preparing to unpack .../111-camlp5_8.03.01-1+b9_amd64.deb ... Unpacking camlp5 (8.03.01-1+b9) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../112-libdebhelper-perl_13.26_all.deb ... Unpacking libdebhelper-perl (13.26) ... Selecting previously unselected package libtool. Preparing to unpack .../113-libtool_2.5.4-5_all.deb ... Unpacking libtool (2.5.4-5) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../114-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../115-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 .../116-libfile-stripnondeterminism-perl_1.14.2-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.2-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../117-dh-strip-nondeterminism_1.14.2-1_all.deb ... Unpacking dh-strip-nondeterminism (1.14.2-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../118-libelf1t64_0.192-4_amd64.deb ... Unpacking libelf1t64:amd64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../119-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../120-libunistring5_1.3-2_amd64.deb ... Unpacking libunistring5:amd64 (1.3-2) ... Selecting previously unselected package libxml2-16:amd64. Preparing to unpack .../121-libxml2-16_2.14.5+dfsg-0.2_amd64.deb ... Unpacking libxml2-16:amd64 (2.14.5+dfsg-0.2) ... Selecting previously unselected package gettext. Preparing to unpack .../122-gettext_0.23.1-2+b1_amd64.deb ... Unpacking gettext (0.23.1-2+b1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../123-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 .../124-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../125-debhelper_13.26_all.deb ... Unpacking debhelper (13.26) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../126-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../127-dh-ocaml_2.4_all.deb ... Unpacking dh-ocaml (2.4) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../128-libgmpxx4ldbl_2%3a6.3.0+dfsg-4_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-4) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../129-libgmp-dev_2%3a6.3.0+dfsg-4_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-4) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../130-libgmp3-dev_2%3a6.3.0+dfsg-4_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-4) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../131-libnum-ocaml_1.6-1_amd64.deb ... Unpacking libnum-ocaml (1.6-1) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../132-libnum-ocaml-dev_1.6-1_amd64.deb ... Unpacking libnum-ocaml-dev (1.6-1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../133-libzarith-ocaml_1.14-1+b2_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+b2) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../134-libzarith-ocaml-dev_1.14-1+b2_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+b2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../135-ocaml-findlib_1.9.8-1+b1_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+b1) ... Setting up libexpat1:amd64 (2.7.1-2) ... Setting up libpipeline1:amd64 (1.5.8-1) ... Setting up libev4t64:amd64 (1:4.33-2.1+b1) ... Setting up libxau6:amd64 (1:1.0.11-1) ... Setting up libxdmcp6:amd64 (1:1.1.5-1) ... Setting up libxcb1:amd64 (1.17.0-2+b1) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-1) ... Setting up bsdextrautils (2.41.1-1) ... Setting up libmagic-mgc (1:5.46-5) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libxml2-16:amd64 (2.14.5+dfsg-0.2) ... Setting up libdebhelper-perl (13.26) ... Setting up libbrotli1:amd64 (1.1.0-2+b7) ... Setting up libmagic1t64:amd64 (1:5.46-5) ... Setting up gettext-base (0.23.1-2+b1) ... Setting up m4 (1.4.20-1) ... Setting up file (1:5.46-5) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libelf1t64:amd64 (0.192-4) ... Setting up xtrans-dev (1.4.0-1) ... Setting up autotools-dev (20240727.1) ... Setting up libpkgconf3:amd64 (1.8.1-4) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-4) ... Setting up libexpat1-dev:amd64 (2.7.1-2) ... Setting up libx11-data (2:1.8.12-1) ... Setting up uuid-dev:amd64 (2.41.1-1) ... Setting up libncurses6:amd64 (6.5+20250216-2) ... Setting up libstdlib-ocaml (5.3.0-3) ... Setting up libunistring5:amd64 (1.3-2) ... Setting up fonts-dejavu-mono (2.37-8) ... Setting up libpng16-16t64:amd64 (1.6.50-1) ... Setting up autopoint (0.23.1-2) ... Setting up ocaml-base (5.3.0-3) ... Setting up fonts-dejavu-core (2.37-8) ... Setting up pkgconf-bin (1.8.1-4) ... Setting up autoconf (2.72-3.1) ... Setting up zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ... Setting up libnum-ocaml (1.6-1) ... Setting up libsexplib0-ocaml (0.17.0-1+b2) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.26) ... Setting up libuchardet0:amd64 (0.0.8-2) ... Setting up libfmt-ocaml (0.11.0-1) ... Setting up libx11-6:amd64 (2:1.8.12-1) ... Setting up xorg-sgml-doctools (1:1.11-1.1) ... Setting up libreact-ocaml (1.2.2-1+b4) ... Setting up libev-dev:amd64 (1:4.33-2.1+b1) ... Setting up libbrotli-dev:amd64 (1.1.0-2+b7) ... Setting up libbz2-dev:amd64 (1.0.8-6) ... Setting up automake (1:1.17-4) ... update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode Setting up x11proto-dev (2024.1-1) ... Setting up libfile-stripnondeterminism-perl (1.14.2-1) ... Setting up libastring-ocaml (0.8.5-2+b4) ... Setting up libncurses-dev:amd64 (6.5+20250216-2) ... Setting up gettext (0.23.1-2+b1) ... Setting up libgen-ocaml (1.1-1+b4) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-4) ... Setting up libxau-dev:amd64 (1:1.0.11-1) ... Setting up libxrender1:amd64 (1:0.9.12-1) ... Setting up libtool (2.5.4-5) ... Setting up libstdlib-ocaml-dev (5.3.0-3) ... Setting up libyojson-ocaml (2.2.2-1+b2) ... Setting up libcamlp-streams-ocaml (5.0.1-3+b4) ... Setting up libfpath-ocaml (0.7.3-3+b4) ... Setting up fontconfig-config (2.15.0-2.3) ... Setting up librresult-ocaml (0.7.0-2+b4) ... Setting up libpng-dev:amd64 (1.6.50-1) ... Setting up libuutf-ocaml (1.0.4-1+b1) ... Setting up dh-ocaml (2.4) ... Setting up libfindlib-ocaml (1.9.8-1+b1) ... Setting up libzarith-ocaml (1.14-1+b2) ... Setting up pkgconf:amd64 (1.8.1-4) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libocplib-endian-ocaml (1.2-4+b3) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... Setting up libxdmcp-dev:amd64 (1:1.1.5-1) ... Setting up libsedlex-ocaml (3.6-1) ... Setting up libreactivedata-ocaml (0.3-4+b4) ... Setting up ocaml-interp (5.3.0-3) ... Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ... Setting up ocaml-findlib (1.9.8-1+b1) ... Setting up dh-strip-nondeterminism (1.14.2-1) ... Setting up libtyxml-ocaml (4.6.0-1+b7) ... Setting up groff-base (1.23.0-9) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-4) ... Setting up libfontconfig1:amd64 (2.15.0-2.3) ... Setting up libxft2:amd64 (2.3.6-1+b4) ... Setting up libxcb1-dev:amd64 (1.17.0-2+b1) ... Setting up ocaml-compiler-libs (5.3.0-3) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up liblwt-ocaml (5.9.1-1+b1) ... Setting up libx11-dev:amd64 (2:1.8.12-1) ... Setting up ocaml (5.3.0-3) ... Setting up libgen-ocaml-dev (1.1-1+b4) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libfreetype-dev:amd64 (2.13.3+dfsg-1) ... Setting up liblwt-log-ocaml (1.1.2-4+b14) ... Setting up libre-ocaml-dev (1.13.3-5) ... Setting up libmenhir-ocaml-dev (20240715+ds-1+b2) ... Setting up libreact-ocaml-dev (1.2.2-1+b4) ... Setting up librresult-ocaml-dev (0.7.0-2+b4) ... Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1+b2) ... Setting up libgraphics-ocaml (5.2.0-2) ... Setting up libyojson-ocaml-dev (2.2.2-1+b2) ... Setting up libcamlp-streams-ocaml-dev (5.0.1-3+b4) ... Setting up libfindlib-ocaml-dev (1.9.8-1+b1) ... Setting up libsexplib0-ocaml-dev (0.17.0-1+b2) ... Setting up libzarith-ocaml-dev (1.14-1+b2) ... Setting up libxrender-dev:amd64 (1:0.9.12-1) ... Setting up libcmdliner-ocaml-dev (1.3.0-2+b3) ... Setting up libocplib-endian-ocaml-dev (1.2-4+b3) ... Setting up libjs-of-ocaml (5.9.1-1+b10) ... Setting up libastring-ocaml-dev (0.8.5-2+b4) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+b4) ... Setting up libnum-ocaml-dev (1.6-1) ... Setting up libfontconfig-dev:amd64 (2.15.0-2.3) ... Setting up libreactivedata-ocaml-dev (0.3-4+b4) ... Setting up libuutf-ocaml-dev (1.0.4-1+b1) ... Setting up libppxlib-ocaml-dev (0.35.0-1+b1) ... Setting up debhelper (13.26) ... Setting up liblogs-ocaml (0.9.0-1+b2) ... Setting up libfmt-ocaml-dev (0.11.0-1) ... Setting up libtyxml-ocaml-dev (4.6.0-1+b7) ... Setting up libfpath-ocaml-dev (0.7.3-3+b4) ... Setting up libxft-dev:amd64 (2.3.6-1+b4) ... Setting up libfontconfig1-dev:amd64 (2.15.0-2.3) ... Setting up libsedlex-ocaml-dev (3.6-1) ... Setting up libgraphics-ocaml-dev (5.2.0-2) ... Setting up liblwt-ocaml-dev (5.9.1-1+b1) ... Setting up libbos-ocaml (0.2.1-2+b24) ... Setting up liblwt-log-ocaml-dev (1.1.2-4+b14) ... Setting up libjs-of-ocaml-dev (5.9.1-1+b10) ... Setting up liblogs-ocaml-dev (0.9.0-1+b2) ... Setting up libbos-ocaml-dev (0.2.1-2+b24) ... Setting up camlp5 (8.03.01-1+b9) ... Processing triggers for libc-bin (2.41-12) ... 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/hol-light-3.0.0/ && 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 > ../hol-light_3.0.0-2_source.changes dpkg-buildpackage: info: source package hol-light dpkg-buildpackage: info: source version 1:3.0.0-2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Bo YU dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/hol-light-3.0.0' dh_auto_clean make -j42 clean make[2]: Entering directory '/build/reproducible-path/hol-light-3.0.0' \ rm -f bignum.c* bignum.o \ update_database.ml pa_j.ml pa_j.cmi pa_j.cmo \ hol_lib.a hol_lib.c* hol_lib.o hol_lib_inlined.ml \ hol_loader.c* hol_loader.o \ unit_tests_inlined.* unit_tests.native unit_tests.byte \ ocaml-hol hol.sh hol hol.multivariate hol.sosa hol.card hol.complex make[2]: Leaving directory '/build/reproducible-path/hol-light-3.0.0' make -C Mizarlight clean make[2]: Entering directory '/build/reproducible-path/hol-light-3.0.0/Mizarlight' rm -f pa_f.cmi pa_f.cmo make[2]: Leaving directory '/build/reproducible-path/hol-light-3.0.0/Mizarlight' rm -f ocaml make[1]: Leaving directory '/build/reproducible-path/hol-light-3.0.0' dh_ocamlclean dh_clean debian/rules binary dh binary --with ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/build/reproducible-path/hol-light-3.0.0' dh_auto_build make -j42 "INSTALL=install --strip-program=true" make[2]: Entering directory '/build/reproducible-path/hol-light-3.0.0' \ if [ `ocamlc -version | cut -c1-4` = "4.14" ] ; \ then cp update_database/update_database_4.14.ml update_database.ml ; \ else cp update_database/update_database_`ocamlc -version | cut -c1`.ml update_database.ml ; \ fi \ if test `ocamlc -version | cut -c1-3` = "3.0" ; \ then cp pa_j/pa_j_`ocamlc -version | cut -c1-4`.ml pa_j.ml ; \ elif test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1-4` = "8.00" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1-4` = "8.02" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1-4` = "8.03" ; \ then cp pa_j/pa_j_4.xx_`camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1-4`.ml pa_j.ml; \ elif test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1` = "7" ; \ then if test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.01" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.02" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.03" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.04" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.05" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.06" ; \ then cp pa_j/pa_j_4.xx_7.06.ml pa_j.ml; \ else cp pa_j/pa_j_4.xx_7.xx.ml pa_j.ml; \ fi \ elif test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.02.1" ; \ then cp pa_j/pa_j_3.1x_6.02.1.ml pa_j.ml; \ elif test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.02.2" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.02.3" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.03" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.04" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.05" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.06" ; \ then cp pa_j/pa_j_3.1x_6.02.2.ml pa_j.ml; \ elif test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.06" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.07" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.08" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.09" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.10" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.11" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.12" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.13" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.14" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.15" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.16" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.17" ; \ then cp pa_j/pa_j_3.1x_6.11.ml pa_j.ml; \ else cp pa_j/pa_j_3.1x_`camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1`.xx.ml pa_j.ml; \ fi \ if test `ocamlc -version | cut -c1-4` = "4.14" -o `ocamlc -version | cut -c1` = "5" ; \ then ocamlfind ocamlc -package zarith -c -o bignum.cmo bignum_zarith.ml ; \ else ocamlc -c -o bignum.cmo bignum_num.ml ; \ fi \ ocamlc -verbose -c hol_loader.ml -o hol_loader.cmo File "hol_loader.ml", line 30, characters 41-65: 30 | let file_loader = ref (fun (s:string) -> failwith "uninitialized"; false);; ^^^^^^^^^^^^^^^^^^^^^^^^ Warning 21 [nonreturning-statement]: this statement never returns (or has an unsound type.) if test `ocamlc -version | cut -c1-3` = "3.0" ; \ then ocamlc -c -pp "camlp4r pa_extend.cmo q_MLast.cmo" -I `camlp4 -where` pa_j.ml ; \ elif test `ocamlc -version | cut -c1-3` = "3.1" -o `ocamlc -version | cut -c1-4` = "4.00" -o `ocamlc -version | cut -c1-4` = "4.01" -o `ocamlc -version | cut -c1-4` = "4.02" -o `ocamlc -version | cut -c1-4` = "4.03" -o `ocamlc -version | cut -c1-4` = "4.04" -o `ocamlc -version | cut -c1-4` = "4.05" ; \ then ocamlc -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` pa_j.ml ; \ else ocamlc -safe-string -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` -I `ocamlfind query camlp-streams` pa_j.ml ; \ fi if [ `uname` = "Linux" ] || [ `uname` = "Darwin" ] ; then \ if [ `ocamlc -version | cut -c1` = "5" ] || [ `ocamlc -version | cut -c1-4` = "4.14" ] ; then \ ocamlfind ocamlmktop -package zarith -o ocaml-hol zarith.cma bignum.cmo hol_loader.cmo ; \ sed "s^__DIR__^`pwd`^g; s^__USE_MODULE__^0^g" hol_4.14.sh > hol.sh ; \ else \ ocamlmktop -o ocaml-hol nums.cma bignum.cmo hol_loader.cmo ; \ sed "s^__DIR__^`pwd`^g; s^__USE_MODULE__^0^g" hol_4.sh > hol.sh ; \ fi ; \ chmod +x hol.sh ; \ else \ echo 'FAILURE: hol.sh assumes Linux' ; \ fi make[2]: Leaving directory '/build/reproducible-path/hol-light-3.0.0' /usr/bin/make make[2]: Entering directory '/build/reproducible-path/hol-light-3.0.0' make[2]: 'default' is up to date. make[2]: Leaving directory '/build/reproducible-path/hol-light-3.0.0' make[1]: Leaving directory '/build/reproducible-path/hol-light-3.0.0' debian/rules override_dh_auto_test make[1]: Entering directory '/build/reproducible-path/hol-light-3.0.0' debian/test-hol-light ######################## HOL Light test Library/agm.ml ################### debian/test-hol-light: line 6: ./ocaml: No such file or directory make[1]: Leaving directory '/build/reproducible-path/hol-light-3.0.0' create-stamp debian/debhelper-build-stamp dh_prep debian/rules override_dh_auto_install make[1]: Entering directory '/build/reproducible-path/hol-light-3.0.0' install -d debian/hol-light/usr/share/hol-light tar --anchored --exclude-from=debian/hol-light-source.exclude -c . | \ tar -C debian/hol-light/usr/share/hol-light -x chmod -x debian/hol-light/usr/share/hol-light/*.ml chmod -x debian/hol-light/usr/share/hol-light/*/*.ml install -d debian/hol-light/usr/bin install debian/hol-light.sh debian/hol-light/usr/bin/hol-light make[1]: Leaving directory '/build/reproducible-path/hol-light-3.0.0' dh_ocamldoc dh_installdocs dh_installchangelogs dh_installman dh_installmenu dh_lintian dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb debian/rules override_dh_ocaml make[1]: Entering directory '/build/reproducible-path/hol-light-3.0.0' dh_ocaml --runtime-map hol-light make[1]: Leaving directory '/build/reproducible-path/hol-light-3.0.0' dh_gencontrol dpkg-gencontrol: warning: Depends field of package hol-light: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: package hol-light: substitution variable ${ocaml:Provides} unused, but is defined dpkg-gencontrol: warning: package hol-light: substitution variable ${perl:Depends} unused, but is defined dh_md5sums dh_builddeb dpkg-deb: building package 'hol-light' in '../hol-light_3.0.0-2_amd64.deb'. dpkg-genbuildinfo --build=binary -O../hol-light_3.0.0-2_amd64.buildinfo dpkg-genchanges --build=binary -O../hol-light_3.0.0-2_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/1645918 and its subdirectories I: Current time: Thu Oct 8 10:14:49 -12 2026 I: pbuilder-time-stamp: 1791497689 Fri Sep 5 15:51:50 UTC 2025 I: 1st build successful. Starting 2nd build on remote node ionos11-amd64.debian.net. Fri Sep 5 15:51:50 UTC 2025 I: Preparing to do remote build '2' on ionos11-amd64.debian.net. Fri Sep 5 15:53:21 UTC 2025 I: Deleting $TMPDIR on ionos11-amd64.debian.net. Fri Sep 5 15:53:21 UTC 2025 I: hol-light_3.0.0-2_amd64.changes: Format: 1.8 Date: Sun, 15 Dec 2024 21:49:40 +0800 Source: hol-light Binary: hol-light Architecture: amd64 Version: 1:3.0.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Bo YU Description: hol-light - HOL Light theorem prover Changes: hol-light (1:3.0.0-2) unstable; urgency=medium . * Team upload. * Remove libcoq-bignums on B-D from previous upload. Checksums-Sha1: 77845478fd5dae65a0e92434fb5bb0ce1891b5fb 8120 hol-light_3.0.0-2_amd64.buildinfo b67576d6ab6a92ba35e23e609ad10ed16a09e212 6000540 hol-light_3.0.0-2_amd64.deb Checksums-Sha256: f86f51384e24ec2d3962b030a57300bd6ad52b26362afe9a0cf4aa7f7d3961d6 8120 hol-light_3.0.0-2_amd64.buildinfo c3b18ce57b73568a0b59d645619c5b31a5e288add19e749c4865263cd7e633f3 6000540 hol-light_3.0.0-2_amd64.deb Files: 1a1ffe37d58a1b7811a9d8f0817dcc1b 8120 math optional hol-light_3.0.0-2_amd64.buildinfo 7526dd52ba72c559d4dafc2785ada0d4 6000540 math optional hol-light_3.0.0-2_amd64.deb Fri Sep 5 15:53:22 UTC 2025 I: diffoscope 305 will be used to compare the two builds: Running as unit: rb-diffoscope-amd64_28-71771.service; invocation ID: 6ec2813460d74b969fe0594a002a9d4d # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.E3zxjB5A/hol-light_3.0.0-2.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.E3zxjB5A/hol-light_3.0.0-2.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.E3zxjB5A/hol-light_3.0.0-2.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.E3zxjB5A/b1/hol-light_3.0.0-2_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.E3zxjB5A/b2/hol-light_3.0.0-2_amd64.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call diffoscope.comparators.binary.FilesystemFile ## main (total time: 0.003s) 0.003s 2 calls outputs 0.000s 1 call cleanup Finished with result: success Main processes terminated with: code=exited, status=0/SUCCESS Service runtime: 216ms CPU time consumed: 178ms Memory peak: 17.8M (swap: 0B) Fri Sep 5 15:53:24 UTC 2025 I: diffoscope 305 found no differences in the changes files, and a .buildinfo file also exists. Fri Sep 5 15:53:24 UTC 2025 I: hol-light from forky built successfully and reproducibly on amd64. Fri Sep 5 15:53:25 UTC 2025 I: Removing signed hol-light_3.0.0-2_amd64.buildinfo.asc files: removed './b1/hol-light_3.0.0-2_amd64.buildinfo.asc' removed './b2/hol-light_3.0.0-2_amd64.buildinfo.asc'