Fri Aug 23 00:33:35 UTC 2024 I: starting to build hol-light/unstable/amd64 on jenkins on '2024-08-23 00:33' Fri Aug 23 00:33:35 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_14/16802/console.log Fri Aug 23 00:33:35 UTC 2024 I: Downloading source for unstable/hol-light=20231021-2 --2024-08-23 00:33:36-- http://deb.debian.org/debian/pool/main/h/hol-light/hol-light_20231021-2.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 1833 (1.8K) [text/prs.lines.tag] Saving to: ‘hol-light_20231021-2.dsc’ 0K . 100% 248M=0s 2024-08-23 00:33:36 (248 MB/s) - ‘hol-light_20231021-2.dsc’ saved [1833/1833] Fri Aug 23 00:33:36 UTC 2024 I: hol-light_20231021-2.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: hol-light Binary: hol-light Architecture: any Version: 20231021-2 Maintainer: Debian OCaml Maintainers Uploaders: Hendrik Tews Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/ Standards-Version: 4.6.2 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 Package-List: hol-light deb math optional arch=any Checksums-Sha1: d4005d75d8028503f8c06f84fa71762ab092f8f4 5043576 hol-light_20231021.orig.tar.xz 57de56d51207d74c0c0cca31c2cb08b511f833f0 33032 hol-light_20231021-2.debian.tar.xz Checksums-Sha256: b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c 5043576 hol-light_20231021.orig.tar.xz 24c31a2ce03216db6e257dd286e531d3a322ef86fe8eef250d3229e0043e12bc 33032 hol-light_20231021-2.debian.tar.xz Files: c469439d4b3e430d4142d4baa03cc59a 5043576 hol-light_20231021.orig.tar.xz 62f5088477edba9f64c34e4d20dfa69a 33032 hol-light_20231021-2.debian.tar.xz Dgit: 3b61f1ee470f90545c6f867bcbbfdefc41bd7860 debian archive/debian/20231021-2 https://git.dgit.debian.org/hol-light -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmaBGGkSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBlfEH/1x9Jxo+HWldQeiDou9b0lTWm5roqSYd FpDNFfKGAIwqbwfQEMlqlBh3gCSUtY8Nha31/54MsgJ3Qk8GblevnC5jS99/6MkS 5lw0bSUyIQ24DzanlseobECB8Cu/eV6u1k2SLvxbOks5qppPkjuuuEg3xKLTQOy7 95BcunserNqpqnOsT2RPobjCQLApYqdwF+GYTTseIFZUMFIo0fgVjKmnyrgsFiba mOFRNZLT8QIY0iTRW2cXXqss1NNQMuqVxOPy6DRf4vbFKNjuiqZx9XFzeMfbMQvA uoK8UQ0ljpTlqTaELSJmu/2F+RGT/pRWGnWz8OlZgvv+Hpy7G59iPUw= =n9kF -----END PGP SIGNATURE----- Fri Aug 23 00:33:36 UTC 2024 I: Checking whether the package is not for us Fri Aug 23 00:33:36 UTC 2024 I: Starting 1st build on remote node ionos5-amd64.debian.net. Fri Aug 23 00:33:36 UTC 2024 I: Preparing to do remote build '1' on ionos5-amd64.debian.net. Fri Aug 23 00:35:19 UTC 2024 I: Deleting $TMPDIR on ionos5-amd64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Wed Sep 24 18:56:39 -12 2025 I: pbuilder-time-stamp: 1758783399 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_20231021-2.dsc] I: copying [./hol-light_20231021.orig.tar.xz] I: copying [./hol-light_20231021-2.debian.tar.xz] I: Extracting source gpgv: Signature made Sun Jun 30 08:33:45 2024 gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 gpgv: issuer "glondu@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./hol-light_20231021-2.dsc: no acceptable signature found dpkg-source: info: extracting hol-light in hol-light-20231021 dpkg-source: info: unpacking hol-light_20231021.orig.tar.xz dpkg-source: info: unpacking hol-light_20231021-2.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying default-hollight-dir dpkg-source: info: applying holtest-no-proof-recording.patch dpkg-source: info: applying cd-holtest-parallel.patch dpkg-source: info: applying 0004-Fix-build-with-camlp5-8.03.00.patch I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/3822898/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='0a1ff24af81c44a2a71a299eba3098ab' 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='3822898' 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.L38jHv4v/pbuilderrc_gwE0 --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.L38jHv4v/b1 --logfile b1/build.log hol-light_20231021-2.dsc' SUDO_GID='110' SUDO_UID='105' 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 ionos5-amd64 6.9.7+bpo-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.9.7-1~bpo12+1 (2024-07-03) x86_64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Aug 4 2024 /bin -> usr/bin I: user script /srv/workspace/pbuilder/3822898/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 dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19730 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. 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} 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, 30 newly installed, 0 to remove and 0 not upgraded. Need to get 19.8 MB of archives. After unpacking 75.5 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 The following actions will resolve these dependencies: Install the following packages: 1) camlp5 [8.03.00-1+b2 (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+b11 (unstable)] 5) libbos-ocaml-dev [0.2.1-2+b11 (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-2 (unstable)] 10) libev-dev [1:4.33-2.1 (unstable)] 11) libev4t64 [1:4.33-2.1 (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) libgraphics-ocaml [5.1.2-3+b2 (unstable)] 21) libgraphics-ocaml-dev [5.1.2-3+b2 (unstable)] 22) libjs-of-ocaml [5.8.2-2+b2 (unstable)] 23) libjs-of-ocaml-dev [5.8.2-2+b2 (unstable)] 24) liblogs-ocaml [0.7.0-3+b11 (unstable)] 25) liblogs-ocaml-dev [0.7.0-3+b11 (unstable)] 26) liblwt-log-ocaml [1.1.2-4+b7 (unstable)] 27) liblwt-log-ocaml-dev [1.1.2-4+b7 (unstable)] 28) liblwt-ocaml [5.7.0-1+b7 (unstable)] 29) liblwt-ocaml-dev [5.7.0-1+b7 (unstable)] 30) libmenhir-ocaml-dev [20240715+ds-1 (unstable)] 31) libncurses-dev [6.5-2 (unstable)] 32) libncurses6 [6.5-2 (unstable)] 33) libnum-ocaml [1.5-1+b1 (unstable)] 34) libnum-ocaml-dev [1.5-1+b1 (unstable)] 35) libocaml-compiler-libs-ocaml-dev [0.17.0-1 (unstable)] 36) libocplib-endian-ocaml [1.2-4+b1 (unstable)] 37) libocplib-endian-ocaml-dev [1.2-4+b1 (unstable)] 38) libppx-derivers-ocaml-dev [1.2.1-4+b2 (unstable)] 39) libppxlib-ocaml-dev [0.33.0-1 (unstable)] 40) libre-ocaml-dev [1.11.0-1+b2 (unstable)] 41) libreact-ocaml [1.2.2-1+b2 (unstable)] 42) libreact-ocaml-dev [1.2.2-1+b2 (unstable)] 43) libreactivedata-ocaml [0.3-4+b2 (unstable)] 44) libreactivedata-ocaml-dev [0.3-4+b2 (unstable)] 45) librresult-ocaml [0.7.0-2+b2 (unstable)] 46) librresult-ocaml-dev [0.7.0-2+b2 (unstable)] 47) libsedlex-ocaml [3.2-1+b5 (unstable)] 48) libsedlex-ocaml-dev [3.2-1+b5 (unstable)] 49) libsexplib0-ocaml [0.16.0-3+b2 (unstable)] 50) libsexplib0-ocaml-dev [0.16.0-3+b2 (unstable)] 51) libstdlib-ocaml [5.2.0-2 (unstable)] 52) libstdlib-ocaml-dev [5.2.0-2 (unstable)] 53) libtyxml-ocaml [4.6.0-1+b1 (unstable)] 54) libtyxml-ocaml-dev [4.6.0-1+b1 (unstable)] 55) libuutf-ocaml [1.0.3-1+b3 (unstable)] 56) libuutf-ocaml-dev [1.0.3-1+b3 (unstable)] 57) libx11-6 [2:1.8.7-1+b1 (unstable)] 58) libx11-data [2:1.8.7-1 (unstable)] 59) libxau6 [1:1.0.9-1+b1 (unstable)] 60) libxcb1 [1.17.0-2 (unstable)] 61) libxdmcp6 [1:1.1.2-3+b1 (unstable)] 62) libyojson-ocaml [2.2.1-2+b1 (unstable)] 63) libyojson-ocaml-dev [2.2.1-2+b1 (unstable)] 64) libzstd-dev [1.5.6+dfsg-1 (unstable)] 65) ocaml [5.2.0-2 (unstable)] 66) ocaml-base [5.2.0-2 (unstable)] 67) ocaml-compiler-libs [5.2.0-2 (unstable)] 68) ocaml-findlib [1.9.6-3 (unstable)] 69) ocaml-interp [5.2.0-2 (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} 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} 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} 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, 99 newly installed, 0 to remove and 0 not upgraded. Need to get 199 MB of archives. After unpacking 612 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 [314 kB] Get: 3 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3 [105 kB] Get: 4 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3 [42.9 kB] Get: 5 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.22.5-2 [200 kB] Get: 6 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b1 [68.8 kB] Get: 7 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-5 [1181 kB] Get: 8 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.40.2-7 [96.8 kB] Get: 9 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.7-2 [38.0 kB] Get: 10 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.12.1-3 [1414 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-2 [723 kB] Get: 16 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml amd64 5.2.0-2 [582 kB] Get: 17 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml-dev amd64 5.2.0-2 [11.0 MB] Get: 18 http://deb.debian.org/debian unstable/main amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-2 [47.4 MB] Get: 19 http://deb.debian.org/debian unstable/main amd64 ocaml-compiler-libs all 5.2.0-2 [201 kB] Get: 20 http://deb.debian.org/debian unstable/main amd64 ocaml-base amd64 5.2.0-2 [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-2 [6852 kB] Get: 23 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.5-2 [104 kB] Get: 24 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64 6.5-2 [349 kB] Get: 25 http://deb.debian.org/debian unstable/main amd64 libzstd-dev amd64 1.5.6+dfsg-1 [368 kB] Get: 26 http://deb.debian.org/debian unstable/main amd64 ocaml amd64 5.2.0-2 [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.9-1+b1 [18.1 kB] Get: 33 http://deb.debian.org/debian unstable/main amd64 libxdmcp6 amd64 1:1.1.2-3+b1 [24.3 kB] Get: 34 http://deb.debian.org/debian unstable/main amd64 libxcb1 amd64 1.17.0-2 [144 kB] Get: 35 http://deb.debian.org/debian unstable/main amd64 libx11-data all 2:1.8.7-1 [328 kB] Get: 36 http://deb.debian.org/debian unstable/main amd64 libx11-6 amd64 2:1.8.7-1+b1 [799 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.16.0-3+b2 [122 kB] Get: 41 http://deb.debian.org/debian unstable/main amd64 libev4t64 amd64 1:4.33-2.1 [42.2 kB] Get: 42 http://deb.debian.org/debian unstable/main amd64 liblwt-ocaml amd64 5.7.0-1+b7 [974 kB] Get: 43 http://deb.debian.org/debian unstable/main amd64 liblwt-log-ocaml amd64 1.1.2-4+b7 [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+b5 [262 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+b1 [507 kB] Get: 48 http://deb.debian.org/debian unstable/main amd64 libyojson-ocaml amd64 2.2.1-2+b1 [523 kB] Get: 49 http://deb.debian.org/debian unstable/main amd64 libjs-of-ocaml amd64 5.8.2-2+b2 [6563 kB] Get: 50 http://deb.debian.org/debian unstable/main amd64 liblogs-ocaml amd64 0.7.0-3+b11 [85.7 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+b11 [315 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 [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.16.0-3+b2 [342 kB] Get: 64 http://deb.debian.org/debian unstable/main amd64 libppxlib-ocaml-dev amd64 0.33.0-1 [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+b7 [6575 kB] Get: 67 http://deb.debian.org/debian unstable/main amd64 liblwt-log-ocaml-dev amd64 1.1.2-4+b7 [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+b5 [4673 kB] Get: 71 http://deb.debian.org/debian unstable/main amd64 libre-ocaml-dev amd64 1.11.0-1+b2 [1291 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+b1 [2698 kB] Get: 74 http://deb.debian.org/debian unstable/main amd64 libyojson-ocaml-dev amd64 2.2.1-2+b1 [1539 kB] Get: 75 http://deb.debian.org/debian unstable/main amd64 libjs-of-ocaml-dev amd64 5.8.2-2+b2 [26.6 MB] Get: 76 http://deb.debian.org/debian unstable/main amd64 liblogs-ocaml-dev amd64 0.7.0-3+b11 [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+b11 [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+b2 [7665 kB] Get: 82 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.19 [89.7 kB] Get: 83 http://deb.debian.org/debian unstable/main amd64 libtool all 2.4.7-7 [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.191-2 [188 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 [9396 kB] Get: 91 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg-3+b1 [671 kB] Get: 92 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.22.5-2 [1601 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.19 [916 kB] Get: 96 http://deb.debian.org/debian unstable/main amd64 dh-ocaml all 2.2 [69.5 kB] Get: 97 http://deb.debian.org/debian unstable/main amd64 libnum-ocaml amd64 1.5-1+b1 [181 kB] Get: 98 http://deb.debian.org/debian unstable/main amd64 libnum-ocaml-dev amd64 1.5-1+b1 [146 kB] Get: 99 http://deb.debian.org/debian unstable/main amd64 ocaml-findlib amd64 1.9.6-3 [569 kB] Fetched 199 MB in 9s (22.0 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 ... 19730 files and directories currently installed.) Preparing to unpack .../00-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../01-libmagic-mgc_1%3a5.45-3_amd64.deb ... Unpacking libmagic-mgc (1:5.45-3) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../02-libmagic1t64_1%3a5.45-3_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.45-3) ... Selecting previously unselected package file. Preparing to unpack .../03-file_1%3a5.45-3_amd64.deb ... Unpacking file (1:5.45-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../04-gettext-base_0.22.5-2_amd64.deb ... Unpacking gettext-base (0.22.5-2) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../05-libuchardet0_0.0.8-1+b1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../06-groff-base_1.23.0-5_amd64.deb ... Unpacking groff-base (1.23.0-5) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../07-bsdextrautils_2.40.2-7_amd64.deb ... Unpacking bsdextrautils (2.40.2-7) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../08-libpipeline1_1.5.7-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.7-2) ... Selecting previously unselected package man-db. Preparing to unpack .../09-man-db_2.12.1-3_amd64.deb ... Unpacking man-db (2.12.1-3) ... Selecting previously unselected package m4. Preparing to unpack .../10-m4_1.4.19-4_amd64.deb ... Unpacking m4 (1.4.19-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../11-autoconf_2.72-3_all.deb ... Unpacking autoconf (2.72-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../12-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../13-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 .../14-autopoint_0.22.5-2_all.deb ... Unpacking autopoint (0.22.5-2) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../15-libstdlib-ocaml_5.2.0-2_amd64.deb ... Unpacking libstdlib-ocaml (5.2.0-2) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../16-libstdlib-ocaml-dev_5.2.0-2_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.2.0-2) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../17-libcompiler-libs-ocaml-dev_5.2.0-2_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.2.0-2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../18-ocaml-compiler-libs_5.2.0-2_all.deb ... Unpacking ocaml-compiler-libs (5.2.0-2) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../19-ocaml-base_5.2.0-2_amd64.deb ... Unpacking ocaml-base (5.2.0-2) ... Selecting previously unselected package libastring-ocaml. Preparing to unpack .../20-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 .../21-ocaml-interp_5.2.0-2_amd64.deb ... Unpacking ocaml-interp (5.2.0-2) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../22-libncurses6_6.5-2_amd64.deb ... Unpacking libncurses6:amd64 (6.5-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../23-libncurses-dev_6.5-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5-2) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../24-libzstd-dev_1.5.6+dfsg-1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.6+dfsg-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../25-ocaml_5.2.0-2_amd64.deb ... Unpacking ocaml (5.2.0-2) ... Selecting previously unselected package libastring-ocaml-dev. Preparing to unpack .../26-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 .../27-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 .../28-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 .../29-libfindlib-ocaml_1.9.6-3_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-3) ... Selecting previously unselected package libgen-ocaml. Preparing to unpack .../30-libgen-ocaml_1.1-1+b2_amd64.deb ... Unpacking libgen-ocaml (1.1-1+b2) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../31-libxau6_1%3a1.0.9-1+b1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1+b1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../32-libxdmcp6_1%3a1.1.2-3+b1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3+b1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../33-libxcb1_1.17.0-2_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../34-libx11-data_2%3a1.8.7-1_all.deb ... Unpacking libx11-data (2:1.8.7-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../35-libx11-6_2%3a1.8.7-1+b1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.7-1+b1) ... Selecting previously unselected package libgraphics-ocaml. Preparing to unpack .../36-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 .../37-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 .../38-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 .../39-libsexplib0-ocaml_0.16.0-3+b2_amd64.deb ... Unpacking libsexplib0-ocaml (0.16.0-3+b2) ... Selecting previously unselected package libev4t64:amd64. Preparing to unpack .../40-libev4t64_1%3a4.33-2.1_amd64.deb ... Unpacking libev4t64:amd64 (1:4.33-2.1) ... Selecting previously unselected package liblwt-ocaml. Preparing to unpack .../41-liblwt-ocaml_5.7.0-1+b7_amd64.deb ... Unpacking liblwt-ocaml (5.7.0-1+b7) ... Selecting previously unselected package liblwt-log-ocaml. Preparing to unpack .../42-liblwt-log-ocaml_1.1.2-4+b7_amd64.deb ... Unpacking liblwt-log-ocaml (1.1.2-4+b7) ... Selecting previously unselected package libreactivedata-ocaml. Preparing to unpack .../43-libreactivedata-ocaml_0.3-4+b2_amd64.deb ... Unpacking libreactivedata-ocaml (0.3-4+b2) ... Selecting previously unselected package libsedlex-ocaml. Preparing to unpack .../44-libsedlex-ocaml_3.2-1+b5_amd64.deb ... Unpacking libsedlex-ocaml (3.2-1+b5) ... Selecting previously unselected package libuutf-ocaml. Preparing to unpack .../45-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 .../46-libtyxml-ocaml_4.6.0-1+b1_amd64.deb ... Unpacking libtyxml-ocaml (4.6.0-1+b1) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../47-libyojson-ocaml_2.2.1-2+b1_amd64.deb ... Unpacking libyojson-ocaml (2.2.1-2+b1) ... Selecting previously unselected package libjs-of-ocaml. Preparing to unpack .../48-libjs-of-ocaml_5.8.2-2+b2_amd64.deb ... Unpacking libjs-of-ocaml (5.8.2-2+b2) ... Selecting previously unselected package liblogs-ocaml. Preparing to unpack .../49-liblogs-ocaml_0.7.0-3+b11_amd64.deb ... Unpacking liblogs-ocaml (0.7.0-3+b11) ... Selecting previously unselected package librresult-ocaml. Preparing to unpack .../50-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 .../51-libbos-ocaml_0.2.1-2+b11_amd64.deb ... Unpacking libbos-ocaml (0.2.1-2+b11) ... Selecting previously unselected package libcmdliner-ocaml-dev. Preparing to unpack .../52-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 .../53-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 .../54-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 .../55-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 .../56-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 .../57-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 .../58-libev-dev_1%3a4.33-2.1_amd64.deb ... Unpacking libev-dev:amd64 (1:4.33-2.1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../59-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 .../60-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 .../61-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 .../62-libsexplib0-ocaml-dev_0.16.0-3+b2_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.16.0-3+b2) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../63-libppxlib-ocaml-dev_0.33.0-1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.33.0-1) ... Selecting previously unselected package libreact-ocaml-dev. Preparing to unpack .../64-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 .../65-liblwt-ocaml-dev_5.7.0-1+b7_amd64.deb ... Unpacking liblwt-ocaml-dev (5.7.0-1+b7) ... Selecting previously unselected package liblwt-log-ocaml-dev. Preparing to unpack .../66-liblwt-log-ocaml-dev_1.1.2-4+b7_amd64.deb ... Unpacking liblwt-log-ocaml-dev (1.1.2-4+b7) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../67-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 .../68-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 .../69-libsedlex-ocaml-dev_3.2-1+b5_amd64.deb ... Unpacking libsedlex-ocaml-dev (3.2-1+b5) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../70-libre-ocaml-dev_1.11.0-1+b2_amd64.deb ... Unpacking libre-ocaml-dev (1.11.0-1+b2) ... Selecting previously unselected package libuutf-ocaml-dev. Preparing to unpack .../71-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 .../72-libtyxml-ocaml-dev_4.6.0-1+b1_amd64.deb ... Unpacking libtyxml-ocaml-dev (4.6.0-1+b1) ... Selecting previously unselected package libyojson-ocaml-dev. Preparing to unpack .../73-libyojson-ocaml-dev_2.2.1-2+b1_amd64.deb ... Unpacking libyojson-ocaml-dev (2.2.1-2+b1) ... Selecting previously unselected package libjs-of-ocaml-dev. Preparing to unpack .../74-libjs-of-ocaml-dev_5.8.2-2+b2_amd64.deb ... Unpacking libjs-of-ocaml-dev (5.8.2-2+b2) ... Selecting previously unselected package liblogs-ocaml-dev. Preparing to unpack .../75-liblogs-ocaml-dev_0.7.0-3+b11_amd64.deb ... Unpacking liblogs-ocaml-dev (0.7.0-3+b11) ... Selecting previously unselected package librresult-ocaml-dev. Preparing to unpack .../76-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 .../77-libbos-ocaml-dev_0.2.1-2+b11_amd64.deb ... Unpacking libbos-ocaml-dev (0.2.1-2+b11) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../78-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 .../79-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 .../80-camlp5_8.03.00-1+b2_amd64.deb ... Unpacking camlp5 (8.03.00-1+b2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../81-libdebhelper-perl_13.19_all.deb ... Unpacking libdebhelper-perl (13.19) ... Selecting previously unselected package libtool. Preparing to unpack .../82-libtool_2.4.7-7_all.deb ... Unpacking libtool (2.4.7-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../83-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../84-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 .../85-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 .../86-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 .../87-libelf1t64_0.191-2_amd64.deb ... Unpacking libelf1t64:amd64 (0.191-2) ... Selecting previously unselected package dwz. Preparing to unpack .../88-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../89-libicu72_72.1-5_amd64.deb ... Unpacking libicu72:amd64 (72.1-5) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../90-libxml2_2.12.7+dfsg-3+b1_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg-3+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../91-gettext_0.22.5-2_amd64.deb ... Unpacking gettext (0.22.5-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../92-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 .../93-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../94-debhelper_13.19_all.deb ... Unpacking debhelper (13.19) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../95-dh-ocaml_2.2_all.deb ... Unpacking dh-ocaml (2.2) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../96-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 .../97-libnum-ocaml-dev_1.5-1+b1_amd64.deb ... Unpacking libnum-ocaml-dev (1.5-1+b1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../98-ocaml-findlib_1.9.6-3_amd64.deb ... Unpacking ocaml-findlib (1.9.6-3) ... Setting up libpipeline1:amd64 (1.5.7-2) ... Setting up libev4t64:amd64 (1:4.33-2.1) ... Setting up libxau6:amd64 (1:1.0.9-1+b1) ... Setting up libxdmcp6:amd64 (1:1.1.2-3+b1) ... Setting up libxcb1:amd64 (1.17.0-2) ... Setting up libicu72:amd64 (72.1-5) ... Setting up libzstd-dev:amd64 (1.5.6+dfsg-1) ... Setting up bsdextrautils (2.40.2-7) ... Setting up libmagic-mgc (1:5.45-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.19) ... Setting up libmagic1t64:amd64 (1:5.45-3) ... Setting up dh-ocaml (2.2) ... Setting up gettext-base (0.22.5-2) ... Setting up m4 (1.4.19-4) ... Setting up file (1:5.45-3) ... Setting up libelf1t64:amd64 (0.191-2) ... Setting up autotools-dev (20220109.1) ... Setting up libx11-data (2:1.8.7-1) ... Setting up libncurses6:amd64 (6.5-2) ... Setting up libstdlib-ocaml (5.2.0-2) ... Setting up autopoint (0.22.5-2) ... Setting up ocaml-base (5.2.0-2) ... Setting up autoconf (2.72-3) ... Setting up libnum-ocaml (1.5-1+b1) ... Setting up libsexplib0-ocaml (0.16.0-3+b2) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:amd64 (0.0.8-1+b1) ... Setting up libfmt-ocaml (0.9.0-3+b3) ... Setting up libx11-6:amd64 (2:1.8.7-1+b1) ... Setting up libreact-ocaml (1.2.2-1+b2) ... Setting up libev-dev:amd64 (1:4.33-2.1) ... Setting up libxml2:amd64 (2.12.7+dfsg-3+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) ... Setting up gettext (0.22.5-2) ... Setting up libgen-ocaml (1.1-1+b2) ... Setting up libtool (2.4.7-7) ... Setting up libstdlib-ocaml-dev (5.2.0-2) ... Setting up libyojson-ocaml (2.2.1-2+b1) ... 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 libfindlib-ocaml (1.9.6-3) ... 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-2) ... Setting up libsedlex-ocaml (3.2-1+b5) ... Setting up libreactivedata-ocaml (0.3-4+b2) ... Setting up ocaml-interp (5.2.0-2) ... 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+b1) ... Setting up groff-base (1.23.0-5) ... Setting up ocaml-compiler-libs (5.2.0-2) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up liblwt-ocaml (5.7.0-1+b7) ... Setting up ocaml (5.2.0-2) ... Setting up libgen-ocaml-dev (1.1-1+b2) ... Setting up man-db (2.12.1-3) ... Not building database; man-db/auto-update is not 'true'. Setting up liblwt-log-ocaml (1.1.2-4+b7) ... Setting up libre-ocaml-dev (1.11.0-1+b2) ... 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.1-2+b1) ... 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.16.0-3+b2) ... 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+b2) ... 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-1) ... Setting up debhelper (13.19) ... Setting up liblogs-ocaml (0.7.0-3+b11) ... Setting up libfmt-ocaml-dev (0.9.0-3+b3) ... Setting up libtyxml-ocaml-dev (4.6.0-1+b1) ... Setting up libfpath-ocaml-dev (0.7.3-3+b2) ... Setting up libsedlex-ocaml-dev (3.2-1+b5) ... Setting up liblwt-ocaml-dev (5.7.0-1+b7) ... Setting up libbos-ocaml (0.2.1-2+b11) ... Setting up liblwt-log-ocaml-dev (1.1.2-4+b7) ... Setting up libjs-of-ocaml-dev (5.8.2-2+b2) ... Setting up liblogs-ocaml-dev (0.7.0-3+b11) ... Setting up libbos-ocaml-dev (0.2.1-2+b11) ... Setting up camlp5 (8.03.00-1+b2) ... Processing triggers for libc-bin (2.39-7) ... 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-20231021/ && 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_20231021-2_source.changes dpkg-buildpackage: info: source package hol-light dpkg-buildpackage: info: source version 20231021-2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Stéphane Glondu 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-20231021' dh_auto_clean make -j42 clean make[2]: Entering directory '/build/reproducible-path/hol-light-20231021' rm -f update_database.ml pa_j.ml pa_j.cmi pa_j.cmo hol hol.multivariate hol.sosa hol.card hol.complex; make[2]: Leaving directory '/build/reproducible-path/hol-light-20231021' make -C Mizarlight clean make[2]: Entering directory '/build/reproducible-path/hol-light-20231021/Mizarlight' rm -f pa_f.cmi pa_f.cmo make[2]: Leaving directory '/build/reproducible-path/hol-light-20231021/Mizarlight' rm -f ocaml make[1]: Leaving directory '/build/reproducible-path/hol-light-20231021' 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-20231021' dh_auto_build make -j42 "INSTALL=install --strip-program=true" make[2]: Entering directory '/build/reproducible-path/hol-light-20231021' if test `ocamlc -version | cut -c1-4` = "4.14" ; \ then cp update_database_4.14.ml update_database.ml ; \ else cp update_database_`ocamlc -version | cut -c1`.ml update_database.ml ; \ fi cp: cannot stat 'update_database_5.ml': No such file or directory make[2]: *** [Makefile:45: update_database.ml] Error 1 make[2]: Leaving directory '/build/reproducible-path/hol-light-20231021' dh_auto_build: error: make -j42 "INSTALL=install --strip-program=true" returned exit code 2 make[1]: *** [debian/rules:32: override_dh_auto_build] Error 25 make[1]: Leaving directory '/build/reproducible-path/hol-light-20231021' make: *** [debian/rules:22: binary] Error 2 dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2 I: copying local configuration E: Failed autobuilding of package 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/3822898 and its subdirectories Fri Aug 23 00:35:20 UTC 2024 W: No second build log, what happened?