sbuild (Debian sbuild) 0.91.9 (05 May 2026) on derowd.up7.fr

+==============================================================================+
| herdtools7 7.58-1+ocaml1 (amd64)             Thu, 02 Jul 2026 09:39:13 +0000 |
+==============================================================================+

Package: herdtools7
Version: 7.58-1+ocaml1
Source Version: 7.58-1+ocaml1
Distribution: unstable-ocaml
Machine Architecture: amd64
Host Architecture: amd64
Build Architecture: amd64
Build Type: full

I: No tarballs found in /home/steph/.cache/sbuild
I: Unpacking /home/steph/srv/ocaml.debian.net/transitions/20260702/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.YvXbpQdF7I...
I: Setting up the chroot...
I: Creating chroot session...
I: Setting up log color...

+------------------------------------------------------------------------------+
| Chroot Setup Commands                        Thu, 02 Jul 2026 09:39:17 +0000 |
+------------------------------------------------------------------------------+


/repo/conf/mk-release.sh
------------------------

dpkg-scanpackages: info: Wrote 355 entries to output Packages file.

I: Finished running '/repo/conf/mk-release.sh'.

Finished processing commands.
--------------------------------------------------------------------------------
I: Setting up apt archive...

+------------------------------------------------------------------------------+
| Update chroot                                Thu, 02 Jul 2026 09:39:22 +0000 |
+------------------------------------------------------------------------------+

Ign:1 file:/repo rebuilt InRelease
Get:2 file:/repo rebuilt Release [1488 B]
Get:2 file:/repo rebuilt Release [1488 B]
Ign:3 file:/repo rebuilt Release.gpg
Get:4 file:/repo rebuilt/main amd64 Packages [333 kB]
Get:5 http://localhost:9999/debian unstable InRelease [193 kB]
Get:6 http://localhost:9999/debian unstable/contrib amd64 Packages [63.8 kB]
Get:7 http://localhost:9999/debian unstable/main amd64 Packages [10.6 MB]
Get:8 http://localhost:9999/debian unstable/non-free amd64 Packages [133 kB]
Get:9 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [10.6 kB]
Fetched 11.0 MB in 1s (12.9 MB/s)
Reading package lists...
W: Conflicting distribution: file:/repo rebuilt Release (expected rebuilt but got )
Reading package lists...
Building dependency tree...
Reading state information...
Calculating upgrade...
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.

+------------------------------------------------------------------------------+
| Fetch source files                           Thu, 02 Jul 2026 09:39:24 +0000 |
+------------------------------------------------------------------------------+


Local sources
-------------

/tmp/tmp.ben.transition-scripts.waGvWywqD1/herdtools7_7.58-1+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.waGvWywqD1; copying to chroot

+------------------------------------------------------------------------------+
| Install package build dependencies           Thu, 02 Jul 2026 09:39:25 +0000 |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: debhelper-compat (= 13), dh-ocaml, libmenhir-ocaml-dev, libzarith-ocaml-dev, menhir, ocaml, ocaml-dune, python3, build-essential
Filtered Build-Depends: debhelper-compat (= 13), dh-ocaml, libmenhir-ocaml-dev, libzarith-ocaml-dev, menhir, ocaml, ocaml-dune, python3, build-essential
dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-0iNEAQ/apt_archive/sbuild-build-depends-main-dummy.deb'.
Ign:1 copy:/build/reproducible-path/resolver-0iNEAQ/apt_archive ./ InRelease
Get:2 copy:/build/reproducible-path/resolver-0iNEAQ/apt_archive ./ Release [609 B]
Ign:3 copy:/build/reproducible-path/resolver-0iNEAQ/apt_archive ./ Release.gpg
Get:4 copy:/build/reproducible-path/resolver-0iNEAQ/apt_archive ./ Sources [688 B]
Get:5 copy:/build/reproducible-path/resolver-0iNEAQ/apt_archive ./ Packages [727 B]
Fetched 2024 B in 0s (0 B/s)
Reading package lists...
Reading package lists...

Install main build dependencies (apt-based resolver)
----------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
Solving dependencies...
The following additional packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils debhelper
  dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base
  groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev
  libconfig-tiny-perl libdebhelper-perl libelf1t64 libexpat1 libffi8
  libfile-stripnondeterminism-perl libgmp-dev libgmp3-dev libgmpxx4ldbl
  libjson-perl libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev
  libncurses6 libncursesw6 libpipeline1 libpython3-stdlib
  libpython3.14-minimal libpython3.14-stdlib libreadline8t64 libsqlite3-0
  libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5
  libxml2-16 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db
  media-types menhir netbase ocaml ocaml-base ocaml-dune ocaml-interp
  po-debconf python3 python3-minimal python3.14 python3.14-minimal quickjs
  readline-common sensible-utils tzdata
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc dh-make git gettext-doc
  libasprintf-dev libgettextpo-dev gnulib-l10n groff gmp-doc libgmp10-doc
  libmpfr-dev ocaml-findlib ncurses-doc libtool-doc gfortran
  | fortran95-compiler m4-doc apparmor less www-browser menhir-doc ocaml-doc
  elpa-tuareg libmail-box-perl python3-doc python3-tk python3-venv
  python3.14-venv python3.14-doc binfmt-support readline-doc
Recommended packages:
  curl | wget | lynx libarchive-cpio-perl libjson-xs-perl libgpm2 ocaml-man
  libltdl-dev ledit | readline-editor libmail-sendmail-perl ca-certificates
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils debhelper
  dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base
  groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev
  libconfig-tiny-perl libdebhelper-perl libelf1t64 libexpat1 libffi8
  libfile-stripnondeterminism-perl libgmp-dev libgmp3-dev libgmpxx4ldbl
  libjson-perl libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev
  libncurses6 libncursesw6 libpipeline1 libpython3-stdlib
  libpython3.14-minimal libpython3.14-stdlib libreadline8t64 libsqlite3-0
  libstdlib-ocaml libstdlib-ocaml-dev libtool libuchardet0 libunistring5
  libxml2-16 libzarith-ocaml libzarith-ocaml-dev libzstd-dev m4 man-db
  media-types menhir netbase ocaml ocaml-base ocaml-dune ocaml-interp
  po-debconf python3 python3-minimal python3.14 python3.14-minimal quickjs
  readline-common sbuild-build-depends-main-dummy sensible-utils tzdata
0 upgraded, 67 newly installed, 0 to remove and 0 not upgraded.
Need to get 23.3 MB/109 MB of archives.
After this operation, 495 MB of additional disk space will be used.
Get:1 copy:/build/reproducible-path/resolver-0iNEAQ/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [896 B]
Get:2 file:/repo rebuilt/main amd64 dh-ocaml all 3.5+ocaml1 [203 kB]
Get:3 file:/repo rebuilt/main amd64 libstdlib-ocaml amd64 5.5.0-1~exp2+ocaml1 [431 kB]
Get:4 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.5.0-1~exp2+ocaml1 [7103 kB]
Get:5 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.5.0-1~exp2+ocaml1 [41.7 MB]
Get:6 http://localhost:9999/debian unstable/main amd64 libexpat1 amd64 2.8.2-1 [121 kB]
Get:7 http://localhost:9999/debian unstable/main amd64 libpython3.14-minimal amd64 3.14.6-1 [896 kB]
Get:8 http://localhost:9999/debian unstable/main amd64 python3.14-minimal amd64 3.14.6-1 [2416 kB]
Get:9 http://localhost:9999/debian unstable/main amd64 python3-minimal amd64 3.14.6-1 [25.1 kB]
Get:10 http://localhost:9999/debian unstable/main amd64 media-types all 14.0.0 [30.8 kB]
Get:11 http://localhost:9999/debian unstable/main amd64 netbase all 6.5 [12.4 kB]
Get:12 http://localhost:9999/debian unstable/main amd64 tzdata all 2026b-1 [260 kB]
Get:13 http://localhost:9999/debian unstable/main amd64 libffi8 amd64 3.5.2-4 [25.2 kB]
Get:14 http://localhost:9999/debian unstable/main amd64 libncursesw6 amd64 6.6+20251231-1+b1 [136 kB]
Get:15 http://localhost:9999/debian unstable/main amd64 readline-common all 8.3-4 [74.8 kB]
Get:16 http://localhost:9999/debian unstable/main amd64 libreadline8t64 amd64 8.3-4 [181 kB]
Get:17 http://localhost:9999/debian unstable/main amd64 libsqlite3-0 amd64 3.53.3-1 [973 kB]
Get:18 http://localhost:9999/debian unstable/main amd64 libpython3.14-stdlib amd64 3.14.6-1 [2278 kB]
Get:19 http://localhost:9999/debian unstable/main amd64 python3.14 amd64 3.14.6-1 [846 kB]
Get:20 file:/repo rebuilt/main amd64 ocaml-base amd64 5.5.0-1~exp2+ocaml1 [526 kB]
Get:21 http://localhost:9999/debian unstable/main amd64 libpython3-stdlib amd64 3.14.6-1 [8108 B]
Get:22 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.5.0-1~exp2+ocaml1 [8222 kB]
Get:23 http://localhost:9999/debian unstable/main amd64 python3 amd64 3.14.6-1 [25.1 kB]
Get:24 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB]
Get:25 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.47-4 [345 kB]
Get:26 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.47-4 [111 kB]
Get:27 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.47-4 [43.0 kB]
Get:28 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 1.0-2 [332 kB]
Get:29 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b2 [69.0 kB]
Get:30 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.24.1-1 [1336 kB]
Get:31 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.42.2-1 [100.0 kB]
Get:32 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB]
Get:33 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB]
Get:34 file:/repo rebuilt/main amd64 ocaml amd64 5.5.0-1~exp2+ocaml1 [19.7 MB]
Get:35 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB]
Get:36 http://localhost:9999/debian unstable/main amd64 autoconf all 2.73-2 [516 kB]
Get:37 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB]
Get:38 http://localhost:9999/debian unstable/main amd64 automake all 1:1.18.1-4 [877 kB]
Get:39 http://localhost:9999/debian unstable/main amd64 autopoint all 1.0-2 [820 kB]
Get:40 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 14.2 [77.1 kB]
Get:41 http://localhost:9999/debian unstable/main amd64 libtool all 2.5.4-11 [539 kB]
Get:42 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 22 [12.2 kB]
Get:43 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get:44 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.1-1 [17.1 kB]
Get:45 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.1-1 [6020 B]
Get:46 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.195-1 [58.1 kB]
Get:47 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.16-4 [108 kB]
Get:48 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.4.2-1 [480 kB]
Get:49 http://localhost:9999/debian unstable/main amd64 libxml2-16 amd64 2.15.3+dfsg-1 [642 kB]
Get:50 http://localhost:9999/debian unstable/main amd64 gettext amd64 1.0-2 [2659 kB]
Get:51 http://localhost:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:52 http://localhost:9999/debian unstable/main amd64 po-debconf all 1.0.22 [216 kB]
Get:53 http://localhost:9999/debian unstable/main amd64 debhelper all 14.2 [933 kB]
Get:54 http://localhost:9999/debian unstable/main amd64 quickjs amd64 2025.04.26-1+b2 [443 kB]
Get:55 http://localhost:9999/debian unstable/main amd64 libjson-perl all 4.10000-1 [87.5 kB]
Get:56 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB]
Get:57 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5+b2 [328 kB]
Get:58 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5+b2 [641 kB]
Get:59 file:/repo rebuilt/main amd64 libmenhir-ocaml-dev amd64 20250912+ds-1+ocaml1 [684 kB]
Get:60 file:/repo rebuilt/main amd64 libzarith-ocaml amd64 1.14-4+ocaml1 [113 kB]
Get:61 file:/repo rebuilt/main amd64 libzarith-ocaml-dev amd64 1.14-4+ocaml1 [111 kB]
Get:62 file:/repo rebuilt/main amd64 menhir amd64 20250912+ds-1+ocaml1 [1433 kB]
Get:63 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5+b2 [321 kB]
Get:64 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.6+20251231-1+b1 [107 kB]
Get:65 file:/repo rebuilt/main amd64 ocaml-dune amd64 3.23.1-5+ocaml1 [5587 kB]
Get:66 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.6+20251231-1+b1 [356 kB]
Get:67 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.7+dfsg-3+b2 [372 kB]
Preconfiguring packages ...
Fetched 23.3 MB in 0s (93.4 MB/s)
Selecting previously unselected package libexpat1:amd64.
(Reading database ... 11943 files and directories currently installed.)
Preparing to unpack .../libexpat1_2.8.2-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.8.2-1) ...
Selecting previously unselected package libpython3.14-minimal:amd64.
Preparing to unpack .../libpython3.14-minimal_3.14.6-1_amd64.deb ...
Unpacking libpython3.14-minimal:amd64 (3.14.6-1) ...
Selecting previously unselected package python3.14-minimal.
Preparing to unpack .../python3.14-minimal_3.14.6-1_amd64.deb ...
Unpacking python3.14-minimal (3.14.6-1) ...
Setting up libpython3.14-minimal:amd64 (3.14.6-1) ...
Setting up libexpat1:amd64 (2.8.2-1) ...
Setting up python3.14-minimal (3.14.6-1) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 12299 files and directories currently installed.)
Preparing to unpack .../00-python3-minimal_3.14.6-1_amd64.deb ...
Unpacking python3-minimal (3.14.6-1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../01-media-types_14.0.0_all.deb ...
Unpacking media-types (14.0.0) ...
Selecting previously unselected package netbase.
Preparing to unpack .../02-netbase_6.5_all.deb ...
Unpacking netbase (6.5) ...
Selecting previously unselected package tzdata.
Preparing to unpack .../03-tzdata_2026b-1_all.deb ...
Unpacking tzdata (2026b-1) ...
Selecting previously unselected package libffi8:amd64.
Preparing to unpack .../04-libffi8_3.5.2-4_amd64.deb ...
Unpacking libffi8:amd64 (3.5.2-4) ...
Selecting previously unselected package libncursesw6:amd64.
Preparing to unpack .../05-libncursesw6_6.6+20251231-1+b1_amd64.deb ...
Unpacking libncursesw6:amd64 (6.6+20251231-1+b1) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../06-readline-common_8.3-4_all.deb ...
Unpacking readline-common (8.3-4) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../07-libreadline8t64_8.3-4_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:amd64 (8.3-4) ...
Selecting previously unselected package libsqlite3-0:amd64.
Preparing to unpack .../08-libsqlite3-0_3.53.3-1_amd64.deb ...
Unpacking libsqlite3-0:amd64 (3.53.3-1) ...
Selecting previously unselected package libpython3.14-stdlib:amd64.
Preparing to unpack .../09-libpython3.14-stdlib_3.14.6-1_amd64.deb ...
Unpacking libpython3.14-stdlib:amd64 (3.14.6-1) ...
Selecting previously unselected package python3.14.
Preparing to unpack .../10-python3.14_3.14.6-1_amd64.deb ...
Unpacking python3.14 (3.14.6-1) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../11-libpython3-stdlib_3.14.6-1_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.14.6-1) ...
Setting up python3-minimal (3.14.6-1) ...
Selecting previously unselected package python3.
(Reading database ... 13343 files and directories currently installed.)
Preparing to unpack .../00-python3_3.14.6-1_amd64.deb ...
Unpacking python3 (3.14.6-1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.26_all.deb ...
Unpacking sensible-utils (0.0.26) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.47-4_amd64.deb ...
Unpacking libmagic-mgc (1:5.47-4) ...
Selecting previously unselected package libmagic1t64:amd64.
Preparing to unpack .../03-libmagic1t64_1%3a5.47-4_amd64.deb ...
Unpacking libmagic1t64:amd64 (1:5.47-4) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.47-4_amd64.deb ...
Unpacking file (1:5.47-4) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_1.0-2_amd64.deb ...
Unpacking gettext-base (1.0-2) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../06-libuchardet0_0.0.8-2+b2_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.8-2+b2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.24.1-1_amd64.deb ...
Unpacking groff-base (1.24.1-1) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.42.2-1_amd64.deb ...
Unpacking bsdextrautils (2.42.2-1) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../09-libpipeline1_1.5.8-3_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.8-3) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.13.1-1_amd64.deb ...
Unpacking man-db (2.13.1-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.21-1_amd64.deb ...
Unpacking m4 (1.4.21-1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.73-2_all.deb ...
Unpacking autoconf (2.73-2) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20240727.1+nmu1_all.deb ...
Unpacking autotools-dev (20240727.1+nmu1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.18.1-4_all.deb ...
Unpacking automake (1:1.18.1-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_1.0-2_all.deb ...
Unpacking autopoint (1.0-2) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../16-libdebhelper-perl_14.2_all.deb ...
Unpacking libdebhelper-perl (14.2) ...
Selecting previously unselected package libtool.
Preparing to unpack .../17-libtool_2.5.4-11_all.deb ...
Unpacking libtool (2.5.4-11) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../18-dh-autoreconf_22_all.deb ...
Unpacking dh-autoreconf (22) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../19-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 .../20-libfile-stripnondeterminism-perl_1.15.1-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.15.1-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../21-dh-strip-nondeterminism_1.15.1-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.15.1-1) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../22-libelf1t64_0.195-1_amd64.deb ...
Unpacking libelf1t64:amd64 (0.195-1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../23-dwz_0.16-4_amd64.deb ...
Unpacking dwz (0.16-4) ...
Selecting previously unselected package libunistring5:amd64.
Preparing to unpack .../24-libunistring5_1.4.2-1_amd64.deb ...
Unpacking libunistring5:amd64 (1.4.2-1) ...
Selecting previously unselected package libxml2-16:amd64.
Preparing to unpack .../25-libxml2-16_2.15.3+dfsg-1_amd64.deb ...
Unpacking libxml2-16:amd64 (2.15.3+dfsg-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../26-gettext_1.0-2_amd64.deb ...
Unpacking gettext (1.0-2) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../27-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 .../28-po-debconf_1.0.22_all.deb ...
Unpacking po-debconf (1.0.22) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../29-debhelper_14.2_all.deb ...
Unpacking debhelper (14.2) ...
Selecting previously unselected package quickjs.
Preparing to unpack .../30-quickjs_2025.04.26-1+b2_amd64.deb ...
Unpacking quickjs (2025.04.26-1+b2) ...
Selecting previously unselected package libjson-perl.
Preparing to unpack .../31-libjson-perl_4.10000-1_all.deb ...
Unpacking libjson-perl (4.10000-1) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../32-libconfig-tiny-perl_2.30-1_all.deb ...
Unpacking libconfig-tiny-perl (2.30-1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../33-dh-ocaml_3.5+ocaml1_all.deb ...
Unpacking dh-ocaml (3.5+ocaml1) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../34-libstdlib-ocaml_5.5.0-1~exp2+ocaml1_amd64.deb ...
Unpacking libstdlib-ocaml (5.5.0-1~exp2+ocaml1) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../35-libstdlib-ocaml-dev_5.5.0-1~exp2+ocaml1_amd64.deb ...
Unpacking libstdlib-ocaml-dev (5.5.0-1~exp2+ocaml1) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../36-libcompiler-libs-ocaml-dev_5.5.0-1~exp2+ocaml1_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (5.5.0-1~exp2+ocaml1) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../37-libgmpxx4ldbl_2%3a6.3.0+dfsg-5+b2_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5+b2) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../38-libgmp-dev_2%3a6.3.0+dfsg-5+b2_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5+b2) ...
Selecting previously unselected package libgmp3-dev:amd64.
Preparing to unpack .../39-libgmp3-dev_2%3a6.3.0+dfsg-5+b2_amd64.deb ...
Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-5+b2) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../40-ocaml-base_5.5.0-1~exp2+ocaml1_amd64.deb ...
Unpacking ocaml-base (5.5.0-1~exp2+ocaml1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../41-ocaml-interp_5.5.0-1~exp2+ocaml1_amd64.deb ...
Unpacking ocaml-interp (5.5.0-1~exp2+ocaml1) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../42-libncurses6_6.6+20251231-1+b1_amd64.deb ...
Unpacking libncurses6:amd64 (6.6+20251231-1+b1) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../43-libncurses-dev_6.6+20251231-1+b1_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.6+20251231-1+b1) ...
Selecting previously unselected package libzstd-dev:amd64.
Preparing to unpack .../44-libzstd-dev_1.5.7+dfsg-3+b2_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.7+dfsg-3+b2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../45-ocaml_5.5.0-1~exp2+ocaml1_amd64.deb ...
Unpacking ocaml (5.5.0-1~exp2+ocaml1) ...
Selecting previously unselected package libmenhir-ocaml-dev.
Preparing to unpack .../46-libmenhir-ocaml-dev_20250912+ds-1+ocaml1_amd64.deb ...
Unpacking libmenhir-ocaml-dev (20250912+ds-1+ocaml1) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../47-libzarith-ocaml_1.14-4+ocaml1_amd64.deb ...
Unpacking libzarith-ocaml (1.14-4+ocaml1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../48-libzarith-ocaml-dev_1.14-4+ocaml1_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.14-4+ocaml1) ...
Selecting previously unselected package menhir.
Preparing to unpack .../49-menhir_20250912+ds-1+ocaml1_amd64.deb ...
Unpacking menhir (20250912+ds-1+ocaml1) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../50-ocaml-dune_3.23.1-5+ocaml1_amd64.deb ...
Unpacking ocaml-dune (3.23.1-5+ocaml1) ...
Selecting previously unselected package sbuild-build-depends-main-dummy.
Preparing to unpack .../51-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ...
Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ...
Setting up media-types (14.0.0) ...
Setting up libpipeline1:amd64 (1.5.8-3) ...
Setting up libzstd-dev:amd64 (1.5.7+dfsg-3+b2) ...
Setting up bsdextrautils (2.42.2-1) ...
Setting up libmagic-mgc (1:5.47-4) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libxml2-16:amd64 (2.15.3+dfsg-1) ...
Setting up libdebhelper-perl (14.2) ...
Setting up libsqlite3-0:amd64 (3.53.3-1) ...
Setting up libmagic1t64:amd64 (1:5.47-4) ...
Setting up gettext-base (1.0-2) ...
Setting up m4 (1.4.21-1) ...
Setting up file (1:5.47-4) ...
Setting up libconfig-tiny-perl (2.30-1) ...
Setting up libelf1t64:amd64 (0.195-1) ...
Setting up quickjs (2025.04.26-1+b2) ...
Setting up ocaml-dune (3.23.1-5+ocaml1) ...
Setting up tzdata (2026b-1) ...

Current default time zone: 'Etc/UTC'
Local time is now:      Thu Jul  2 09:39:45 UTC 2026.
Universal Time is now:  Thu Jul  2 09:39:45 UTC 2026.
Run 'dpkg-reconfigure tzdata' if you wish to change it.

Setting up autotools-dev (20240727.1+nmu1) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5+b2) ...
Setting up libncurses6:amd64 (6.6+20251231-1+b1) ...
Setting up libstdlib-ocaml (5.5.0-1~exp2+ocaml1) ...
Setting up libunistring5:amd64 (1.4.2-1) ...
Setting up autopoint (1.0-2) ...
Setting up ocaml-base (5.5.0-1~exp2+ocaml1) ...
Setting up libncursesw6:amd64 (6.6+20251231-1+b1) ...
Setting up autoconf (2.73-2) ...
Setting up libffi8:amd64 (3.5.2-4) ...
Setting up dwz (0.16-4) ...
Setting up sensible-utils (0.0.26) ...
Setting up libuchardet0:amd64 (0.0.8-2+b2) ...
Setting up libjson-perl (4.10000-1) ...
Setting up netbase (6.5) ...
Setting up readline-common (8.3-4) ...
Setting up menhir (20250912+ds-1+ocaml1) ...
Setting up automake (1:1.18.1-4) ...
update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.15.1-1) ...
Setting up libncurses-dev:amd64 (6.6+20251231-1+b1) ...
Setting up gettext (1.0-2) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5+b2) ...
Setting up libtool (2.5.4-11) ...
Setting up libstdlib-ocaml-dev (5.5.0-1~exp2+ocaml1) ...
Setting up dh-ocaml (3.5+ocaml1) ...
Setting up libzarith-ocaml (1.14-4+ocaml1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (22) ...
Setting up libcompiler-libs-ocaml-dev (5.5.0-1~exp2+ocaml1) ...
Setting up ocaml-interp (5.5.0-1~exp2+ocaml1) ...
Setting up libreadline8t64:amd64 (8.3-4) ...
Setting up dh-strip-nondeterminism (1.15.1-1) ...
Setting up groff-base (1.24.1-1) ...
Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-5+b2) ...
Setting up libpython3.14-stdlib:amd64 (3.14.6-1) ...
Setting up po-debconf (1.0.22) ...
Setting up ocaml (5.5.0-1~exp2+ocaml1) ...
Setting up man-db (2.13.1-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libmenhir-ocaml-dev (20250912+ds-1+ocaml1) ...
Setting up libzarith-ocaml-dev (1.14-4+ocaml1) ...
Setting up python3.14 (3.14.6-1) ...
Setting up libpython3-stdlib:amd64 (3.14.6-1) ...
Setting up debhelper (14.2) ...
Setting up python3 (3.14.6-1) ...
Setting up sbuild-build-depends-main-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.42-17) ...

+------------------------------------------------------------------------------+
| Check architectures                          Thu, 02 Jul 2026 09:40:05 +0000 |
+------------------------------------------------------------------------------+

Arch check ok (amd64 included in any)

+------------------------------------------------------------------------------+
| Build environment                            Thu, 02 Jul 2026 09:40:05 +0000 |
+------------------------------------------------------------------------------+

Kernel: Linux 6.12.21-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.21-1 (2025-03-30) amd64 (x86_64)
Toolchain package versions: binutils_2.46.50.20260617-1 dpkg-dev_1.23.7 g++-15_15.3.0-1 gcc-15_15.3.0-1 libc6-dev_2.42-17 libstdc++-15-dev_15.3.0-1 libstdc++6_16.1.0-2 linux-libc-dev_7.0.13-1
Package versions: apt_3.3.1 apt-utils_3.3.1 autoconf_2.73-2 automake_1:1.18.1-4 autopoint_1.0-2 autotools-dev_20240727.1+nmu1 base-files_14.2 base-passwd_3.6.8 bash_5.3-3 binutils_2.46.50.20260617-1 binutils-common_2.46.50.20260617-1 binutils-x86-64-linux-gnu_2.46.50.20260617-1 bsdextrautils_2.42.2-1 build-essential_12.12 bzip2_1.0.8-6+b2 coreutils_9.10-1 cpp_4:15.2.0-5+b1 cpp-15_15.3.0-1 cpp-15-x86-64-linux-gnu_15.3.0-1 cpp-x86-64-linux-gnu_4:15.2.0-5+b1 dash_0.5.12-12 debconf_1.5.92 debhelper_14.2 debian-archive-keyring_2025.1 debianutils_5.23.2 dh-autoreconf_22 dh-ocaml_3.5+ocaml1 dh-strip-nondeterminism_1.15.1-1 diffutils_1:3.12-1 dpkg_1.23.7 dpkg-dev_1.23.7 dwz_0.16-4 file_1:5.47-4 findutils_4.10.0-4 g++_4:15.2.0-5+b1 g++-15_15.3.0-1 g++-15-x86-64-linux-gnu_15.3.0-1 g++-x86-64-linux-gnu_4:15.2.0-5+b1 gcc_4:15.2.0-5+b1 gcc-15_15.3.0-1 gcc-15-base_15.3.0-1 gcc-15-x86-64-linux-gnu_15.3.0-1 gcc-16-base_16.1.0-2 gcc-x86-64-linux-gnu_4:15.2.0-5+b1 gettext_1.0-2 gettext-base_1.0-2 grep_3.12-1 groff-base_1.24.1-1 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69 intltool-debian_0.35.0+20060710.6 libacl1_2.4.0-1 libapt-pkg7.0_3.3.1 libarchive-zip-perl_1.68-1 libasan8_16.1.0-2 libatomic1_16.1.0-2 libattr1_1:2.6.0-1 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b1 libbinutils_2.46.50.20260617-1 libblkid1_2.42.2-1 libbz2-1.0_1.0.8-6+b2 libc-bin_2.42-17 libc-dev-bin_2.42-17 libc-gconv-modules-extra_2.42-17 libc6_2.42-17 libc6-dev_2.42-17 libcap-ng0_0.9.3-1+b1 libcc1-0_16.1.0-2 libcompiler-libs-ocaml-dev_5.5.0-1~exp2+ocaml1 libconfig-tiny-perl_2.30-1 libcrypt1_1:4.5.1-1+b1 libctf-nobfd0_2.46.50.20260617-1 libctf0_2.46.50.20260617-1 libdb5.3t64_5.3.28+dfsg2-11+b1 libdebconfclient0_0.283 libdebhelper-perl_14.2 libdpkg-perl_1.23.7 libelf1t64_0.195-1 libexpat1_2.8.2-1 libffi8_3.5.2-4 libfile-stripnondeterminism-perl_1.15.1-1 libgcc-15-dev_15.3.0-1 libgcc-s1_16.1.0-2 libgdbm-compat4t64_1.26-1+b2 libgdbm6t64_1.26-1+b2 libgmp-dev_2:6.3.0+dfsg-5+b2 libgmp10_2:6.3.0+dfsg-5+b2 libgmp3-dev_2:6.3.0+dfsg-5+b2 libgmpxx4ldbl_2:6.3.0+dfsg-5+b2 libgomp1_16.1.0-2 libgprofng0_2.46.50.20260617-1 libhogweed6t64_3.10.2-1+b1 libhwasan0_16.1.0-2 libisl23_0.27-2 libitm1_16.1.0-2 libjansson4_2.15.0-1 libjson-perl_4.10000-1 liblsan0_16.1.0-2 liblz4-1_1.10.0-10 liblzma5_5.8.3-1 libmagic-mgc_1:5.47-4 libmagic1t64_1:5.47-4 libmd0_1.2.0-2 libmenhir-ocaml-dev_20250912+ds-1+ocaml1 libmount1_2.42.2-1 libmpc3_1.3.1-3 libmpfr6_4.2.2-3 libncurses-dev_6.6+20251231-1+b1 libncurses6_6.6+20251231-1+b1 libncursesw6_6.6+20251231-1+b1 libnettle8t64_3.10.2-1+b1 libpam-modules_1.7.0-6 libpam-modules-bin_1.7.0-6 libpam-runtime_1.7.0-6 libpam0g_1.7.0-6 libpcre2-8-0_10.46-1+b2 libperl5.40_5.40.1-8 libpipeline1_1.5.8-3 libpython3-stdlib_3.14.6-1 libpython3.14-minimal_3.14.6-1 libpython3.14-stdlib_3.14.6-1 libquadmath0_16.1.0-2 libreadline8t64_8.3-4 libseccomp2_2.6.0-2+b1 libselinux1_3.10-1 libsframe3_2.46.50.20260617-1 libsmartcols1_2.42.2-1 libsqlite3-0_3.53.3-1 libssl3t64_3.6.3-1 libstdc++-15-dev_15.3.0-1 libstdc++6_16.1.0-2 libstdlib-ocaml_5.5.0-1~exp2+ocaml1 libstdlib-ocaml-dev_5.5.0-1~exp2+ocaml1 libsystemd0_261.1-2 libtinfo6_6.6+20251231-1+b1 libtool_2.5.4-11 libtsan2_16.1.0-2 libubsan1_16.1.0-2 libuchardet0_0.0.8-2+b2 libudev1_261.1-2 libunistring5_1.4.2-1 libuuid1_2.42.2-1 libxml2-16_2.15.3+dfsg-1 libxxhash0_0.8.3-2+b2 libzarith-ocaml_1.14-4+ocaml1 libzarith-ocaml-dev_1.14-4+ocaml1 libzstd-dev_1.5.7+dfsg-3+b2 libzstd1_1.5.7+dfsg-3+b2 linux-libc-dev_7.0.13-1 m4_1.4.21-1 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20260302-1 media-types_14.0.0 menhir_20250912+ds-1+ocaml1 ncurses-base_6.6+20251231-1 ncurses-bin_6.6+20251231-1+b1 netbase_6.5 ocaml_5.5.0-1~exp2+ocaml1 ocaml-base_5.5.0-1~exp2+ocaml1 ocaml-dune_3.23.1-5+ocaml1 ocaml-interp_5.5.0-1~exp2+ocaml1 openssl-provider-legacy_3.6.3-1 patch_2.8-2 perl_5.40.1-8 perl-base_5.40.1-8 perl-modules-5.40_5.40.1-8 po-debconf_1.0.22 python3_3.14.6-1 python3-minimal_3.14.6-1 python3.14_3.14.6-1 python3.14-minimal_3.14.6-1 quickjs_2025.04.26-1+b2 readline-common_8.3-4 rpcsvc-proto_1.4.4-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-3 sensible-utils_0.0.26 sqv_1.4.0-1 sysvinit-utils_3.18-1 tar_1.35+dfsg-4 tzdata_2026b-1 util-linux_2.42.2-1 xz-utils_5.8.3-1 zlib1g_1:1.3.dfsg+really1.3.2-3

+------------------------------------------------------------------------------+
| Build                                        Thu, 02 Jul 2026 09:40:05 +0000 |
+------------------------------------------------------------------------------+


Unpack source
-------------

Format: 3.0 (quilt)
Source: herdtools7
Binary: herdtools7
Architecture: any
Version: 7.58-1+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Sebastian Andrzej Siewior <sebastian@breakpoint.cc>
Homepage: https://github.com/herd/herdtools7
Standards-Version: 4.7.3
Vcs-Browser: https://salsa.debian.org/ocaml-team/herdtools7
Vcs-Git: https://salsa.debian.org/ocaml-team/herdtools7.git
Build-Depends: debhelper-compat (= 13), dh-ocaml, libmenhir-ocaml-dev, libzarith-ocaml-dev, menhir, ocaml, ocaml-dune, python3
Package-List:
 herdtools7 deb ocaml optional arch=any
Checksums-Sha1:
 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz
 07d0e50b64e08f01d4b1ea2c43cc6885e89705d7 9908 herdtools7_7.58-1+ocaml1.debian.tar.xz
Checksums-Sha256:
 c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz
 37c3106170c89d82b4d46073e1c5d5ac57cecea0c85181d7031f3c3ecaf45f19 9908 herdtools7_7.58-1+ocaml1.debian.tar.xz
Files:
 ac70df55c75933ca6a8fe4fa4754c7e9 1600124 herdtools7_7.58.orig.tar.gz
 4edf55e86e102cac73c3c286455e3317 9908 herdtools7_7.58-1+ocaml1.debian.tar.xz

dpkg-source: warning: extracting unsigned source package (herdtools7_7.58-1+ocaml1.dsc)
dpkg-source: info: extracting herdtools7 in /build/reproducible-path/herdtools7-7.58
dpkg-source: info: unpacking herdtools7_7.58.orig.tar.gz
dpkg-source: info: unpacking herdtools7_7.58-1+ocaml1.debian.tar.xz

clean up apt cache
------------------


Check disk space
----------------

Sufficient free space for build

User Environment
----------------

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=1
HOME=/sbuild-nonexistent
LANG=fr_FR.UTF-8
LC_ALL=C.UTF-8
LOGNAME=sbuild
MAKEFLAGS=
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SHELL=/bin/sh
USER=sbuild

dpkg-buildpackage
-----------------

Command: dpkg-buildpackage --sanitize-env -us -uc -sa
dpkg-buildpackage: info: source package herdtools7
dpkg-buildpackage: info: source version 7.58-1+ocaml1
dpkg-buildpackage: info: source distribution unstable-ocaml
dpkg-buildpackage: info: source changed by Anonymous Builder <builder@example.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
 debian/rules clean
dh clean --with ocaml --buildsystem ocaml_dune
   debian/rules execute_before_dh_auto_clean
make[1]: Entering directory '/build/reproducible-path/herdtools7-7.58'
rm -f Version.ml
make[1]: Leaving directory '/build/reproducible-path/herdtools7-7.58'
   dh_auto_clean -O--buildsystem=ocaml_dune
	dune clean
   dh_autoreconf_clean -O--buildsystem=ocaml_dune
   dh_ocamlclean -O--buildsystem=ocaml_dune
   dh_clean -O--buildsystem=ocaml_dune
 dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building herdtools7 using existing ../herdtools7_7.58.orig.tar.gz
dpkg-source: info: building herdtools7 in ../herdtools7_7.58-1+ocaml1.debian.tar.xz
dpkg-source: info: building herdtools7 in ../herdtools7_7.58-1+ocaml1.dsc
 debian/rules binary
dh binary --with ocaml --buildsystem ocaml_dune
   dh_update_autotools_config -O--buildsystem=ocaml_dune
   dh_autoreconf -O--buildsystem=ocaml_dune
   dh_ocamlinit -O--buildsystem=ocaml_dune
   debian/rules execute_before_dh_auto_configure
make[1]: Entering directory '/build/reproducible-path/herdtools7-7.58'
make Version.ml
make[2]: Entering directory '/build/reproducible-path/herdtools7-7.58'
make[2]: Leaving directory '/build/reproducible-path/herdtools7-7.58'
make[1]: Leaving directory '/build/reproducible-path/herdtools7-7.58'
   dh_auto_configure -O--buildsystem=ocaml_dune
   dh_auto_build -O--buildsystem=ocaml_dune
	dune build -j 1 -p herdtools7
   dh_auto_test -O--buildsystem=ocaml_dune
	dune runtest -j 1 -p herdtools7
   create-stamp debian/debhelper-build-stamp
   dh_testroot -O--buildsystem=ocaml_dune
   dh_prep -O--buildsystem=ocaml_dune
   dh_auto_install --destdir=debian/herdtools7/ -O--buildsystem=ocaml_dune
	dune install --destdir=debian/tmp --prefix=/usr --libdir=/usr/lib/x86_64-linux-gnu/ocaml/5.5.0 herdtools7
   dh_ocamllibinstall -O--buildsystem=ocaml_dune
   dh_install -O--buildsystem=ocaml_dune
   dh_ocamldoc -O--buildsystem=ocaml_dune
   dh_installdocs -O--buildsystem=ocaml_dune
   dh_installchangelogs -O--buildsystem=ocaml_dune
   dh_installsystemduser -O--buildsystem=ocaml_dune
   dh_perl -O--buildsystem=ocaml_dune
   dh_link -O--buildsystem=ocaml_dune
   dh_strip_nondeterminism -O--buildsystem=ocaml_dune
   dh_compress -O--buildsystem=ocaml_dune
   dh_fixperms -O--buildsystem=ocaml_dune
   dh_missing -O--buildsystem=ocaml_dune
   dh_dwz -a -O--buildsystem=ocaml_dune
   dh_strip -a -O--buildsystem=ocaml_dune
   dh_makeshlibs -a -O--buildsystem=ocaml_dune
   dh_shlibdeps -a -O--buildsystem=ocaml_dune
dpkg-shlibdeps: warning: diversions involved - output may be incorrect
 diversion by libc6 from: /lib64/ld-linux-x86-64.so.2
dpkg-shlibdeps: warning: diversions involved - output may be incorrect
 diversion by libc6 to: /lib64/ld-linux-x86-64.so.2.usr-is-merged
   dh_installdeb -O--buildsystem=ocaml_dune
   dh_ocaml -O--buildsystem=ocaml_dune
   dh_gencontrol -O--buildsystem=ocaml_dune
dpkg-gencontrol: warning: Depends field of package herdtools7: substitution variable ${ocaml:Depends} used, but is not defined
dpkg-gencontrol: warning: Provides field of package herdtools7: substitution variable ${ocaml:Provides} used, but is not defined
   dh_md5sums -O--buildsystem=ocaml_dune
   dh_builddeb -O--buildsystem=ocaml_dune
dpkg-deb: building package 'herdtools7' in '../herdtools7_7.58-1+ocaml1_amd64.deb'.
 dpkg-genbuildinfo -O../herdtools7_7.58-1+ocaml1_amd64.buildinfo
 dpkg-genchanges -sa -O../herdtools7_7.58-1+ocaml1_amd64.changes
dpkg-genchanges: info: including full source code in upload
 dpkg-source --after-build .
dpkg-buildpackage: info: full upload (original source is included)
--------------------------------------------------------------------------------
Build finished at 2026-07-02T09:47:19Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Changes                                      Thu, 02 Jul 2026 09:47:20 +0000 |
+------------------------------------------------------------------------------+


herdtools7_7.58-1+ocaml1_amd64.changes:
---------------------------------------

Format: 1.8
Date: Thu, 02 Jul 2026 11:39:12 +0200
Source: herdtools7
Binary: herdtools7
Architecture: source amd64
Version: 7.58-1+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 herdtools7 - Tool suite to test weak memory models
Changes:
 herdtools7 (7.58-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.0
Checksums-Sha1:
 fc3db70ec10413afac95292bb0a02071c669c8d8 1173 herdtools7_7.58-1+ocaml1.dsc
 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz
 2e0bd9fdae7c42bbf66c22a46fea311a1f74f159 9904 herdtools7_7.58-1+ocaml1.debian.tar.xz
 95bbfb3498cb0ff8904fe49e0b9cb8bd88277607 6060 herdtools7_7.58-1+ocaml1_amd64.buildinfo
 597c85e4eeb08ca924f2f1f4746d8109d0568140 39080292 herdtools7_7.58-1+ocaml1_amd64.deb
Checksums-Sha256:
 a93d6312dd2d087c2150a49a1cafa61ac588bf622bfa5ccabe458b89ac5bea0d 1173 herdtools7_7.58-1+ocaml1.dsc
 c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz
 a170b3aed8c106196a32735cc36a934f63a6305994aeaac0bce4aa7dcc16c73d 9904 herdtools7_7.58-1+ocaml1.debian.tar.xz
 ad9d0f63fcc6f3659984b8538da3e781547f1db2faff9252c8ecc466e2efc04b 6060 herdtools7_7.58-1+ocaml1_amd64.buildinfo
 6895b5ba3cd15c61251fec72faca7be7c1d3b112fa267073c15ecdad4df82b8d 39080292 herdtools7_7.58-1+ocaml1_amd64.deb
Files:
 8d9e5b4f9eb662e6df45c7c3786c3401 1173 ocaml optional herdtools7_7.58-1+ocaml1.dsc
 ac70df55c75933ca6a8fe4fa4754c7e9 1600124 ocaml optional herdtools7_7.58.orig.tar.gz
 599beff3772416038a39d93912c1151d 9904 ocaml optional herdtools7_7.58-1+ocaml1.debian.tar.xz
 963681df4802709b10374b54612b98f2 6060 ocaml optional herdtools7_7.58-1+ocaml1_amd64.buildinfo
 c66e5acf73fdddf62ccc4744a794379e 39080292 ocaml optional herdtools7_7.58-1+ocaml1_amd64.deb

+------------------------------------------------------------------------------+
| Buildinfo                                    Thu, 02 Jul 2026 09:47:21 +0000 |
+------------------------------------------------------------------------------+

Format: 1.0
Source: herdtools7
Binary: herdtools7
Architecture: amd64 source
Version: 7.58-1+ocaml1
Checksums-Md5:
 8d9e5b4f9eb662e6df45c7c3786c3401 1173 herdtools7_7.58-1+ocaml1.dsc
 c66e5acf73fdddf62ccc4744a794379e 39080292 herdtools7_7.58-1+ocaml1_amd64.deb
Checksums-Sha1:
 fc3db70ec10413afac95292bb0a02071c669c8d8 1173 herdtools7_7.58-1+ocaml1.dsc
 597c85e4eeb08ca924f2f1f4746d8109d0568140 39080292 herdtools7_7.58-1+ocaml1_amd64.deb
Checksums-Sha256:
 a93d6312dd2d087c2150a49a1cafa61ac588bf622bfa5ccabe458b89ac5bea0d 1173 herdtools7_7.58-1+ocaml1.dsc
 6895b5ba3cd15c61251fec72faca7be7c1d3b112fa267073c15ecdad4df82b8d 39080292 herdtools7_7.58-1+ocaml1_amd64.deb
Build-Origin: Debian
Build-Architecture: amd64
Build-Date: Thu, 02 Jul 2026 09:47:18 +0000
Build-Path: /build/reproducible-path/herdtools7-7.58
Installed-Build-Depends:
 autoconf (= 2.73-2),
 automake (= 1:1.18.1-4),
 autopoint (= 1.0-2),
 autotools-dev (= 20240727.1+nmu1),
 base-files (= 14.2),
 base-passwd (= 3.6.8),
 bash (= 5.3-3),
 binutils (= 2.46.50.20260617-1),
 binutils-common (= 2.46.50.20260617-1),
 binutils-x86-64-linux-gnu (= 2.46.50.20260617-1),
 bsdextrautils (= 2.42.2-1),
 build-essential (= 12.12),
 bzip2 (= 1.0.8-6+b2),
 coreutils (= 9.10-1),
 cpp (= 4:15.2.0-5+b1),
 cpp-15 (= 15.3.0-1),
 cpp-15-x86-64-linux-gnu (= 15.3.0-1),
 cpp-x86-64-linux-gnu (= 4:15.2.0-5+b1),
 dash (= 0.5.12-12),
 debconf (= 1.5.92),
 debhelper (= 14.2),
 debianutils (= 5.23.2),
 dh-autoreconf (= 22),
 dh-ocaml (= 3.5+ocaml1),
 dh-strip-nondeterminism (= 1.15.1-1),
 diffutils (= 1:3.12-1),
 dpkg (= 1.23.7),
 dpkg-dev (= 1.23.7),
 dwz (= 0.16-4),
 file (= 1:5.47-4),
 findutils (= 4.10.0-4),
 g++ (= 4:15.2.0-5+b1),
 g++-15 (= 15.3.0-1),
 g++-15-x86-64-linux-gnu (= 15.3.0-1),
 g++-x86-64-linux-gnu (= 4:15.2.0-5+b1),
 gcc (= 4:15.2.0-5+b1),
 gcc-15 (= 15.3.0-1),
 gcc-15-base (= 15.3.0-1),
 gcc-15-x86-64-linux-gnu (= 15.3.0-1),
 gcc-16-base (= 16.1.0-2),
 gcc-x86-64-linux-gnu (= 4:15.2.0-5+b1),
 gettext (= 1.0-2),
 gettext-base (= 1.0-2),
 grep (= 3.12-1),
 groff-base (= 1.24.1-1),
 gzip (= 1.13-1),
 hostname (= 3.25),
 init-system-helpers (= 1.69),
 intltool-debian (= 0.35.0+20060710.6),
 libacl1 (= 2.4.0-1),
 libarchive-zip-perl (= 1.68-1),
 libasan8 (= 16.1.0-2),
 libatomic1 (= 16.1.0-2),
 libattr1 (= 1:2.6.0-1),
 libaudit-common (= 1:4.1.2-1),
 libaudit1 (= 1:4.1.2-1+b1),
 libbinutils (= 2.46.50.20260617-1),
 libblkid1 (= 2.42.2-1),
 libbz2-1.0 (= 1.0.8-6+b2),
 libc-bin (= 2.42-17),
 libc-dev-bin (= 2.42-17),
 libc-gconv-modules-extra (= 2.42-17),
 libc6 (= 2.42-17),
 libc6-dev (= 2.42-17),
 libcap-ng0 (= 0.9.3-1+b1),
 libcc1-0 (= 16.1.0-2),
 libcompiler-libs-ocaml-dev (= 5.5.0-1~exp2+ocaml1),
 libconfig-tiny-perl (= 2.30-1),
 libcrypt1 (= 1:4.5.1-1+b1),
 libctf-nobfd0 (= 2.46.50.20260617-1),
 libctf0 (= 2.46.50.20260617-1),
 libdb5.3t64 (= 5.3.28+dfsg2-11+b1),
 libdebconfclient0 (= 0.283),
 libdebhelper-perl (= 14.2),
 libdpkg-perl (= 1.23.7),
 libelf1t64 (= 0.195-1),
 libexpat1 (= 2.8.2-1),
 libffi8 (= 3.5.2-4),
 libfile-stripnondeterminism-perl (= 1.15.1-1),
 libgcc-15-dev (= 15.3.0-1),
 libgcc-s1 (= 16.1.0-2),
 libgdbm-compat4t64 (= 1.26-1+b2),
 libgdbm6t64 (= 1.26-1+b2),
 libgmp-dev (= 2:6.3.0+dfsg-5+b2),
 libgmp10 (= 2:6.3.0+dfsg-5+b2),
 libgmp3-dev (= 2:6.3.0+dfsg-5+b2),
 libgmpxx4ldbl (= 2:6.3.0+dfsg-5+b2),
 libgomp1 (= 16.1.0-2),
 libgprofng0 (= 2.46.50.20260617-1),
 libhwasan0 (= 16.1.0-2),
 libisl23 (= 0.27-2),
 libitm1 (= 16.1.0-2),
 libjansson4 (= 2.15.0-1),
 libjson-perl (= 4.10000-1),
 liblsan0 (= 16.1.0-2),
 liblzma5 (= 5.8.3-1),
 libmagic-mgc (= 1:5.47-4),
 libmagic1t64 (= 1:5.47-4),
 libmd0 (= 1.2.0-2),
 libmenhir-ocaml-dev (= 20250912+ds-1+ocaml1),
 libmount1 (= 2.42.2-1),
 libmpc3 (= 1.3.1-3),
 libmpfr6 (= 4.2.2-3),
 libncurses-dev (= 6.6+20251231-1+b1),
 libncurses6 (= 6.6+20251231-1+b1),
 libncursesw6 (= 6.6+20251231-1+b1),
 libpam-modules (= 1.7.0-6),
 libpam-modules-bin (= 1.7.0-6),
 libpam-runtime (= 1.7.0-6),
 libpam0g (= 1.7.0-6),
 libpcre2-8-0 (= 10.46-1+b2),
 libperl5.40 (= 5.40.1-8),
 libpipeline1 (= 1.5.8-3),
 libpython3-stdlib (= 3.14.6-1),
 libpython3.14-minimal (= 3.14.6-1),
 libpython3.14-stdlib (= 3.14.6-1),
 libquadmath0 (= 16.1.0-2),
 libreadline8t64 (= 8.3-4),
 libseccomp2 (= 2.6.0-2+b1),
 libselinux1 (= 3.10-1),
 libsframe3 (= 2.46.50.20260617-1),
 libsmartcols1 (= 2.42.2-1),
 libsqlite3-0 (= 3.53.3-1),
 libssl3t64 (= 3.6.3-1),
 libstdc++-15-dev (= 15.3.0-1),
 libstdc++6 (= 16.1.0-2),
 libstdlib-ocaml (= 5.5.0-1~exp2+ocaml1),
 libstdlib-ocaml-dev (= 5.5.0-1~exp2+ocaml1),
 libsystemd0 (= 261.1-2),
 libtinfo6 (= 6.6+20251231-1+b1),
 libtool (= 2.5.4-11),
 libtsan2 (= 16.1.0-2),
 libubsan1 (= 16.1.0-2),
 libuchardet0 (= 0.0.8-2+b2),
 libudev1 (= 261.1-2),
 libunistring5 (= 1.4.2-1),
 libuuid1 (= 2.42.2-1),
 libxml2-16 (= 2.15.3+dfsg-1),
 libzarith-ocaml (= 1.14-4+ocaml1),
 libzarith-ocaml-dev (= 1.14-4+ocaml1),
 libzstd-dev (= 1.5.7+dfsg-3+b2),
 libzstd1 (= 1.5.7+dfsg-3+b2),
 linux-libc-dev (= 7.0.13-1),
 m4 (= 1.4.21-1),
 make (= 4.4.1-3),
 man-db (= 2.13.1-1),
 mawk (= 1.3.4.20260302-1),
 media-types (= 14.0.0),
 menhir (= 20250912+ds-1+ocaml1),
 ncurses-base (= 6.6+20251231-1),
 ncurses-bin (= 6.6+20251231-1+b1),
 netbase (= 6.5),
 ocaml (= 5.5.0-1~exp2+ocaml1),
 ocaml-base (= 5.5.0-1~exp2+ocaml1),
 ocaml-dune (= 3.23.1-5+ocaml1),
 ocaml-interp (= 5.5.0-1~exp2+ocaml1),
 openssl-provider-legacy (= 3.6.3-1),
 patch (= 2.8-2),
 perl (= 5.40.1-8),
 perl-base (= 5.40.1-8),
 perl-modules-5.40 (= 5.40.1-8),
 po-debconf (= 1.0.22),
 python3 (= 3.14.6-1),
 python3-minimal (= 3.14.6-1),
 python3.14 (= 3.14.6-1),
 python3.14-minimal (= 3.14.6-1),
 quickjs (= 2025.04.26-1+b2),
 readline-common (= 8.3-4),
 rpcsvc-proto (= 1.4.4-1),
 sed (= 4.9-3),
 sensible-utils (= 0.0.26),
 sysvinit-utils (= 3.18-1),
 tar (= 1.35+dfsg-4),
 tzdata (= 2026b-1),
 util-linux (= 2.42.2-1),
 xz-utils (= 5.8.3-1),
 zlib1g (= 1:1.3.dfsg+really1.3.2-3)
Environment:
 DEB_BUILD_OPTIONS="parallel=1"
 LANG="C.UTF-8"
 LC_COLLATE="C.UTF-8"
 LC_CTYPE="C.UTF-8"
 MAKEFLAGS=""
 SOURCE_DATE_EPOCH="1782985152"


+------------------------------------------------------------------------------+
| Package contents                             Thu, 02 Jul 2026 09:47:21 +0000 |
+------------------------------------------------------------------------------+


herdtools7_7.58-1+ocaml1_amd64.deb
----------------------------------

 new Debian package, version 2.0.
 size 39080292 bytes: control archive=2532 bytes.
    1294 bytes,    26 lines      control
    3274 bytes,    62 lines      md5sums
 Package: herdtools7
 Version: 7.58-1+ocaml1
 Architecture: amd64
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 251363
 Depends: libc6 (>= 2.42), libgmp10 (>= 2:6.3.0+dfsg)
 Section: ocaml
 Priority: optional
 Homepage: https://github.com/herd/herdtools7
 Description: Tool suite to test weak memory models
  herdtools7 is a tool suite to design, simulate and test weak memory models
  which are used in modern CPU architectures. It provides a unified environment
  for generating small concurrent programs (litmus tests), running them on real
  hardware, and simulating them under formal memory‑model specifications.
  By comparing theoretical models with observed hardware behavior, herdtools7
  helps researchers, compiler writers, and systems engineers understand subtle
  ordering effects, validate memory‑model definitions, and reason about
  correctness in highly parallel architectures.
  .
  The tool suite include various tools, including:
   * herd7: a generic simulator for weak memory models
   * litmus7: run litmus tests (given as assembler programs for Power, ARM,
     AArch64 or X86) to test the memory model of the executing machine
   * diy7: produce litmus tests from concise specifications
  .
  herdtools7 is the successor of the diy tool suite.

drwxr-xr-x root/root         0 2026-07-02 09:39 ./
drwxr-xr-x root/root         0 2026-07-02 09:39 ./usr/
drwxr-xr-x root/root         0 2026-07-02 09:39 ./usr/bin/
-rwxr-xr-x root/root   3374536 2026-07-02 09:39 ./usr/bin/aslbundler
-rwxr-xr-x root/root   5548104 2026-07-02 09:39 ./usr/bin/aslref
-rwxr-xr-x root/root   4693064 2026-07-02 09:39 ./usr/bin/atomize7
-rwxr-xr-x root/root   4630312 2026-07-02 09:39 ./usr/bin/atoms7
-rwxr-xr-x root/root   1924712 2026-07-02 09:39 ./usr/bin/bento
-rwxr-xr-x root/root   2027464 2026-07-02 09:39 ./usr/bin/cat2html7
-rwxr-xr-x root/root   4803944 2026-07-02 09:39 ./usr/bin/classify7
-rwxr-xr-x root/root   6287080 2026-07-02 09:39 ./usr/bin/diy7
-rwxr-xr-x root/root   6187912 2026-07-02 09:39 ./usr/bin/diycross7
-rwxr-xr-x root/root   6178760 2026-07-02 09:39 ./usr/bin/diyone7
-rwxr-xr-x root/root   1805800 2026-07-02 09:39 ./usr/bin/gen_theme7
-rwxr-xr-x root/root  18170568 2026-07-02 09:39 ./usr/bin/herd7
-rwxr-xr-x root/root   8273064 2026-07-02 09:39 ./usr/bin/jingle7
-rwxr-xr-x root/root   5784552 2026-07-02 09:39 ./usr/bin/klitmus7
-rwxr-xr-x root/root   2950824 2026-07-02 09:39 ./usr/bin/knames7
-rwxr-xr-x root/root   1947848 2026-07-02 09:39 ./usr/bin/ksort7
-rwxr-xr-x root/root  11040552 2026-07-02 09:39 ./usr/bin/litmus7
-rwxr-xr-x root/root   8856072 2026-07-02 09:39 ./usr/bin/madd7
-rwxr-xr-x root/root   1969448 2026-07-02 09:39 ./usr/bin/mapply7
-rwxr-xr-x root/root   2584584 2026-07-02 09:39 ./usr/bin/mcat2includes7
-rwxr-xr-x root/root   3189736 2026-07-02 09:39 ./usr/bin/mcmp7
-rwxr-xr-x root/root   3422216 2026-07-02 09:39 ./usr/bin/mcompare7
-rwxr-xr-x root/root   2263016 2026-07-02 09:39 ./usr/bin/mcond7
-rwxr-xr-x root/root   2255656 2026-07-02 09:39 ./usr/bin/mcycles7
-rwxr-xr-x root/root   8841384 2026-07-02 09:39 ./usr/bin/mdiag7
-rwxr-xr-x root/root   3191976 2026-07-02 09:39 ./usr/bin/mdiff7
-rwxr-xr-x root/root   4512552 2026-07-02 09:39 ./usr/bin/mexpand7
-rwxr-xr-x root/root   3191240 2026-07-02 09:39 ./usr/bin/mfilter7
-rwxr-xr-x root/root   2289032 2026-07-02 09:39 ./usr/bin/mfind7
-rwxr-xr-x root/root   2028264 2026-07-02 09:39 ./usr/bin/mflags7
-rwxr-xr-x root/root   8933128 2026-07-02 09:39 ./usr/bin/mhash7
-rwxr-xr-x root/root   2693640 2026-07-02 09:39 ./usr/bin/miaou7
-rwxr-xr-x root/root   3197320 2026-07-02 09:39 ./usr/bin/mlisa2c7
-rwxr-xr-x root/root   3565192 2026-07-02 09:39 ./usr/bin/mlock7
-rwxr-xr-x root/root   3213064 2026-07-02 09:39 ./usr/bin/mlog2cond7
-rwxr-xr-x root/root   3084840 2026-07-02 09:39 ./usr/bin/mlog2name7
-rwxr-xr-x root/root   9034984 2026-07-02 09:39 ./usr/bin/mmixer7
-rwxr-xr-x root/root   2285320 2026-07-02 09:39 ./usr/bin/mnames7
-rwxr-xr-x root/root   2730856 2026-07-02 09:39 ./usr/bin/mobserved7
-rwxr-xr-x root/root   3183784 2026-07-02 09:39 ./usr/bin/moutcomes7
-rwxr-xr-x root/root   9014760 2026-07-02 09:39 ./usr/bin/mprog7
-rwxr-xr-x root/root   2749288 2026-07-02 09:39 ./usr/bin/mproj7
-rwxr-xr-x root/root   3122184 2026-07-02 09:39 ./usr/bin/mrcu7
-rwxr-xr-x root/root   8906600 2026-07-02 09:39 ./usr/bin/mselect7
-rwxr-xr-x root/root   8829640 2026-07-02 09:39 ./usr/bin/mshowhashes7
-rwxr-xr-x root/root   8893032 2026-07-02 09:39 ./usr/bin/msort7
-rwxr-xr-x root/root   3215528 2026-07-02 09:39 ./usr/bin/msum7
-rwxr-xr-x root/root   3183560 2026-07-02 09:39 ./usr/bin/mtopos7
-rwxr-xr-x root/root   2348904 2026-07-02 09:39 ./usr/bin/mtrue7
-rwxr-xr-x root/root   4517672 2026-07-02 09:39 ./usr/bin/nexts7
-rwxr-xr-x root/root   4692712 2026-07-02 09:39 ./usr/bin/norm7
-rwxr-xr-x root/root   2062632 2026-07-02 09:39 ./usr/bin/readRelax7
-rwxr-xr-x root/root   2860648 2026-07-02 09:39 ./usr/bin/recond7
-rwxr-xr-x root/root   2317480 2026-07-02 09:39 ./usr/bin/rehash7
-rwxr-xr-x root/root   2753736 2026-07-02 09:39 ./usr/bin/splitcond7
-rwxr-xr-x root/root   1708968 2026-07-02 09:39 ./usr/bin/splitdot7
drwxr-xr-x root/root         0 2026-07-02 09:39 ./usr/share/
drwxr-xr-x root/root         0 2026-07-02 09:39 ./usr/share/doc/
drwxr-xr-x root/root         0 2026-07-02 09:39 ./usr/share/doc/herdtools7/
-rw-r--r-- root/root      1941 2026-07-02 09:39 ./usr/share/doc/herdtools7/README.md
-rw-r--r-- root/root       261 2026-07-02 09:39 ./usr/share/doc/herdtools7/changelog.Debian.gz
-rw-r--r-- root/root      4835 2025-02-12 16:18 ./usr/share/doc/herdtools7/changelog.gz
-rw-r--r-- root/root     25865 2025-12-31 17:36 ./usr/share/doc/herdtools7/copyright
drwxr-xr-x root/root         0 2026-07-02 09:39 ./usr/share/doc/herdtools7/odoc-pages/
-rw-r--r-- root/root      1915 2026-07-02 09:39 ./usr/share/doc/herdtools7/odoc-pages/README.mld.gz
-rw-r--r-- root/root       170 2026-07-02 09:39 ./usr/share/doc/herdtools7/odoc-pages/index.mld


+------------------------------------------------------------------------------+
| Post Build                                   Thu, 02 Jul 2026 09:47:23 +0000 |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                      Thu, 02 Jul 2026 09:47:23 +0000 |
+------------------------------------------------------------------------------+

Purging /build/reproducible-path
Not cleaning session: cloned chroot in use

+------------------------------------------------------------------------------+
| Summary                                      Thu, 02 Jul 2026 09:47:25 +0000 |
+------------------------------------------------------------------------------+

Build Architecture: amd64
Build Type: full
Build-Space: 2143976
Build-Time: 429
Distribution: unstable-ocaml
Host Architecture: amd64
Install-Time: 40
Job: /tmp/tmp.ben.transition-scripts.waGvWywqD1/herdtools7_7.58-1+ocaml1.dsc
Machine Architecture: amd64
Package: herdtools7
Package-Time: 486
Source-Version: 7.58-1+ocaml1
Space: 2143976
Status: successful
Version: 7.58-1+ocaml1
--------------------------------------------------------------------------------
Finished at 2026-07-02T09:47:19Z
Build needed 00:08:06, 2143976k disk space