I: pbuilder: network access will be disabled during build I: Current time: Wed Dec 18 18:57:27 +14 2024 I: pbuilder-time-stamp: 1734497847 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/24480/tmp/hooks/D01_modify_environment starting debug: Running on virt64b. I: Changing host+domainname to test build reproducibility I: Adding a custom variable just for the fun of it... I: Changing /bin/sh to bash '/bin/sh' -> '/bin/bash' lrwxrwxrwx 1 root root 9 Dec 18 04:57 /bin/sh -> /bin/bash I: Setting pbuilder2's login shell to /bin/bash I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other I: user script /srv/workspace/pbuilder/24480/tmp/hooks/D01_modify_environment finished I: user script /srv/workspace/pbuilder/24480/tmp/hooks/D02_print_environment starting I: set BASH=/bin/sh BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath BASH_ALIASES=() BASH_ARGC=() BASH_ARGV=() BASH_CMDS=() BASH_LINENO=([0]="12" [1]="0") BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") BASH_VERSINFO=([0]="5" [1]="2" [2]="37" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf") BASH_VERSION='5.2.37(1)-release' BUILDDIR=/build/reproducible-path BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' BUILDUSERNAME=pbuilder2 BUILD_ARCH=armhf DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=4 ' DIRSTACK=() DISTRIBUTION=unstable EUID=0 FUNCNAME=([0]="Echo" [1]="main") GROUPS=() HOME=/root HOSTNAME=i-capture-the-hostname HOSTTYPE=arm HOST_ARCH=armhf IFS=' ' INVOCATION_ID=28915e2eeefb4d61978e3a3d0a0c10d2 LANG=C LANGUAGE=it_CH:it LC_ALL=C MACHTYPE=arm-unknown-linux-gnueabihf MAIL=/var/mail/root OPTERR=1 OPTIND=1 OSTYPE=linux-gnueabihf PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path PBCURRENTCOMMANDLINEOPERATION=build PBUILDER_OPERATION=build PBUILDER_PKGDATADIR=/usr/share/pbuilder PBUILDER_PKGLIBDIR=/usr/lib/pbuilder PBUILDER_SYSCONFDIR=/etc PIPESTATUS=([0]="0") POSIXLY_CORRECT=y PPID=24480 PS4='+ ' PWD=/ SHELL=/bin/bash SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix SHLVL=3 SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.UWtZW58O/pbuilderrc_U8E9 --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.UWtZW58O/b2 --logfile b2/build.log hol-light_3.0.0-2.dsc' SUDO_GID=113 SUDO_UID=107 SUDO_USER=jenkins TERM=unknown TZ=/usr/share/zoneinfo/Etc/GMT-14 UID=0 USER=root _='I: set' http_proxy=http://10.0.0.15:3142/ I: uname -a Linux i-capture-the-hostname 6.1.0-28-arm64 #1 SMP Debian 6.1.119-1 (2024-11-22) aarch64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin I: user script /srv/workspace/pbuilder/24480/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper-compat (= 13), 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 ... 19680 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on camlp5 (>= 8.02); however: Package camlp5 is not installed. pbuilder-satisfydepends-dummy depends on libnum-ocaml-dev; however: Package libnum-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libcamlp-streams-ocaml-dev; however: Package libcamlp-streams-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on ocaml-findlib; however: Package ocaml-findlib is not installed. pbuilder-satisfydepends-dummy depends on dh-ocaml; however: Package dh-ocaml is not installed. pbuilder-satisfydepends-dummy depends on libzarith-ocaml-dev; however: Package libzarith-ocaml-dev is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} camlp5{a} debhelper{a} dh-autoreconf{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} 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 140 MB of archives. After unpacking 330 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main armhf sensible-utils all 0.0.24 [24.8 kB] Get: 2 http://deb.debian.org/debian unstable/main armhf libmagic-mgc armhf 1:5.45-3+b1 [314 kB] Get: 3 http://deb.debian.org/debian unstable/main armhf libmagic1t64 armhf 1:5.45-3+b1 [98.5 kB] Get: 4 http://deb.debian.org/debian unstable/main armhf file armhf 1:5.45-3+b1 [42.3 kB] Get: 5 http://deb.debian.org/debian unstable/main armhf gettext-base armhf 0.22.5-3 [195 kB] Get: 6 http://deb.debian.org/debian unstable/main armhf libuchardet0 armhf 0.0.8-1+b2 [65.6 kB] Get: 7 http://deb.debian.org/debian unstable/main armhf groff-base armhf 1.23.0-6 [1091 kB] Get: 8 http://deb.debian.org/debian unstable/main armhf bsdextrautils armhf 2.40.2-12 [83.9 kB] Get: 9 http://deb.debian.org/debian unstable/main armhf libpipeline1 armhf 1.5.8-1 [35.0 kB] Get: 10 http://deb.debian.org/debian unstable/main armhf man-db armhf 2.13.0-1 [1382 kB] Get: 11 http://deb.debian.org/debian unstable/main armhf m4 armhf 1.4.19-4 [264 kB] Get: 12 http://deb.debian.org/debian unstable/main armhf autoconf all 2.72-3 [493 kB] Get: 13 http://deb.debian.org/debian unstable/main armhf autotools-dev all 20220109.1 [51.6 kB] Get: 14 http://deb.debian.org/debian unstable/main armhf automake all 1:1.16.5-1.3 [823 kB] Get: 15 http://deb.debian.org/debian unstable/main armhf autopoint all 0.22.5-3 [723 kB] Get: 16 http://deb.debian.org/debian unstable/main armhf libstdlib-ocaml armhf 5.2.0-3 [462 kB] Get: 17 http://deb.debian.org/debian unstable/main armhf libstdlib-ocaml-dev armhf 5.2.0-3 [10.2 MB] Get: 18 http://deb.debian.org/debian unstable/main armhf libcompiler-libs-ocaml-dev armhf 5.2.0-3 [32.0 MB] Get: 19 http://deb.debian.org/debian unstable/main armhf ocaml-compiler-libs all 5.2.0-3 [201 kB] Get: 20 http://deb.debian.org/debian unstable/main armhf ocaml-base armhf 5.2.0-3 [419 kB] Get: 21 http://deb.debian.org/debian unstable/main armhf libastring-ocaml armhf 0.8.5-2+b2 [143 kB] Get: 22 http://deb.debian.org/debian unstable/main armhf ocaml-interp armhf 5.2.0-3 [6852 kB] Get: 23 http://deb.debian.org/debian unstable/main armhf libncurses6 armhf 6.5-2+b1 [82.3 kB] Get: 24 http://deb.debian.org/debian unstable/main armhf libncurses-dev armhf 6.5-2+b1 [310 kB] Get: 25 http://deb.debian.org/debian unstable/main armhf libzstd-dev armhf 1.5.6+dfsg-1+b1 [327 kB] Get: 26 http://deb.debian.org/debian unstable/main armhf ocaml armhf 5.2.0-3 [1465 kB] Get: 27 http://deb.debian.org/debian unstable/main armhf libastring-ocaml-dev armhf 0.8.5-2+b2 [99.5 kB] Get: 28 http://deb.debian.org/debian unstable/main armhf libfmt-ocaml armhf 0.9.0-3+b3 [86.4 kB] Get: 29 http://deb.debian.org/debian unstable/main armhf libfpath-ocaml armhf 0.7.3-3+b2 [67.4 kB] Get: 30 http://deb.debian.org/debian unstable/main armhf libfindlib-ocaml armhf 1.9.6-3 [128 kB] Get: 31 http://deb.debian.org/debian unstable/main armhf libgen-ocaml armhf 1.1-1+b2 [169 kB] Get: 32 http://deb.debian.org/debian unstable/main armhf libxau6 armhf 1:1.0.11-1 [19.7 kB] Get: 33 http://deb.debian.org/debian unstable/main armhf libxdmcp6 armhf 1:1.1.5-1 [26.4 kB] Get: 34 http://deb.debian.org/debian unstable/main armhf libxcb1 armhf 1.17.0-2+b1 [140 kB] Get: 35 http://deb.debian.org/debian unstable/main armhf libx11-data all 2:1.8.10-2 [337 kB] Get: 36 http://deb.debian.org/debian unstable/main armhf libx11-6 armhf 2:1.8.10-2 [750 kB] Get: 37 http://deb.debian.org/debian unstable/main armhf libgraphics-ocaml armhf 5.1.2-3+b2 [34.7 kB] Get: 38 http://deb.debian.org/debian unstable/main armhf libocplib-endian-ocaml armhf 1.2-4+b1 [76.9 kB] Get: 39 http://deb.debian.org/debian unstable/main armhf libreact-ocaml armhf 1.2.2-1+b2 [140 kB] Get: 40 http://deb.debian.org/debian unstable/main armhf libsexplib0-ocaml armhf 0.17.0-1 [91.3 kB] Get: 41 http://deb.debian.org/debian unstable/main armhf libev4t64 armhf 1:4.33-2.1+b1 [37.8 kB] Get: 42 http://deb.debian.org/debian unstable/main armhf liblwt-ocaml armhf 5.7.0-1+b8 [712 kB] Get: 43 http://deb.debian.org/debian unstable/main armhf liblwt-log-ocaml armhf 1.1.2-4+b8 [59.6 kB] Get: 44 http://deb.debian.org/debian unstable/main armhf libreactivedata-ocaml armhf 0.3-4+b2 [63.7 kB] Get: 45 http://deb.debian.org/debian unstable/main armhf libsedlex-ocaml armhf 3.2-1+b6 [131 kB] Get: 46 http://deb.debian.org/debian unstable/main armhf libuutf-ocaml armhf 1.0.3-1+b3 [55.6 kB] Get: 47 http://deb.debian.org/debian unstable/main armhf libtyxml-ocaml armhf 4.6.0-1+b3 [404 kB] Get: 48 http://deb.debian.org/debian unstable/main armhf libyojson-ocaml armhf 2.2.2-1 [393 kB] Get: 49 http://deb.debian.org/debian unstable/main armhf libjs-of-ocaml armhf 5.8.2-2+b5 [5578 kB] Get: 50 http://deb.debian.org/debian unstable/main armhf liblogs-ocaml armhf 0.7.0-3+b14 [55.8 kB] Get: 51 http://deb.debian.org/debian unstable/main armhf librresult-ocaml armhf 0.7.0-2+b2 [20.1 kB] Get: 52 http://deb.debian.org/debian unstable/main armhf libbos-ocaml armhf 0.2.1-2+b14 [218 kB] Get: 53 http://deb.debian.org/debian unstable/main armhf libcmdliner-ocaml-dev armhf 1.3.0-2+b1 [369 kB] Get: 54 http://deb.debian.org/debian unstable/main armhf libfmt-ocaml-dev armhf 0.9.0-3+b3 [73.2 kB] Get: 55 http://deb.debian.org/debian unstable/main armhf libfpath-ocaml-dev armhf 0.7.3-3+b2 [57.2 kB] Get: 56 http://deb.debian.org/debian unstable/main armhf libfindlib-ocaml-dev armhf 1.9.6-3 [93.3 kB] Get: 57 http://deb.debian.org/debian unstable/main armhf libgen-ocaml-dev armhf 1.1-1+b2 [549 kB] Get: 58 http://deb.debian.org/debian unstable/main armhf libgraphics-ocaml-dev armhf 5.1.2-3+b2 [113 kB] Get: 59 http://deb.debian.org/debian unstable/main armhf libev-dev armhf 1:4.33-2.1+b1 [130 kB] Get: 60 http://deb.debian.org/debian unstable/main armhf libocaml-compiler-libs-ocaml-dev armhf 0.17.0-1 [84.3 kB] Get: 61 http://deb.debian.org/debian unstable/main armhf libocplib-endian-ocaml-dev armhf 1.2-4+b1 [245 kB] Get: 62 http://deb.debian.org/debian unstable/main armhf libppx-derivers-ocaml-dev armhf 1.2.1-4+b2 [15.4 kB] Get: 63 http://deb.debian.org/debian unstable/main armhf libsexplib0-ocaml-dev armhf 0.17.0-1 [314 kB] Get: 64 http://deb.debian.org/debian unstable/main armhf libppxlib-ocaml-dev armhf 0.33.0-2 [19.2 MB] Get: 65 http://deb.debian.org/debian unstable/main armhf libreact-ocaml-dev armhf 1.2.2-1+b2 [99.7 kB] Get: 66 http://deb.debian.org/debian unstable/main armhf liblwt-ocaml-dev armhf 5.7.0-1+b8 [3200 kB] Get: 67 http://deb.debian.org/debian unstable/main armhf liblwt-log-ocaml-dev armhf 1.1.2-4+b8 [221 kB] Get: 68 http://deb.debian.org/debian unstable/main armhf libmenhir-ocaml-dev armhf 20240715+ds-1 [809 kB] Get: 69 http://deb.debian.org/debian unstable/main armhf libreactivedata-ocaml-dev armhf 0.3-4+b2 [192 kB] Get: 70 http://deb.debian.org/debian unstable/main armhf libsedlex-ocaml-dev armhf 3.2-1+b6 [1396 kB] Get: 71 http://deb.debian.org/debian unstable/main armhf libre-ocaml-dev armhf 1.12.0+really1.11.0-1 [1114 kB] Get: 72 http://deb.debian.org/debian unstable/main armhf libuutf-ocaml-dev armhf 1.0.3-1+b3 [1085 kB] Get: 73 http://deb.debian.org/debian unstable/main armhf libtyxml-ocaml-dev armhf 4.6.0-1+b3 [2557 kB] Get: 74 http://deb.debian.org/debian unstable/main armhf libyojson-ocaml-dev armhf 2.2.2-1 [1388 kB] Get: 75 http://deb.debian.org/debian unstable/main armhf libjs-of-ocaml-dev armhf 5.8.2-2+b5 [18.5 MB] Get: 76 http://deb.debian.org/debian unstable/main armhf liblogs-ocaml-dev armhf 0.7.0-3+b14 [72.8 kB] Get: 77 http://deb.debian.org/debian unstable/main armhf librresult-ocaml-dev armhf 0.7.0-2+b2 [30.3 kB] Get: 78 http://deb.debian.org/debian unstable/main armhf libbos-ocaml-dev armhf 0.2.1-2+b14 [172 kB] Get: 79 http://deb.debian.org/debian unstable/main armhf libcamlp-streams-ocaml armhf 5.0.1-3+b2 [29.2 kB] Get: 80 http://deb.debian.org/debian unstable/main armhf libcamlp-streams-ocaml-dev armhf 5.0.1-3+b2 [109 kB] Get: 81 http://deb.debian.org/debian unstable/main armhf camlp5 armhf 8.03.00-1+b5 [4068 kB] Get: 82 http://deb.debian.org/debian unstable/main armhf libdebhelper-perl all 13.21 [88.9 kB] Get: 83 http://deb.debian.org/debian unstable/main armhf libtool all 2.4.7-8 [517 kB] Get: 84 http://deb.debian.org/debian unstable/main armhf dh-autoreconf all 20 [17.1 kB] Get: 85 http://deb.debian.org/debian unstable/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 86 http://deb.debian.org/debian unstable/main armhf libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get: 87 http://deb.debian.org/debian unstable/main armhf dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get: 88 http://deb.debian.org/debian unstable/main armhf libelf1t64 armhf 0.192-4 [184 kB] Get: 89 http://deb.debian.org/debian unstable/main armhf dwz armhf 0.15-1+b2 [106 kB] Get: 90 http://deb.debian.org/debian unstable/main armhf libicu72 armhf 72.1-5+b1 [9088 kB] Get: 91 http://deb.debian.org/debian unstable/main armhf libxml2 armhf 2.12.7+dfsg+really2.9.14-0.2+b1 [605 kB] Get: 92 http://deb.debian.org/debian unstable/main armhf gettext armhf 0.22.5-3 [1488 kB] Get: 93 http://deb.debian.org/debian unstable/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 94 http://deb.debian.org/debian unstable/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 95 http://deb.debian.org/debian unstable/main armhf debhelper all 13.21 [919 kB] Get: 96 http://deb.debian.org/debian unstable/main armhf libconfig-tiny-perl all 2.30-1 [18.9 kB] Get: 97 http://deb.debian.org/debian unstable/main armhf dh-ocaml all 2.4 [62.9 kB] Get: 98 http://deb.debian.org/debian unstable/main armhf libgmpxx4ldbl armhf 2:6.3.0+dfsg-3 [328 kB] Get: 99 http://deb.debian.org/debian unstable/main armhf libgmp-dev armhf 2:6.3.0+dfsg-3 [592 kB] Get: 100 http://deb.debian.org/debian unstable/main armhf libgmp3-dev armhf 2:6.3.0+dfsg-3 [322 kB] Get: 101 http://deb.debian.org/debian unstable/main armhf libnum-ocaml armhf 1.5-1+b1 [129 kB] Get: 102 http://deb.debian.org/debian unstable/main armhf libnum-ocaml-dev armhf 1.5-1+b1 [83.3 kB] Get: 103 http://deb.debian.org/debian unstable/main armhf libzarith-ocaml armhf 1.14-1 [84.3 kB] Get: 104 http://deb.debian.org/debian unstable/main armhf libzarith-ocaml-dev armhf 1.14-1 [110 kB] Get: 105 http://deb.debian.org/debian unstable/main armhf ocaml-findlib armhf 1.9.6-3 [263 kB] Fetched 140 MB in 3s (49.7 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 ... 19680 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_armhf.deb ... Unpacking libmagic-mgc (1:5.45-3+b1) ... Selecting previously unselected package libmagic1t64:armhf. Preparing to unpack .../002-libmagic1t64_1%3a5.45-3+b1_armhf.deb ... Unpacking libmagic1t64:armhf (1:5.45-3+b1) ... Selecting previously unselected package file. Preparing to unpack .../003-file_1%3a5.45-3+b1_armhf.deb ... Unpacking file (1:5.45-3+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../004-gettext-base_0.22.5-3_armhf.deb ... Unpacking gettext-base (0.22.5-3) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../005-libuchardet0_0.0.8-1+b2_armhf.deb ... Unpacking libuchardet0:armhf (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../006-groff-base_1.23.0-6_armhf.deb ... Unpacking groff-base (1.23.0-6) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../007-bsdextrautils_2.40.2-12_armhf.deb ... Unpacking bsdextrautils (2.40.2-12) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../008-libpipeline1_1.5.8-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../009-man-db_2.13.0-1_armhf.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../010-m4_1.4.19-4_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.deb ... Unpacking ocaml-interp (5.2.0-3) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../022-libncurses6_6.5-2+b1_armhf.deb ... Unpacking libncurses6:armhf (6.5-2+b1) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../023-libncurses-dev_6.5-2+b1_armhf.deb ... Unpacking libncurses-dev:armhf (6.5-2+b1) ... Selecting previously unselected package libzstd-dev:armhf. Preparing to unpack .../024-libzstd-dev_1.5.6+dfsg-1+b1_armhf.deb ... Unpacking libzstd-dev:armhf (1.5.6+dfsg-1+b1) ... Selecting previously unselected package ocaml. Preparing to unpack .../025-ocaml_5.2.0-3_armhf.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_armhf.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_armhf.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_armhf.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_armhf.deb ... Unpacking libfindlib-ocaml (1.9.6-3) ... Selecting previously unselected package libgen-ocaml. Preparing to unpack .../030-libgen-ocaml_1.1-1+b2_armhf.deb ... Unpacking libgen-ocaml (1.1-1+b2) ... Selecting previously unselected package libxau6:armhf. Preparing to unpack .../031-libxau6_1%3a1.0.11-1_armhf.deb ... Unpacking libxau6:armhf (1:1.0.11-1) ... Selecting previously unselected package libxdmcp6:armhf. Preparing to unpack .../032-libxdmcp6_1%3a1.1.5-1_armhf.deb ... Unpacking libxdmcp6:armhf (1:1.1.5-1) ... Selecting previously unselected package libxcb1:armhf. Preparing to unpack .../033-libxcb1_1.17.0-2+b1_armhf.deb ... Unpacking libxcb1:armhf (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:armhf. Preparing to unpack .../035-libx11-6_2%3a1.8.10-2_armhf.deb ... Unpacking libx11-6:armhf (2:1.8.10-2) ... Selecting previously unselected package libgraphics-ocaml. Preparing to unpack .../036-libgraphics-ocaml_5.1.2-3+b2_armhf.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_armhf.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_armhf.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_armhf.deb ... Unpacking libsexplib0-ocaml (0.17.0-1) ... Selecting previously unselected package libev4t64:armhf. Preparing to unpack .../040-libev4t64_1%3a4.33-2.1+b1_armhf.deb ... Unpacking libev4t64:armhf (1:4.33-2.1+b1) ... Selecting previously unselected package liblwt-ocaml. Preparing to unpack .../041-liblwt-ocaml_5.7.0-1+b8_armhf.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_armhf.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_armhf.deb ... Unpacking libreactivedata-ocaml (0.3-4+b2) ... Selecting previously unselected package libsedlex-ocaml. Preparing to unpack .../044-libsedlex-ocaml_3.2-1+b6_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.deb ... Unpacking libgraphics-ocaml-dev (5.1.2-3+b2) ... Selecting previously unselected package libev-dev:armhf. Preparing to unpack .../058-libev-dev_1%3a4.33-2.1+b1_armhf.deb ... Unpacking libev-dev:armhf (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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.deb ... Unpacking camlp5 (8.03.00-1+b5) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../081-libdebhelper-perl_13.21_all.deb ... Unpacking libdebhelper-perl (13.21) ... 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:armhf. Preparing to unpack .../087-libelf1t64_0.192-4_armhf.deb ... Unpacking libelf1t64:armhf (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../088-dwz_0.15-1+b2_armhf.deb ... Unpacking dwz (0.15-1+b2) ... Selecting previously unselected package libicu72:armhf. Preparing to unpack .../089-libicu72_72.1-5+b1_armhf.deb ... Unpacking libicu72:armhf (72.1-5+b1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../090-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_armhf.deb ... Unpacking libxml2:armhf (2.12.7+dfsg+really2.9.14-0.2+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../091-gettext_0.22.5-3_armhf.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.21_all.deb ... Unpacking debhelper (13.21) ... 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:armhf. Preparing to unpack .../097-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_armhf.deb ... Unpacking libgmpxx4ldbl:armhf (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp-dev:armhf. Preparing to unpack .../098-libgmp-dev_2%3a6.3.0+dfsg-3_armhf.deb ... Unpacking libgmp-dev:armhf (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp3-dev:armhf. Preparing to unpack .../099-libgmp3-dev_2%3a6.3.0+dfsg-3_armhf.deb ... Unpacking libgmp3-dev:armhf (2:6.3.0+dfsg-3) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../100-libnum-ocaml_1.5-1+b1_armhf.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_armhf.deb ... Unpacking libnum-ocaml-dev (1.5-1+b1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../102-libzarith-ocaml_1.14-1_armhf.deb ... Unpacking libzarith-ocaml (1.14-1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../103-libzarith-ocaml-dev_1.14-1_armhf.deb ... Unpacking libzarith-ocaml-dev (1.14-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../104-ocaml-findlib_1.9.6-3_armhf.deb ... Unpacking ocaml-findlib (1.9.6-3) ... Setting up libpipeline1:armhf (1.5.8-1) ... Setting up libev4t64:armhf (1:4.33-2.1+b1) ... Setting up libxau6:armhf (1:1.0.11-1) ... Setting up libxdmcp6:armhf (1:1.1.5-1) ... Setting up libxcb1:armhf (1.17.0-2+b1) ... Setting up libicu72:armhf (72.1-5+b1) ... Setting up libzstd-dev:armhf (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.21) ... Setting up libmagic1t64:armhf (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:armhf (0.192-4) ... Setting up autotools-dev (20220109.1) ... Setting up libgmpxx4ldbl:armhf (2:6.3.0+dfsg-3) ... Setting up libx11-data (2:1.8.10-2) ... Setting up libncurses6:armhf (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+b2) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:armhf (0.0.8-1+b2) ... Setting up libfmt-ocaml (0.9.0-3+b3) ... Setting up libx11-6:armhf (2:1.8.10-2) ... Setting up libreact-ocaml (1.2.2-1+b2) ... Setting up libev-dev:armhf (1:4.33-2.1+b1) ... Setting up libxml2:armhf (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:armhf (6.5-2+b1) ... Setting up gettext (0.22.5-3) ... Setting up libgen-ocaml (1.1-1+b2) ... Setting up libgmp-dev:armhf (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:armhf (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.21) ... 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: user script /srv/workspace/pbuilder/24480/tmp/hooks/A99_set_merged_usr starting Not re-configuring usrmerge for unstable I: user script /srv/workspace/pbuilder/24480/tmp/hooks/A99_set_merged_usr finished hostname: Name or service not known I: Running cd /build/reproducible-path/hol-light-3.0.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-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 armhf 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 -j4 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 -j4 "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_armhf.deb'. dpkg-genbuildinfo --build=binary -O../hol-light_3.0.0-2_armhf.buildinfo dpkg-genchanges --build=binary -O../hol-light_3.0.0-2_armhf.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration I: user script /srv/workspace/pbuilder/24480/tmp/hooks/B01_cleanup starting I: user script /srv/workspace/pbuilder/24480/tmp/hooks/B01_cleanup finished 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/24480 and its subdirectories I: Current time: Wed Dec 18 19:00:11 +14 2024 I: pbuilder-time-stamp: 1734498011