Mon Dec 16 12:02:40 UTC 2024 I: starting to build hol-light/unstable/amd64 on jenkins on '2024-12-16 12:02' Mon Dec 16 12:02:40 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_12/40980/console.log Mon Dec 16 12:02:40 UTC 2024 I: Downloading source for unstable/hol-light=1:3.0.0-2 --2024-12-16 12:02:40-- 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% 159M=0s 2024-12-16 12:02:40 (159 MB/s) - ‘hol-light_3.0.0-2.dsc’ saved [2039/2039] Mon Dec 16 12:02:40 UTC 2024 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----- Mon Dec 16 12:02:40 UTC 2024 I: Checking whether the package is not for us Mon Dec 16 12:02:40 UTC 2024 I: Starting 1st build on remote node ionos15-amd64.debian.net. Mon Dec 16 12:02:40 UTC 2024 I: Preparing to do remote build '1' on ionos15-amd64.debian.net. Mon Dec 16 12:04:38 UTC 2024 I: Deleting $TMPDIR on ionos15-amd64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Sun Jan 18 06:25:43 -12 2026 I: pbuilder-time-stamp: 1768760743 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [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 gpgv: Signature made Mon Dec 16 06:36:46 2024 gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 gpgv: Can't check signature: No public key 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/2687673/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='unstable' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='fd4fe848f27c4dc5b281fddf8d945f36' 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='2687673' 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.Cl9j6Tia/pbuilderrc_2wLK --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.Cl9j6Tia/b1 --logfile b1/build.log hol-light_3.0.0-2.dsc' SUDO_GID='111' SUDO_UID='106' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://213.165.73.152:3128' I: uname -a Linux ionos15-amd64 6.11.5+bpo-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.11.5-1~bpo12+1 (2024-11-11) x86_64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Nov 22 2024 /bin -> usr/bin I: user script /srv/workspace/pbuilder/2687673/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 ... 19965 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} debhelper{a} dh-autoreconf{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libconfig-tiny-perl{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libicu72{a} libmagic-mgc{a} libmagic1t64{a} libpipeline1{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl libarchive-cpio-perl libltdl-dev libmail-sendmail-perl lynx ocaml wget 0 packages upgraded, 31 newly installed, 0 to remove and 0 not upgraded. Need to get 19.9 MB of archives. After unpacking 75.8 MB will be used. The following packages have unmet dependencies: pbuilder-satisfydepends-dummy : Depends: camlp5 (>= 8.02) but it is not installable Depends: libnum-ocaml-dev but it is not installable Depends: libcamlp-streams-ocaml-dev but it is not installable Depends: ocaml-findlib but it is not installable Depends: libzarith-ocaml-dev but it is not installable The following actions will resolve these dependencies: Install the following packages: 1) camlp5 [8.03.00-1+b5 (unstable)] 2) libastring-ocaml [0.8.5-2+b2 (unstable)] 3) libastring-ocaml-dev [0.8.5-2+b2 (unstable)] 4) libbos-ocaml [0.2.1-2+b14 (unstable)] 5) libbos-ocaml-dev [0.2.1-2+b14 (unstable)] 6) libcamlp-streams-ocaml [5.0.1-3+b2 (unstable)] 7) libcamlp-streams-ocaml-dev [5.0.1-3+b2 (unstable)] 8) libcmdliner-ocaml-dev [1.3.0-2+b1 (unstable)] 9) libcompiler-libs-ocaml-dev [5.2.0-3 (unstable)] 10) libev-dev [1:4.33-2.1+b1 (unstable)] 11) libev4t64 [1:4.33-2.1+b1 (unstable)] 12) libfindlib-ocaml [1.9.6-3 (unstable)] 13) libfindlib-ocaml-dev [1.9.6-3 (unstable)] 14) libfmt-ocaml [0.9.0-3+b3 (unstable)] 15) libfmt-ocaml-dev [0.9.0-3+b3 (unstable)] 16) libfpath-ocaml [0.7.3-3+b2 (unstable)] 17) libfpath-ocaml-dev [0.7.3-3+b2 (unstable)] 18) libgen-ocaml [1.1-1+b2 (unstable)] 19) libgen-ocaml-dev [1.1-1+b2 (unstable)] 20) libgmp-dev [2:6.3.0+dfsg-3 (unstable)] 21) libgmp3-dev [2:6.3.0+dfsg-3 (unstable)] 22) libgmpxx4ldbl [2:6.3.0+dfsg-3 (unstable)] 23) libgraphics-ocaml [5.1.2-3+b2 (unstable)] 24) libgraphics-ocaml-dev [5.1.2-3+b2 (unstable)] 25) libjs-of-ocaml [5.8.2-2+b5 (unstable)] 26) libjs-of-ocaml-dev [5.8.2-2+b5 (unstable)] 27) liblogs-ocaml [0.7.0-3+b14 (unstable)] 28) liblogs-ocaml-dev [0.7.0-3+b14 (unstable)] 29) liblwt-log-ocaml [1.1.2-4+b8 (unstable)] 30) liblwt-log-ocaml-dev [1.1.2-4+b8 (unstable)] 31) liblwt-ocaml [5.7.0-1+b8 (unstable)] 32) liblwt-ocaml-dev [5.7.0-1+b8 (unstable)] 33) libmenhir-ocaml-dev [20240715+ds-1 (unstable)] 34) libncurses-dev [6.5-2+b1 (unstable)] 35) libncurses6 [6.5-2+b1 (unstable)] 36) libnum-ocaml [1.5-1+b1 (unstable)] 37) libnum-ocaml-dev [1.5-1+b1 (unstable)] 38) libocaml-compiler-libs-ocaml-dev [0.17.0-1 (unstable)] 39) libocplib-endian-ocaml [1.2-4+b1 (unstable)] 40) libocplib-endian-ocaml-dev [1.2-4+b1 (unstable)] 41) libppx-derivers-ocaml-dev [1.2.1-4+b2 (unstable)] 42) libppxlib-ocaml-dev [0.33.0-2 (unstable)] 43) libre-ocaml-dev [1.12.0+really1.11.0-1 (unstable)] 44) libreact-ocaml [1.2.2-1+b2 (unstable)] 45) libreact-ocaml-dev [1.2.2-1+b2 (unstable)] 46) libreactivedata-ocaml [0.3-4+b2 (unstable)] 47) libreactivedata-ocaml-dev [0.3-4+b2 (unstable)] 48) librresult-ocaml [0.7.0-2+b2 (unstable)] 49) librresult-ocaml-dev [0.7.0-2+b2 (unstable)] 50) libsedlex-ocaml [3.2-1+b6 (unstable)] 51) libsedlex-ocaml-dev [3.2-1+b6 (unstable)] 52) libsexplib0-ocaml [0.17.0-1 (unstable)] 53) libsexplib0-ocaml-dev [0.17.0-1 (unstable)] 54) libstdlib-ocaml [5.2.0-3 (unstable)] 55) libstdlib-ocaml-dev [5.2.0-3 (unstable)] 56) libtyxml-ocaml [4.6.0-1+b3 (unstable)] 57) libtyxml-ocaml-dev [4.6.0-1+b3 (unstable)] 58) libuutf-ocaml [1.0.3-1+b3 (unstable)] 59) libuutf-ocaml-dev [1.0.3-1+b3 (unstable)] 60) libx11-6 [2:1.8.10-2 (unstable)] 61) libx11-data [2:1.8.10-2 (unstable)] 62) libxau6 [1:1.0.11-1 (unstable)] 63) libxcb1 [1.17.0-2+b1 (unstable)] 64) libxdmcp6 [1:1.1.5-1 (unstable)] 65) libyojson-ocaml [2.2.2-1 (unstable)] 66) libyojson-ocaml-dev [2.2.2-1 (unstable)] 67) libzarith-ocaml [1.14-1 (unstable)] 68) libzarith-ocaml-dev [1.14-1 (unstable)] 69) libzstd-dev [1.5.6+dfsg-1+b1 (unstable)] 70) ocaml [5.2.0-3 (unstable)] 71) ocaml-base [5.2.0-3 (unstable)] 72) ocaml-compiler-libs [5.2.0-3 (unstable)] 73) ocaml-findlib [1.9.6-3 (unstable)] 74) ocaml-interp [5.2.0-3 (unstable)] 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} 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} 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} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfindlib-ocaml-dev{a} libfmt-ocaml{a} libfmt-ocaml-dev{a} libfpath-ocaml{a} libfpath-ocaml-dev{a} libgen-ocaml{a} libgen-ocaml-dev{a} libgmp-dev{a} libgmp3-dev{a} libgmpxx4ldbl{a} libgraphics-ocaml{a} libgraphics-ocaml-dev{a} libicu72{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} 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} libuutf-ocaml{a} libuutf-ocaml-dev{a} libx11-6{a} libx11-data{a} libxau6{a} libxcb1{a} libxdmcp6{a} libxml2{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} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl ledit libarchive-cpio-perl libgpm2 libltdl-dev libmail-sendmail-perl lynx ocaml-man rlfe rlwrap wget 0 packages upgraded, 105 newly installed, 0 to remove and 0 not upgraded. Need to get 200 MB of archives. After unpacking 615 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB] Get: 2 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB] Get: 3 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB] Get: 4 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB] Get: 5 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.22.5-3 [200 kB] Get: 6 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB] Get: 7 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-6 [1184 kB] Get: 8 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.40.2-12 [92.0 kB] Get: 9 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get: 10 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB] Get: 11 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-4 [287 kB] Get: 12 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3 [493 kB] Get: 13 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get: 14 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get: 15 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.22.5-3 [723 kB] Get: 16 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB] Get: 17 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] Get: 18 http://deb.debian.org/debian unstable/main amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.4 MB] Get: 19 http://deb.debian.org/debian unstable/main amd64 ocaml-compiler-libs all 5.2.0-3 [201 kB] Get: 20 http://deb.debian.org/debian unstable/main amd64 ocaml-base amd64 5.2.0-3 [455 kB] Get: 21 http://deb.debian.org/debian unstable/main amd64 libastring-ocaml amd64 0.8.5-2+b2 [191 kB] Get: 22 http://deb.debian.org/debian unstable/main amd64 ocaml-interp amd64 5.2.0-3 [6852 kB] Get: 23 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB] Get: 24 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB] Get: 25 http://deb.debian.org/debian unstable/main amd64 libzstd-dev amd64 1.5.6+dfsg-1+b1 [365 kB] Get: 26 http://deb.debian.org/debian unstable/main amd64 ocaml amd64 5.2.0-3 [17.4 MB] Get: 27 http://deb.debian.org/debian unstable/main amd64 libastring-ocaml-dev amd64 0.8.5-2+b2 [165 kB] Get: 28 http://deb.debian.org/debian unstable/main amd64 libfmt-ocaml amd64 0.9.0-3+b3 [132 kB] Get: 29 http://deb.debian.org/debian unstable/main amd64 libfpath-ocaml amd64 0.7.3-3+b2 [96.9 kB] Get: 30 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB] Get: 31 http://deb.debian.org/debian unstable/main amd64 libgen-ocaml amd64 1.1-1+b2 [225 kB] Get: 32 http://deb.debian.org/debian unstable/main amd64 libxau6 amd64 1:1.0.11-1 [20.4 kB] Get: 33 http://deb.debian.org/debian unstable/main amd64 libxdmcp6 amd64 1:1.1.5-1 [27.8 kB] Get: 34 http://deb.debian.org/debian unstable/main amd64 libxcb1 amd64 1.17.0-2+b1 [144 kB] Get: 35 http://deb.debian.org/debian unstable/main amd64 libx11-data all 2:1.8.10-2 [337 kB] Get: 36 http://deb.debian.org/debian unstable/main amd64 libx11-6 amd64 2:1.8.10-2 [813 kB] Get: 37 http://deb.debian.org/debian unstable/main amd64 libgraphics-ocaml amd64 5.1.2-3+b2 [51.4 kB] Get: 38 http://deb.debian.org/debian unstable/main amd64 libocplib-endian-ocaml amd64 1.2-4+b1 [97.2 kB] Get: 39 http://deb.debian.org/debian unstable/main amd64 libreact-ocaml amd64 1.2.2-1+b2 [197 kB] Get: 40 http://deb.debian.org/debian unstable/main amd64 libsexplib0-ocaml amd64 0.17.0-1 [127 kB] Get: 41 http://deb.debian.org/debian unstable/main amd64 libev4t64 amd64 1:4.33-2.1+b1 [42.4 kB] Get: 42 http://deb.debian.org/debian unstable/main amd64 liblwt-ocaml amd64 5.7.0-1+b8 [974 kB] Get: 43 http://deb.debian.org/debian unstable/main amd64 liblwt-log-ocaml amd64 1.1.2-4+b8 [89.1 kB] Get: 44 http://deb.debian.org/debian unstable/main amd64 libreactivedata-ocaml amd64 0.3-4+b2 [88.9 kB] Get: 45 http://deb.debian.org/debian unstable/main amd64 libsedlex-ocaml amd64 3.2-1+b6 [263 kB] Get: 46 http://deb.debian.org/debian unstable/main amd64 libuutf-ocaml amd64 1.0.3-1+b3 [76.8 kB] Get: 47 http://deb.debian.org/debian unstable/main amd64 libtyxml-ocaml amd64 4.6.0-1+b3 [507 kB] Get: 48 http://deb.debian.org/debian unstable/main amd64 libyojson-ocaml amd64 2.2.2-1 [523 kB] Get: 49 http://deb.debian.org/debian unstable/main amd64 libjs-of-ocaml amd64 5.8.2-2+b5 [6562 kB] Get: 50 http://deb.debian.org/debian unstable/main amd64 liblogs-ocaml amd64 0.7.0-3+b14 [85.4 kB] Get: 51 http://deb.debian.org/debian unstable/main amd64 librresult-ocaml amd64 0.7.0-2+b2 [28.8 kB] Get: 52 http://deb.debian.org/debian unstable/main amd64 libbos-ocaml amd64 0.2.1-2+b14 [314 kB] Get: 53 http://deb.debian.org/debian unstable/main amd64 libcmdliner-ocaml-dev amd64 1.3.0-2+b1 [540 kB] Get: 54 http://deb.debian.org/debian unstable/main amd64 libfmt-ocaml-dev amd64 0.9.0-3+b3 [126 kB] Get: 55 http://deb.debian.org/debian unstable/main amd64 libfpath-ocaml-dev amd64 0.7.3-3+b2 [93.8 kB] Get: 56 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml-dev amd64 1.9.6-3 [152 kB] Get: 57 http://deb.debian.org/debian unstable/main amd64 libgen-ocaml-dev amd64 1.1-1+b2 [615 kB] Get: 58 http://deb.debian.org/debian unstable/main amd64 libgraphics-ocaml-dev amd64 5.1.2-3+b2 [126 kB] Get: 59 http://deb.debian.org/debian unstable/main amd64 libev-dev amd64 1:4.33-2.1+b1 [135 kB] Get: 60 http://deb.debian.org/debian unstable/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-1 [161 kB] Get: 61 http://deb.debian.org/debian unstable/main amd64 libocplib-endian-ocaml-dev amd64 1.2-4+b1 [270 kB] Get: 62 http://deb.debian.org/debian unstable/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b2 [19.7 kB] Get: 63 http://deb.debian.org/debian unstable/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1 [359 kB] Get: 64 http://deb.debian.org/debian unstable/main amd64 libppxlib-ocaml-dev amd64 0.33.0-2 [24.4 MB] Get: 65 http://deb.debian.org/debian unstable/main amd64 libreact-ocaml-dev amd64 1.2.2-1+b2 [165 kB] Get: 66 http://deb.debian.org/debian unstable/main amd64 liblwt-ocaml-dev amd64 5.7.0-1+b8 [6576 kB] Get: 67 http://deb.debian.org/debian unstable/main amd64 liblwt-log-ocaml-dev amd64 1.1.2-4+b8 [255 kB] Get: 68 http://deb.debian.org/debian unstable/main amd64 libmenhir-ocaml-dev amd64 20240715+ds-1 [906 kB] Get: 69 http://deb.debian.org/debian unstable/main amd64 libreactivedata-ocaml-dev amd64 0.3-4+b2 [220 kB] Get: 70 http://deb.debian.org/debian unstable/main amd64 libsedlex-ocaml-dev amd64 3.2-1+b6 [4678 kB] Get: 71 http://deb.debian.org/debian unstable/main amd64 libre-ocaml-dev amd64 1.12.0+really1.11.0-1 [1290 kB] Get: 72 http://deb.debian.org/debian unstable/main amd64 libuutf-ocaml-dev amd64 1.0.3-1+b3 [591 kB] Get: 73 http://deb.debian.org/debian unstable/main amd64 libtyxml-ocaml-dev amd64 4.6.0-1+b3 [2698 kB] Get: 74 http://deb.debian.org/debian unstable/main amd64 libyojson-ocaml-dev amd64 2.2.2-1 [1539 kB] Get: 75 http://deb.debian.org/debian unstable/main amd64 libjs-of-ocaml-dev amd64 5.8.2-2+b5 [26.6 MB] Get: 76 http://deb.debian.org/debian unstable/main amd64 liblogs-ocaml-dev amd64 0.7.0-3+b14 [104 kB] Get: 77 http://deb.debian.org/debian unstable/main amd64 librresult-ocaml-dev amd64 0.7.0-2+b2 [40.1 kB] Get: 78 http://deb.debian.org/debian unstable/main amd64 libbos-ocaml-dev amd64 0.2.1-2+b14 [299 kB] Get: 79 http://deb.debian.org/debian unstable/main amd64 libcamlp-streams-ocaml amd64 5.0.1-3+b2 [43.7 kB] Get: 80 http://deb.debian.org/debian unstable/main amd64 libcamlp-streams-ocaml-dev amd64 5.0.1-3+b2 [127 kB] Get: 81 http://deb.debian.org/debian unstable/main amd64 camlp5 amd64 8.03.00-1+b5 [7667 kB] Get: 82 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.20 [89.7 kB] Get: 83 http://deb.debian.org/debian unstable/main amd64 libtool all 2.4.7-8 [517 kB] Get: 84 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB] Get: 85 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 86 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get: 87 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get: 88 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB] Get: 89 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB] Get: 90 http://deb.debian.org/debian unstable/main amd64 libicu72 amd64 72.1-5+b1 [9423 kB] Get: 91 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB] Get: 92 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.22.5-3 [1600 kB] Get: 93 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 94 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 95 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.20 [915 kB] Get: 96 http://deb.debian.org/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get: 97 http://deb.debian.org/debian unstable/main amd64 dh-ocaml all 2.4 [62.9 kB] Get: 98 http://deb.debian.org/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB] Get: 99 http://deb.debian.org/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB] Get: 100 http://deb.debian.org/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB] Get: 101 http://deb.debian.org/debian unstable/main amd64 libnum-ocaml amd64 1.5-1+b1 [181 kB] Get: 102 http://deb.debian.org/debian unstable/main amd64 libnum-ocaml-dev amd64 1.5-1+b1 [146 kB] Get: 103 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml amd64 1.14-1 [116 kB] Get: 104 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml-dev amd64 1.14-1 [142 kB] Get: 105 http://deb.debian.org/debian unstable/main amd64 ocaml-findlib amd64 1.9.6-3 [569 kB] Fetched 200 MB in 15s (13.5 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package sensible-utils. (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 ... 19965 files and directories currently installed.) Preparing to unpack .../000-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../001-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic-mgc (1:5.45-3+b1) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../002-libmagic1t64_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ... Selecting previously unselected package file. Preparing to unpack .../003-file_1%3a5.45-3+b1_amd64.deb ... Unpacking file (1:5.45-3+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../004-gettext-base_0.22.5-3_amd64.deb ... Unpacking gettext-base (0.22.5-3) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../005-libuchardet0_0.0.8-1+b2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../006-groff-base_1.23.0-6_amd64.deb ... Unpacking groff-base (1.23.0-6) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../007-bsdextrautils_2.40.2-12_amd64.deb ... Unpacking bsdextrautils (2.40.2-12) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../008-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../009-man-db_2.13.0-1_amd64.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../010-m4_1.4.19-4_amd64.deb ... Unpacking m4 (1.4.19-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../011-autoconf_2.72-3_all.deb ... Unpacking autoconf (2.72-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../012-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../013-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 .../014-autopoint_0.22.5-3_all.deb ... Unpacking autopoint (0.22.5-3) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../015-libstdlib-ocaml_5.2.0-3_amd64.deb ... Unpacking libstdlib-ocaml (5.2.0-3) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../016-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.2.0-3) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../017-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../018-ocaml-compiler-libs_5.2.0-3_all.deb ... Unpacking ocaml-compiler-libs (5.2.0-3) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../019-ocaml-base_5.2.0-3_amd64.deb ... Unpacking ocaml-base (5.2.0-3) ... Selecting previously unselected package libastring-ocaml. Preparing to unpack .../020-libastring-ocaml_0.8.5-2+b2_amd64.deb ... Unpacking libastring-ocaml (0.8.5-2+b2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../021-ocaml-interp_5.2.0-3_amd64.deb ... Unpacking ocaml-interp (5.2.0-3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../022-libncurses6_6.5-2+b1_amd64.deb ... Unpacking libncurses6:amd64 (6.5-2+b1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../023-libncurses-dev_6.5-2+b1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5-2+b1) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../024-libzstd-dev_1.5.6+dfsg-1+b1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ... Selecting previously unselected package ocaml. Preparing to unpack .../025-ocaml_5.2.0-3_amd64.deb ... Unpacking ocaml (5.2.0-3) ... Selecting previously unselected package libastring-ocaml-dev. Preparing to unpack .../026-libastring-ocaml-dev_0.8.5-2+b2_amd64.deb ... Unpacking libastring-ocaml-dev (0.8.5-2+b2) ... Selecting previously unselected package libfmt-ocaml. Preparing to unpack .../027-libfmt-ocaml_0.9.0-3+b3_amd64.deb ... Unpacking libfmt-ocaml (0.9.0-3+b3) ... Selecting previously unselected package libfpath-ocaml. Preparing to unpack .../028-libfpath-ocaml_0.7.3-3+b2_amd64.deb ... Unpacking libfpath-ocaml (0.7.3-3+b2) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../029-libfindlib-ocaml_1.9.6-3_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-3) ... Selecting previously unselected package libgen-ocaml. Preparing to unpack .../030-libgen-ocaml_1.1-1+b2_amd64.deb ... Unpacking libgen-ocaml (1.1-1+b2) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../031-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 .../032-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 .../033-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 .../034-libx11-data_2%3a1.8.10-2_all.deb ... Unpacking libx11-data (2:1.8.10-2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../035-libx11-6_2%3a1.8.10-2_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.10-2) ... Selecting previously unselected package libgraphics-ocaml. Preparing to unpack .../036-libgraphics-ocaml_5.1.2-3+b2_amd64.deb ... Unpacking libgraphics-ocaml (5.1.2-3+b2) ... Selecting previously unselected package libocplib-endian-ocaml. Preparing to unpack .../037-libocplib-endian-ocaml_1.2-4+b1_amd64.deb ... Unpacking libocplib-endian-ocaml (1.2-4+b1) ... Selecting previously unselected package libreact-ocaml. Preparing to unpack .../038-libreact-ocaml_1.2.2-1+b2_amd64.deb ... Unpacking libreact-ocaml (1.2.2-1+b2) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../039-libsexplib0-ocaml_0.17.0-1_amd64.deb ... Unpacking libsexplib0-ocaml (0.17.0-1) ... Selecting previously unselected package libev4t64:amd64. Preparing to unpack .../040-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 .../041-liblwt-ocaml_5.7.0-1+b8_amd64.deb ... Unpacking liblwt-ocaml (5.7.0-1+b8) ... Selecting previously unselected package liblwt-log-ocaml. Preparing to unpack .../042-liblwt-log-ocaml_1.1.2-4+b8_amd64.deb ... Unpacking liblwt-log-ocaml (1.1.2-4+b8) ... Selecting previously unselected package libreactivedata-ocaml. Preparing to unpack .../043-libreactivedata-ocaml_0.3-4+b2_amd64.deb ... Unpacking libreactivedata-ocaml (0.3-4+b2) ... Selecting previously unselected package libsedlex-ocaml. Preparing to unpack .../044-libsedlex-ocaml_3.2-1+b6_amd64.deb ... Unpacking libsedlex-ocaml (3.2-1+b6) ... Selecting previously unselected package libuutf-ocaml. Preparing to unpack .../045-libuutf-ocaml_1.0.3-1+b3_amd64.deb ... Unpacking libuutf-ocaml (1.0.3-1+b3) ... Selecting previously unselected package libtyxml-ocaml. Preparing to unpack .../046-libtyxml-ocaml_4.6.0-1+b3_amd64.deb ... Unpacking libtyxml-ocaml (4.6.0-1+b3) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../047-libyojson-ocaml_2.2.2-1_amd64.deb ... Unpacking libyojson-ocaml (2.2.2-1) ... Selecting previously unselected package libjs-of-ocaml. Preparing to unpack .../048-libjs-of-ocaml_5.8.2-2+b5_amd64.deb ... Unpacking libjs-of-ocaml (5.8.2-2+b5) ... Selecting previously unselected package liblogs-ocaml. Preparing to unpack .../049-liblogs-ocaml_0.7.0-3+b14_amd64.deb ... Unpacking liblogs-ocaml (0.7.0-3+b14) ... Selecting previously unselected package librresult-ocaml. Preparing to unpack .../050-librresult-ocaml_0.7.0-2+b2_amd64.deb ... Unpacking librresult-ocaml (0.7.0-2+b2) ... Selecting previously unselected package libbos-ocaml. Preparing to unpack .../051-libbos-ocaml_0.2.1-2+b14_amd64.deb ... Unpacking libbos-ocaml (0.2.1-2+b14) ... Selecting previously unselected package libcmdliner-ocaml-dev. Preparing to unpack .../052-libcmdliner-ocaml-dev_1.3.0-2+b1_amd64.deb ... Unpacking libcmdliner-ocaml-dev (1.3.0-2+b1) ... Selecting previously unselected package libfmt-ocaml-dev. Preparing to unpack .../053-libfmt-ocaml-dev_0.9.0-3+b3_amd64.deb ... Unpacking libfmt-ocaml-dev (0.9.0-3+b3) ... Selecting previously unselected package libfpath-ocaml-dev. Preparing to unpack .../054-libfpath-ocaml-dev_0.7.3-3+b2_amd64.deb ... Unpacking libfpath-ocaml-dev (0.7.3-3+b2) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../055-libfindlib-ocaml-dev_1.9.6-3_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-3) ... Selecting previously unselected package libgen-ocaml-dev. Preparing to unpack .../056-libgen-ocaml-dev_1.1-1+b2_amd64.deb ... Unpacking libgen-ocaml-dev (1.1-1+b2) ... Selecting previously unselected package libgraphics-ocaml-dev. Preparing to unpack .../057-libgraphics-ocaml-dev_5.1.2-3+b2_amd64.deb ... Unpacking libgraphics-ocaml-dev (5.1.2-3+b2) ... Selecting previously unselected package libev-dev:amd64. Preparing to unpack .../058-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 .../059-libocaml-compiler-libs-ocaml-dev_0.17.0-1_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1) ... Selecting previously unselected package libocplib-endian-ocaml-dev. Preparing to unpack .../060-libocplib-endian-ocaml-dev_1.2-4+b1_amd64.deb ... Unpacking libocplib-endian-ocaml-dev (1.2-4+b1) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../061-libppx-derivers-ocaml-dev_1.2.1-4+b2_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b2) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../062-libsexplib0-ocaml-dev_0.17.0-1_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.17.0-1) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../063-libppxlib-ocaml-dev_0.33.0-2_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.33.0-2) ... Selecting previously unselected package libreact-ocaml-dev. Preparing to unpack .../064-libreact-ocaml-dev_1.2.2-1+b2_amd64.deb ... Unpacking libreact-ocaml-dev (1.2.2-1+b2) ... Selecting previously unselected package liblwt-ocaml-dev. Preparing to unpack .../065-liblwt-ocaml-dev_5.7.0-1+b8_amd64.deb ... Unpacking liblwt-ocaml-dev (5.7.0-1+b8) ... Selecting previously unselected package liblwt-log-ocaml-dev. Preparing to unpack .../066-liblwt-log-ocaml-dev_1.1.2-4+b8_amd64.deb ... Unpacking liblwt-log-ocaml-dev (1.1.2-4+b8) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../067-libmenhir-ocaml-dev_20240715+ds-1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20240715+ds-1) ... Selecting previously unselected package libreactivedata-ocaml-dev. Preparing to unpack .../068-libreactivedata-ocaml-dev_0.3-4+b2_amd64.deb ... Unpacking libreactivedata-ocaml-dev (0.3-4+b2) ... Selecting previously unselected package libsedlex-ocaml-dev. Preparing to unpack .../069-libsedlex-ocaml-dev_3.2-1+b6_amd64.deb ... Unpacking libsedlex-ocaml-dev (3.2-1+b6) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../070-libre-ocaml-dev_1.12.0+really1.11.0-1_amd64.deb ... Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1) ... Selecting previously unselected package libuutf-ocaml-dev. Preparing to unpack .../071-libuutf-ocaml-dev_1.0.3-1+b3_amd64.deb ... Unpacking libuutf-ocaml-dev (1.0.3-1+b3) ... Selecting previously unselected package libtyxml-ocaml-dev. Preparing to unpack .../072-libtyxml-ocaml-dev_4.6.0-1+b3_amd64.deb ... Unpacking libtyxml-ocaml-dev (4.6.0-1+b3) ... Selecting previously unselected package libyojson-ocaml-dev. Preparing to unpack .../073-libyojson-ocaml-dev_2.2.2-1_amd64.deb ... Unpacking libyojson-ocaml-dev (2.2.2-1) ... Selecting previously unselected package libjs-of-ocaml-dev. Preparing to unpack .../074-libjs-of-ocaml-dev_5.8.2-2+b5_amd64.deb ... Unpacking libjs-of-ocaml-dev (5.8.2-2+b5) ... Selecting previously unselected package liblogs-ocaml-dev. Preparing to unpack .../075-liblogs-ocaml-dev_0.7.0-3+b14_amd64.deb ... Unpacking liblogs-ocaml-dev (0.7.0-3+b14) ... Selecting previously unselected package librresult-ocaml-dev. Preparing to unpack .../076-librresult-ocaml-dev_0.7.0-2+b2_amd64.deb ... Unpacking librresult-ocaml-dev (0.7.0-2+b2) ... Selecting previously unselected package libbos-ocaml-dev. Preparing to unpack .../077-libbos-ocaml-dev_0.2.1-2+b14_amd64.deb ... Unpacking libbos-ocaml-dev (0.2.1-2+b14) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../078-libcamlp-streams-ocaml_5.0.1-3+b2_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-3+b2) ... Selecting previously unselected package libcamlp-streams-ocaml-dev. Preparing to unpack .../079-libcamlp-streams-ocaml-dev_5.0.1-3+b2_amd64.deb ... Unpacking libcamlp-streams-ocaml-dev (5.0.1-3+b2) ... Selecting previously unselected package camlp5. Preparing to unpack .../080-camlp5_8.03.00-1+b5_amd64.deb ... Unpacking camlp5 (8.03.00-1+b5) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../081-libdebhelper-perl_13.20_all.deb ... Unpacking libdebhelper-perl (13.20) ... Selecting previously unselected package libtool. Preparing to unpack .../082-libtool_2.4.7-8_all.deb ... Unpacking libtool (2.4.7-8) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../083-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../084-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 .../085-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 .../086-dh-strip-nondeterminism_1.14.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.14.0-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../087-libelf1t64_0.192-4_amd64.deb ... Unpacking libelf1t64:amd64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../088-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../089-libicu72_72.1-5+b1_amd64.deb ... Unpacking libicu72:amd64 (72.1-5+b1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../090-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../091-gettext_0.22.5-3_amd64.deb ... Unpacking gettext (0.22.5-3) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../092-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 .../093-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../094-debhelper_13.20_all.deb ... Unpacking debhelper (13.20) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../095-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../096-dh-ocaml_2.4_all.deb ... Unpacking dh-ocaml (2.4) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../097-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../098-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../099-libgmp3-dev_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../100-libnum-ocaml_1.5-1+b1_amd64.deb ... Unpacking libnum-ocaml (1.5-1+b1) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../101-libnum-ocaml-dev_1.5-1+b1_amd64.deb ... Unpacking libnum-ocaml-dev (1.5-1+b1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../102-libzarith-ocaml_1.14-1_amd64.deb ... Unpacking libzarith-ocaml (1.14-1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../103-libzarith-ocaml-dev_1.14-1_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../104-ocaml-findlib_1.9.6-3_amd64.deb ... Unpacking ocaml-findlib (1.9.6-3) ... 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 libicu72:amd64 (72.1-5+b1) ... Setting up libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ... Setting up bsdextrautils (2.40.2-12) ... Setting up libmagic-mgc (1:5.45-3+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.20) ... Setting up libmagic1t64:amd64 (1:5.45-3+b1) ... Setting up gettext-base (0.22.5-3) ... Setting up m4 (1.4.19-4) ... Setting up file (1:5.45-3+b1) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libelf1t64:amd64 (0.192-4) ... Setting up autotools-dev (20220109.1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Setting up libx11-data (2:1.8.10-2) ... Setting up libncurses6:amd64 (6.5-2+b1) ... Setting up libstdlib-ocaml (5.2.0-3) ... Setting up autopoint (0.22.5-3) ... Setting up ocaml-base (5.2.0-3) ... Setting up autoconf (2.72-3) ... Setting up libnum-ocaml (1.5-1+b1) ... Setting up libsexplib0-ocaml (0.17.0-1) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:amd64 (0.0.8-1+b2) ... Setting up libfmt-ocaml (0.9.0-3+b3) ... Setting up libx11-6:amd64 (2:1.8.10-2) ... Setting up libreact-ocaml (1.2.2-1+b2) ... Setting up libev-dev:amd64 (1:4.33-2.1+b1) ... Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.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 libastring-ocaml (0.8.5-2+b2) ... Setting up libncurses-dev:amd64 (6.5-2+b1) ... Setting up gettext (0.22.5-3) ... Setting up libgen-ocaml (1.1-1+b2) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Setting up libtool (2.4.7-8) ... Setting up libstdlib-ocaml-dev (5.2.0-3) ... Setting up libyojson-ocaml (2.2.2-1) ... Setting up libcamlp-streams-ocaml (5.0.1-3+b2) ... Setting up libfpath-ocaml (0.7.3-3+b2) ... Setting up librresult-ocaml (0.7.0-2+b2) ... Setting up libuutf-ocaml (1.0.3-1+b3) ... Setting up dh-ocaml (2.4) ... Setting up libfindlib-ocaml (1.9.6-3) ... Setting up libzarith-ocaml (1.14-1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libocplib-endian-ocaml (1.2-4+b1) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... Setting up libsedlex-ocaml (3.2-1+b6) ... Setting up libreactivedata-ocaml (0.3-4+b2) ... Setting up ocaml-interp (5.2.0-3) ... Setting up ocaml-findlib (1.9.6-3) ... Setting up libgraphics-ocaml (5.1.2-3+b2) ... Setting up dh-strip-nondeterminism (1.14.0-1) ... Setting up libtyxml-ocaml (4.6.0-1+b3) ... Setting up groff-base (1.23.0-6) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-3) ... Setting up ocaml-compiler-libs (5.2.0-3) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up liblwt-ocaml (5.7.0-1+b8) ... Setting up ocaml (5.2.0-3) ... Setting up libgen-ocaml-dev (1.1-1+b2) ... Setting up man-db (2.13.0-1) ... Not building database; man-db/auto-update is not 'true'. Setting up liblwt-log-ocaml (1.1.2-4+b8) ... Setting up libre-ocaml-dev (1.12.0+really1.11.0-1) ... Setting up libmenhir-ocaml-dev (20240715+ds-1) ... Setting up libreact-ocaml-dev (1.2.2-1+b2) ... Setting up librresult-ocaml-dev (0.7.0-2+b2) ... Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1) ... Setting up libyojson-ocaml-dev (2.2.2-1) ... Setting up libcamlp-streams-ocaml-dev (5.0.1-3+b2) ... Setting up libfindlib-ocaml-dev (1.9.6-3) ... Setting up libsexplib0-ocaml-dev (0.17.0-1) ... Setting up libzarith-ocaml-dev (1.14-1) ... Setting up libcmdliner-ocaml-dev (1.3.0-2+b1) ... Setting up libocplib-endian-ocaml-dev (1.2-4+b1) ... Setting up libjs-of-ocaml (5.8.2-2+b5) ... Setting up libastring-ocaml-dev (0.8.5-2+b2) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+b2) ... Setting up libnum-ocaml-dev (1.5-1+b1) ... Setting up libreactivedata-ocaml-dev (0.3-4+b2) ... Setting up libgraphics-ocaml-dev (5.1.2-3+b2) ... Setting up libuutf-ocaml-dev (1.0.3-1+b3) ... Setting up libppxlib-ocaml-dev (0.33.0-2) ... Setting up debhelper (13.20) ... Setting up liblogs-ocaml (0.7.0-3+b14) ... Setting up libfmt-ocaml-dev (0.9.0-3+b3) ... Setting up libtyxml-ocaml-dev (4.6.0-1+b3) ... Setting up libfpath-ocaml-dev (0.7.3-3+b2) ... Setting up libsedlex-ocaml-dev (3.2-1+b6) ... Setting up liblwt-ocaml-dev (5.7.0-1+b8) ... Setting up libbos-ocaml (0.2.1-2+b14) ... Setting up liblwt-log-ocaml-dev (1.1.2-4+b8) ... Setting up libjs-of-ocaml-dev (5.8.2-2+b5) ... Setting up liblogs-ocaml-dev (0.7.0-3+b14) ... Setting up libbos-ocaml-dev (0.2.1-2+b14) ... Setting up camlp5 (8.03.00-1+b5) ... Processing triggers for libc-bin (2.40-4) ... 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/2687673 and its subdirectories I: Current time: Sun Jan 18 06:27:36 -12 2026 I: pbuilder-time-stamp: 1768760856 Mon Dec 16 12:04:39 UTC 2024 I: 1st build successful. Starting 2nd build on remote node ionos1-amd64.debian.net. Mon Dec 16 12:04:39 UTC 2024 I: Preparing to do remote build '2' on ionos1-amd64.debian.net. Mon Dec 16 12:12:06 UTC 2024 I: Deleting $TMPDIR on ionos1-amd64.debian.net. Mon Dec 16 12:12:06 UTC 2024 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: d01e6abda75055da25ebe8a320f383af86aef430 7305 hol-light_3.0.0-2_amd64.buildinfo e83c80065b2d084a2a393a272bbcb5ea3faa34dc 5986176 hol-light_3.0.0-2_amd64.deb Checksums-Sha256: 3f47b7b9bbabe92a060023c831e3e79737c37543f507e337e25e3a1ce0c17382 7305 hol-light_3.0.0-2_amd64.buildinfo bb378e0491983ed80579e115bccf03a39cfcc1534f9170816da4f3aa53162def 5986176 hol-light_3.0.0-2_amd64.deb Files: 7962e3c1627855c45830dfc5f97641ed 7305 math optional hol-light_3.0.0-2_amd64.buildinfo 1a1e3398dc6a41cdcb248d7b1a45b3b1 5986176 math optional hol-light_3.0.0-2_amd64.deb Mon Dec 16 12:12:07 UTC 2024 I: diffoscope 284 will be used to compare the two builds: Running as unit: rb-diffoscope-amd64_12-40980.service # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.Cl9j6Tia/hol-light_3.0.0-2.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.Cl9j6Tia/hol-light_3.0.0-2.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.Cl9j6Tia/hol-light_3.0.0-2.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.Cl9j6Tia/b1/hol-light_3.0.0-2_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.Cl9j6Tia/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 abc.DotChangesFile ## main (total time: 0.408s) 0.408s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.068s) 0.068s 12 calls diffoscope.comparators.binary.FilesystemFile ## specialize (total time: 0.000s) 0.000s 1 call specialize Finished with result: success Main processes terminated with: code=exited/status=0 Service runtime: 748ms CPU time consumed: 737ms Mon Dec 16 12:12:08 UTC 2024 I: diffoscope 284 found no differences in the changes files, and a .buildinfo file also exists. Mon Dec 16 12:12:08 UTC 2024 I: hol-light from unstable built successfully and reproducibly on amd64. Mon Dec 16 12:12:09 UTC 2024 I: Submitting .buildinfo files to external archives: Mon Dec 16 12:12:09 UTC 2024 I: Submitting 8.0K b1/hol-light_3.0.0-2_amd64.buildinfo.asc Mon Dec 16 12:12:11 UTC 2024 I: Submitting 8.0K b2/hol-light_3.0.0-2_amd64.buildinfo.asc Mon Dec 16 12:12:11 UTC 2024 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Mon Dec 16 12:12:11 UTC 2024 I: Done submitting .buildinfo files. Mon Dec 16 12:12:11 UTC 2024 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'