Wed Dec 18 04:53:06 UTC 2024 I: starting to build hol-light/unstable/armhf on jenkins on '2024-12-18 04:52'
Wed Dec 18 04:53:06 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/armhf_24/9603/console.log
Wed Dec 18 04:53:06 UTC 2024 I: Downloading source for unstable/hol-light=1:3.0.0-2
--2024-12-18 04:53:06-- http://deb.debian.org/debian/pool/main/h/hol-light/hol-light_3.0.0-2.dsc
Connecting to 46.16.76.132:3128... connected.
Proxy request sent, awaiting response... 200 OK
Length: 2039 (2.0K) [text/prs.lines.tag]
Saving to: ‘hol-light_3.0.0-2.dsc’
0K . 100% 298M=0s
2024-12-18 04:53:06 (298 MB/s) - ‘hol-light_3.0.0-2.dsc’ saved [2039/2039]
Wed Dec 18 04:53:06 UTC 2024 I: hol-light_3.0.0-2.dsc
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Hendrik Tews <hendrik@askra.de>
Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/hol-light
Vcs-Git: https://salsa.debian.org/ocaml-team/hol-light.git
Build-Depends: debhelper-compat (= 13), camlp5 (>= 8.02), libnum-ocaml-dev, libcamlp-streams-ocaml-dev, ocaml-findlib, dh-ocaml, libzarith-ocaml-dev
Package-List:
hol-light deb math optional arch=any
Checksums-Sha1:
bac1bc40a8eacb2da5571c9e63674970f31516e9 5364404 hol-light_3.0.0.orig.tar.xz
a45cc3ad7249adf15aaa2a84259fc009fb72c639 10892 hol-light_3.0.0-2.debian.tar.xz
Checksums-Sha256:
918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
e882632c1fe52554fb8fa33c345373733a5f75105e13eef23bca5a89e48704b9 10892 hol-light_3.0.0-2.debian.tar.xz
Files:
6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
07e8f72f27278a25b255dae1f3f2a166 10892 hol-light_3.0.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmdfyn4ACgkQ808JdE6f
XdmDKhAA0cb4zsSFK+zZb6Euk2DeyHq8sh2rccZJGiIjZnSU7IBnoNFwnI6Sq5EH
46OQ+Y6JKDjCFBWiJF/DLUMwfkNTDHrPCq5sT5l9nbvp1hh3xxvMsFzm8tgYNVfF
qF5YakT0kXFVf6lKtvsZgug2VkrNgPMquP2N9GosmTBeHr5m1umqibIXBV8wylnA
WMYcqN/XxEmIjJVWiQlqG+U83rkwD5lFwYaUeQ3Ae1hg9F2np47LSzTBu1ukCSYR
4P5oJW4Ei8R0TNUd497DrjXpQVJr5OsBy1NhbY28VP9dD9+Rv/qU8g8amVTJXrJ6
+Ocw7hwYTT34ELrejmLvG4CSuMjAUF/sHS/Ae8QMW0hzF8DNHWRNARL3R3UDo+hm
25OYhkk87gINEse9UaXoo8yfNEK4C8H0oJqesMfoInr6ifPuc/O4FYXP/xcFNqBG
wYXLcqYZDUB35Xm8UXXXHMb0y+z9eOTsCBYm3ibe4bd2o9TWMKnXQ2mMN0Zy5any
RsnpkEeQkO+8YZiE3Iice0yZjoEwhBwGdB+xGDueQ8DlkVvqukWQhJuB0uBO4CXo
k7HBORrHVoCanNyql6/bGqcDa8Xa3DKAJyq7rAZ6pPwYq/BdtYJ7zB6+fjvhm4ZA
gR365MeV4qSLoqvSnoQhg/ouh4IWX/g/jiKTcgXYbG5oDarwG8I=
=Asrx
-----END PGP SIGNATURE-----
Wed Dec 18 04:53:06 UTC 2024 I: Checking whether the package is not for us
Wed Dec 18 04:53:06 UTC 2024 I: Starting 1st build on remote node ff4a-armhf-rb.debian.net.
Wed Dec 18 04:53:06 UTC 2024 I: Preparing to do remote build '1' on ff4a-armhf-rb.debian.net.
Wed Dec 18 04:57:19 UTC 2024 I: Deleting $TMPDIR on ff4a-armhf-rb.debian.net.
I: pbuilder: network access will be disabled during build
I: Current time: Tue Dec 17 16:53:13 -12 2024
I: pbuilder-time-stamp: 1734497593
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/18545/tmp/hooks/D02_print_environment starting
I: set
BUILDDIR='/build/reproducible-path'
BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other'
BUILDUSERNAME='pbuilder1'
BUILD_ARCH='armhf'
DEBIAN_FRONTEND='noninteractive'
DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3 '
DISTRIBUTION='unstable'
HOME='/root'
HOST_ARCH='armhf'
IFS='
'
INVOCATION_ID='1236a9f770a344a9af55a25a65710de4'
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='18545'
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.UWtZW58O/pbuilderrc_E0eW --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.UWtZW58O/b1 --logfile b1/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+12'
USER='root'
_='/usr/bin/systemd-run'
http_proxy='http://10.0.0.15:3142/'
I: uname -a
Linux ff4a 6.1.0-28-armmp-lpae #1 SMP Debian 6.1.119-1 (2024-11-22) armv7l GNU/Linux
I: ls -l /bin
lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin
I: user script /srv/workspace/pbuilder/18545/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 <pbuilder-maint@lists.alioth.debian.org>
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 11s (13.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 ... 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: Running cd /build/reproducible-path/hol-light-3.0.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../hol-light_3.0.0-2_source.changes
dpkg-buildpackage: info: source package hol-light
dpkg-buildpackage: info: source version 1:3.0.0-2
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Bo YU <tsu.yubo@gmail.com>
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 -j3 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 -j3 "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: 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/18545 and its subdirectories
I: Current time: Tue Dec 17 16:57:05 -12 2024
I: pbuilder-time-stamp: 1734497825
Wed Dec 18 04:57:21 UTC 2024 I: 1st build successful. Starting 2nd build on remote node virt64b-armhf-rb.debian.net.
Wed Dec 18 04:57:21 UTC 2024 I: Preparing to do remote build '2' on virt64b-armhf-rb.debian.net.
Wed Dec 18 05:00:34 UTC 2024 I: Deleting $TMPDIR on virt64b-armhf-rb.debian.net.
Wed Dec 18 05:00:36 UTC 2024 I: hol-light_3.0.0-2_armhf.changes:
Format: 1.8
Date: Sun, 15 Dec 2024 21:49:40 +0800
Source: hol-light
Binary: hol-light
Architecture: armhf
Version: 1:3.0.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Bo YU <tsu.yubo@gmail.com>
Description:
hol-light - HOL Light theorem prover
Changes:
hol-light (1:3.0.0-2) unstable; urgency=medium
.
* Team upload.
* Remove libcoq-bignums on B-D from previous upload.
Checksums-Sha1:
3e5de07648ff7d6c12c3f2f4176097ff4b57ef08 7156 hol-light_3.0.0-2_armhf.buildinfo
82d4cb48d65eb8c7873d090f7056895319bb3a09 5986196 hol-light_3.0.0-2_armhf.deb
Checksums-Sha256:
89636dd08c53ad56e659422a5d98f387e288331a99fd49e8c3aeb8a23f290080 7156 hol-light_3.0.0-2_armhf.buildinfo
cb964b01b43d4b6e9110672b0332d1925bc97a6f33c972088a442e94fa26bee4 5986196 hol-light_3.0.0-2_armhf.deb
Files:
06da515489681fe918c59550d30e8c25 7156 math optional hol-light_3.0.0-2_armhf.buildinfo
02505ef27dd8b099f1f4239142f5de95 5986196 math optional hol-light_3.0.0-2_armhf.deb
Wed Dec 18 05:00:37 UTC 2024 I: diffoscope 284 will be used to compare the two builds:
Running as unit: rb-diffoscope-armhf_24-9603.service
# Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.UWtZW58O/hol-light_3.0.0-2.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.UWtZW58O/hol-light_3.0.0-2.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.UWtZW58O/hol-light_3.0.0-2.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.UWtZW58O/b1/hol-light_3.0.0-2_armhf.changes /srv/reproducible-results/rbuild-debian/r-b-build.UWtZW58O/b2/hol-light_3.0.0-2_armhf.changes
## command (total time: 0.000s)
0.000s 1 call cmp (internal)
## has_same_content_as (total time: 0.000s)
0.000s 1 call abc.DotChangesFile
## main (total time: 0.383s)
0.383s 2 calls outputs
0.000s 1 call cleanup
## recognizes (total time: 0.069s)
0.069s 12 calls diffoscope.comparators.binary.FilesystemFile
## specialize (total time: 0.000s)
0.000s 1 call specialize
Finished with result: success
Main processes terminated with: code=exited/status=0
Service runtime: 675ms
CPU time consumed: 676ms
Wed Dec 18 05:00:39 UTC 2024 I: diffoscope 284 found no differences in the changes files, and a .buildinfo file also exists.
Wed Dec 18 05:00:39 UTC 2024 I: hol-light from unstable built successfully and reproducibly on armhf.
Wed Dec 18 05:00:40 UTC 2024 I: Submitting .buildinfo files to external archives:
Wed Dec 18 05:00:40 UTC 2024 I: Submitting 8.0K b1/hol-light_3.0.0-2_armhf.buildinfo.asc
Wed Dec 18 05:00:41 UTC 2024 I: Submitting 8.0K b2/hol-light_3.0.0-2_armhf.buildinfo.asc
Wed Dec 18 05:00:41 UTC 2024 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit.
Wed Dec 18 05:00:41 UTC 2024 I: Done submitting .buildinfo files.
Wed Dec 18 05:00:41 UTC 2024 I: Removing signed hol-light_3.0.0-2_armhf.buildinfo.asc files:
removed './b1/hol-light_3.0.0-2_armhf.buildinfo.asc'
removed './b2/hol-light_3.0.0-2_armhf.buildinfo.asc'