sbuild (Debian sbuild) 0.91.10 (27 June 2026) on cil.up7.fr +==============================================================================+ | herdtools7 7.58-2+ocaml1 (amd64) Mon, 07 Sep 2026 14:04:05 +0000 | +==============================================================================+ Package: herdtools7 Version: 7.58-2+ocaml1 Source Version: 7.58-2+ocaml1 Distribution: unstable-ocaml Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: Unpacking /home/steph/srv/ocaml.debian.net/transitions/20260907/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.xcePhPKbC0... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... +------------------------------------------------------------------------------+ | Chroot Setup Commands Mon, 07 Sep 2026 14:04:26 +0000 | +------------------------------------------------------------------------------+ /repo/conf/mk-release.sh ------------------------ dpkg-scanpackages: info: Wrote 422 entries to output Packages file. I: Finished running '/repo/conf/mk-release.sh'. Finished processing commands. -------------------------------------------------------------------------------- I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Mon, 07 Sep 2026 14:04:44 +0000 | +------------------------------------------------------------------------------+ Ign:1 file:/repo rebuilt InRelease Get:2 file:/repo rebuilt Release [1506 B] Get:2 file:/repo rebuilt Release [1506 B] Ign:3 file:/repo rebuilt Release.gpg Get:4 file:/repo rebuilt/main amd64 Packages [397 kB] Get:5 http://localhost:9999/debian unstable InRelease [193 kB] Get:6 http://localhost:9999/debian unstable/main amd64 Packages [10.8 MB] Get:7 http://localhost:9999/debian unstable/contrib amd64 Packages [64.4 kB] Get:8 http://localhost:9999/debian unstable/non-free amd64 Packages [132 kB] Get:9 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [10.8 kB] Fetched 11.2 MB in 2s (5944 kB/s) Reading package lists... 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 Mon, 07 Sep 2026 14:04:48 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.BT87JISSne/herdtools7_7.58-2+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.BT87JISSne; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Mon, 07 Sep 2026 14:04:52 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), dh-ocaml, libmenhir-ocaml-dev, libzarith-ocaml-dev, menhir, ocaml-native-compilers, ocaml-dune, python3, build-essential Filtered Build-Depends: debhelper-compat (= 13), dh-ocaml, libmenhir-ocaml-dev, libzarith-ocaml-dev, menhir, ocaml-native-compilers, ocaml-dune, python3, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-xyP1ap/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-xyP1ap/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-xyP1ap/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-xyP1ap/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-xyP1ap/apt_archive ./ Sources [705 B] Get:5 copy:/build/reproducible-path/resolver-xyP1ap/apt_archive ./ Packages [744 B] Fetched 2058 B in 0s (183 kB/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.8 MB/110 MB of archives. After this operation, 499 MB of additional disk space will be used. Get:1 file:/repo rebuilt/main amd64 dh-ocaml all 3.8+ocaml1 [202 kB] Get:2 copy:/build/reproducible-path/resolver-xyP1ap/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [908 B] Get:3 file:/repo rebuilt/main amd64 libstdlib-ocaml amd64 5.5.1-1~exp1+ocaml1 [432 kB] Get:4 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.5.1-1~exp1+ocaml1 [7115 kB] Get:5 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.5.1-1~exp1+ocaml1 [41.7 MB] Get:6 http://localhost:9999/debian unstable/main amd64 libexpat1 amd64 2.8.4-1 [130 kB] Get:7 http://localhost:9999/debian unstable/main amd64 libpython3.14-minimal amd64 3.14.7-3 [902 kB] Get:8 http://localhost:9999/debian unstable/main amd64 python3.14-minimal amd64 3.14.7-3 [2712 kB] Get:9 http://localhost:9999/debian unstable/main amd64 python3-minimal amd64 3.14.7-3 [25.3 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.6 [10.3 kB] Get:12 http://localhost:9999/debian unstable/main amd64 tzdata all 2026c-1 [260 kB] Get:13 http://localhost:9999/debian unstable/main amd64 libffi8 amd64 3.8.0-2 [32.5 kB] Get:14 http://localhost:9999/debian unstable/main amd64 libncursesw6 amd64 6.6+20260608-2 [137 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.4-2 [974 kB] Get:18 http://localhost:9999/debian unstable/main amd64 libpython3.14-stdlib amd64 3.14.7-3 [2360 kB] Get:19 http://localhost:9999/debian unstable/main amd64 python3.14 amd64 3.14.7-3 [861 kB] Get:20 http://localhost:9999/debian unstable/main amd64 libpython3-stdlib amd64 3.14.7-3 [8252 B] Get:21 http://localhost:9999/debian unstable/main amd64 python3 amd64 3.14.7-3 [26.0 kB] Get:22 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get:23 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.47-4 [345 kB] Get:24 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.47-4 [111 kB] Get:25 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.47-4 [43.0 kB] Get:26 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 1.0-3 [332 kB] Get:27 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b2 [69.0 kB] Get:28 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.24.1-1 [1336 kB] Get:29 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.42.3-1 [102 kB] Get:30 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB] Get:31 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:32 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB] Get:33 http://localhost:9999/debian unstable/main amd64 autoconf all 2.73-2 [516 kB] Get:34 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Get:35 http://localhost:9999/debian unstable/main amd64 automake all 1:1.18.1-4 [877 kB] Get:36 http://localhost:9999/debian unstable/main amd64 autopoint all 1.0-3 [820 kB] Get:37 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 14.3 [77.3 kB] Get:38 http://localhost:9999/debian unstable/main amd64 libtool all 2.6.2-2 [553 kB] Get:39 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 22 [12.2 kB] Get:40 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:41 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.1-1 [17.1 kB] Get:42 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.1-1 [6020 B] Get:43 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.196-1 [61.2 kB] Get:44 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.17-1 [109 kB] Get:45 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.4.2-1 [480 kB] Get:46 file:/repo rebuilt/main amd64 ocaml-base amd64 5.5.1-1~exp1+ocaml1 [553 kB] Get:47 http://localhost:9999/debian unstable/main amd64 libxml2-16 amd64 2.15.4+dfsg-1 [683 kB] Get:48 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.5.1-1~exp1+ocaml1 [8223 kB] Get:49 http://localhost:9999/debian unstable/main amd64 gettext amd64 1.0-3 [2658 kB] Get:50 http://localhost:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:51 http://localhost:9999/debian unstable/main amd64 po-debconf all 1.0.22 [216 kB] Get:52 http://localhost:9999/debian unstable/main amd64 debhelper all 14.3 [934 kB] Get:53 http://localhost:9999/debian unstable/main amd64 quickjs amd64 2025.04.26-1+b2 [443 kB] Get:54 http://localhost:9999/debian unstable/main amd64 libjson-perl all 4.10000-1 [87.5 kB] Get:55 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:56 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5+b2 [328 kB] Get:57 file:/repo rebuilt/main amd64 ocaml amd64 5.5.1-1~exp1+ocaml1 [19.7 MB] Get:58 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5+b2 [641 kB] Get:59 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5+b2 [321 kB] Get:60 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.6+20260608-2 [107 kB] Get:61 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.6+20260608-2 [356 kB] Get:62 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.7+dfsg-4 [371 kB] Get:63 file:/repo rebuilt/main amd64 libmenhir-ocaml-dev amd64 20260209+ds-3+ocaml1 [1036 kB] Get:64 file:/repo rebuilt/main amd64 libzarith-ocaml amd64 1.14-4+ocaml1 [115 kB] Get:65 file:/repo rebuilt/main amd64 libzarith-ocaml-dev amd64 1.14-4+ocaml1 [112 kB] Get:66 file:/repo rebuilt/main amd64 menhir amd64 20260209+ds-3+ocaml1 [1523 kB] Get:67 file:/repo rebuilt/main amd64 ocaml-dune amd64 3.24.1-4+ocaml1 [5605 kB] Preconfiguring packages ... Fetched 23.8 MB in 0s (51.9 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 12060 files and directories currently installed.) Preparing to unpack .../libexpat1_2.8.4-1_amd64.deb ... Unpacking libexpat1:amd64 (2.8.4-1) ... Selecting previously unselected package libpython3.14-minimal:amd64. Preparing to unpack .../libpython3.14-minimal_3.14.7-3_amd64.deb ... Unpacking libpython3.14-minimal:amd64 (3.14.7-3) ... Selecting previously unselected package python3.14-minimal. Preparing to unpack .../python3.14-minimal_3.14.7-3_amd64.deb ... Unpacking python3.14-minimal (3.14.7-3) ... Setting up libpython3.14-minimal:amd64 (3.14.7-3) ... Setting up libexpat1:amd64 (2.8.4-1) ... Setting up python3.14-minimal (3.14.7-3) ... Selecting previously unselected package python3-minimal. (Reading database ... 12416 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.14.7-3_amd64.deb ... Unpacking python3-minimal (3.14.7-3) ... 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.6_all.deb ... Unpacking netbase (6.6) ... Selecting previously unselected package tzdata. Preparing to unpack .../03-tzdata_2026c-1_all.deb ... Unpacking tzdata (2026c-1) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../04-libffi8_3.8.0-2_amd64.deb ... Unpacking libffi8:amd64 (3.8.0-2) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../05-libncursesw6_6.6+20260608-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.6+20260608-2) ... 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.4-2_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.53.4-2) ... Selecting previously unselected package libpython3.14-stdlib:amd64. Preparing to unpack .../09-libpython3.14-stdlib_3.14.7-3_amd64.deb ... Unpacking libpython3.14-stdlib:amd64 (3.14.7-3) ... Selecting previously unselected package python3.14. Preparing to unpack .../10-python3.14_3.14.7-3_amd64.deb ... Unpacking python3.14 (3.14.7-3) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../11-libpython3-stdlib_3.14.7-3_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.14.7-3) ... Setting up python3-minimal (3.14.7-3) ... Selecting previously unselected package python3. (Reading database ... 13462 files and directories currently installed.) Preparing to unpack .../00-python3_3.14.7-3_amd64.deb ... Unpacking python3 (3.14.7-3) ... 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-3_amd64.deb ... Unpacking gettext-base (1.0-3) ... 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.3-1_amd64.deb ... Unpacking bsdextrautils (2.42.3-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-3_all.deb ... Unpacking autopoint (1.0-3) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../16-libdebhelper-perl_14.3_all.deb ... Unpacking libdebhelper-perl (14.3) ... Selecting previously unselected package libtool. Preparing to unpack .../17-libtool_2.6.2-2_all.deb ... Unpacking libtool (2.6.2-2) ... 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.196-1_amd64.deb ... Unpacking libelf1t64:amd64 (0.196-1) ... Selecting previously unselected package dwz. Preparing to unpack .../23-dwz_0.17-1_amd64.deb ... Unpacking dwz (0.17-1) ... 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.4+dfsg-1_amd64.deb ... Unpacking libxml2-16:amd64 (2.15.4+dfsg-1) ... Selecting previously unselected package gettext. Preparing to unpack .../26-gettext_1.0-3_amd64.deb ... Unpacking gettext (1.0-3) ... 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.3_all.deb ... Unpacking debhelper (14.3) ... 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.8+ocaml1_all.deb ... Unpacking dh-ocaml (3.8+ocaml1) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../34-libstdlib-ocaml_5.5.1-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml (5.5.1-1~exp1+ocaml1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../35-libstdlib-ocaml-dev_5.5.1-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.5.1-1~exp1+ocaml1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../36-libcompiler-libs-ocaml-dev_5.5.1-1~exp1+ocaml1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.5.1-1~exp1+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.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-base (5.5.1-1~exp1+ocaml1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../41-ocaml-interp_5.5.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-interp (5.5.1-1~exp1+ocaml1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../42-libncurses6_6.6+20260608-2_amd64.deb ... Unpacking libncurses6:amd64 (6.6+20260608-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../43-libncurses-dev_6.6+20260608-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.6+20260608-2) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../44-libzstd-dev_1.5.7+dfsg-4_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-4) ... Selecting previously unselected package ocaml. Preparing to unpack .../45-ocaml_5.5.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml (5.5.1-1~exp1+ocaml1) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../46-libmenhir-ocaml-dev_20260209+ds-3+ocaml1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20260209+ds-3+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_20260209+ds-3+ocaml1_amd64.deb ... Unpacking menhir (20260209+ds-3+ocaml1) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../50-ocaml-dune_3.24.1-4+ocaml1_amd64.deb ... Unpacking ocaml-dune (3.24.1-4+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-4) ... Setting up bsdextrautils (2.42.3-1) ... Setting up libmagic-mgc (1:5.47-4) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libxml2-16:amd64 (2.15.4+dfsg-1) ... Setting up libdebhelper-perl (14.3) ... Setting up libsqlite3-0:amd64 (3.53.4-2) ... Setting up libmagic1t64:amd64 (1:5.47-4) ... Setting up gettext-base (1.0-3) ... 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.196-1) ... Setting up quickjs (2025.04.26-1+b2) ... Setting up ocaml-dune (3.24.1-4+ocaml1) ... Setting up tzdata (2026c-1) ... Current default time zone: 'Etc/UTC' Local time is now: Mon Sep 7 14:05:43 UTC 2026. Universal Time is now: Mon Sep 7 14:05:43 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+20260608-2) ... Setting up libstdlib-ocaml (5.5.1-1~exp1+ocaml1) ... Setting up libunistring5:amd64 (1.4.2-1) ... Setting up autopoint (1.0-3) ... Setting up ocaml-base (5.5.1-1~exp1+ocaml1) ... Setting up libncursesw6:amd64 (6.6+20260608-2) ... Setting up autoconf (2.73-2) ... Setting up libffi8:amd64 (3.8.0-2) ... Setting up dwz (0.17-1) ... 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.6) ... Setting up readline-common (8.3-4) ... Setting up menhir (20260209+ds-3+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+20260608-2) ... Setting up gettext (1.0-3) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5+b2) ... Setting up libtool (2.6.2-2) ... Setting up libstdlib-ocaml-dev (5.5.1-1~exp1+ocaml1) ... Setting up dh-ocaml (3.8+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.1-1~exp1+ocaml1) ... Setting up ocaml-interp (5.5.1-1~exp1+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.7-3) ... Setting up po-debconf (1.0.22) ... Setting up ocaml (5.5.1-1~exp1+ocaml1) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libmenhir-ocaml-dev (20260209+ds-3+ocaml1) ... Setting up libzarith-ocaml-dev (1.14-4+ocaml1) ... Setting up python3.14 (3.14.7-3) ... Setting up libpython3-stdlib:amd64 (3.14.7-3) ... Setting up debhelper (14.3) ... Setting up python3 (3.14.7-3) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.43-5) ... +------------------------------------------------------------------------------+ | Check architectures Mon, 07 Sep 2026 14:05:47 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Mon, 07 Sep 2026 14:05:47 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 7.1.8+deb14.1-amd64 #1 SMP PREEMPT_DYNAMIC Debian 7.1.8-2 (2026-08-15) amd64 (x86_64) Toolchain package versions: binutils_2.47-4 dpkg-dev_1.23.7 g++-16_16.2.0-2 gcc-16_16.2.0-2 libc6-dev_2.43-5 libstdc++-16-dev_16.2.0-2 libstdc++6_16.2.0-2 linux-libc-dev_7.1.13-1 Package versions: apt_3.3.3 apt-utils_3.3.3 autoconf_2.73-2 automake_1:1.18.1-4 autopoint_1.0-3 autotools-dev_20240727.1+nmu1 base-files_14.2 base-passwd_3.6.8 bash_5.3-4 binutils_2.47-4 binutils-common_2.47-4 binutils-x86-64-linux-gnu_2.47-4 bsdextrautils_2.42.3-1 build-essential_12.12 bzip2_1.0.8-6+b2 coreutils_9.10-1 cpp_4:16.1.0-3 cpp-16_16.2.0-2 cpp-16-x86-64-linux-gnu_16.2.0-2 cpp-x86-64-linux-gnu_4:16.1.0-3 dash_0.5.12-12 debconf_1.5.92 debhelper_14.3 debian-archive-keyring_2025.1 debianutils_5.24 dh-autoreconf_22 dh-ocaml_3.8+ocaml1 dh-strip-nondeterminism_1.15.1-1 diffutils_1:3.12-1 dpkg_1.23.7 dpkg-dev_1.23.7 dwz_0.17-1 file_1:5.47-4 findutils_4.11.0-2 g++_4:16.1.0-3 g++-16_16.2.0-2 g++-16-x86-64-linux-gnu_16.2.0-2 g++-x86-64-linux-gnu_4:16.1.0-3 gcc_4:16.1.0-3 gcc-16_16.2.0-2 gcc-16-base_16.2.0-2 gcc-16-x86-64-linux-gnu_16.2.0-2 gcc-x86-64-linux-gnu_4:16.1.0-3 gettext_1.0-3 gettext-base_1.0-3 grep_3.12-1 groff-base_1.24.1-1 gzip_1.14-1 hostname_3.25 init-system-helpers_1.69+nmu1 intltool-debian_0.35.0+20060710.6 libacl1_2.4.0-1 libapt-pkg7.0_3.3.3 libarchive-zip-perl_1.68-1 libasan8_16.2.0-2 libatomic1_16.2.0-2 libattr1_1:2.6.0-1 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b2 libbinutils_2.47-4 libblkid1_2.42.3-1 libbz2-1.0_1.0.8-6+b2 libc-bin_2.43-5 libc-dev-bin_2.43-5 libc-gconv-modules-extra_2.43-5 libc6_2.43-5 libc6-dev_2.43-5 libcap-ng0_0.9.5-2 libcc1-0_16.2.0-2 libcompiler-libs-ocaml-dev_5.5.1-1~exp1+ocaml1 libconfig-tiny-perl_2.30-1 libcrypt1_1:4.5.2+20251210-1 libctf-nobfd0_2.47-4 libctf0_2.47-4 libdb5.3t64_5.3.28+dfsg2-11+b1 libdebconfclient0_0.283 libdebhelper-perl_14.3 libdpkg-perl_1.23.7 libelf1t64_0.196-1 libexpat1_2.8.4-1 libffi8_3.8.0-2 libfile-stripnondeterminism-perl_1.15.1-1 libgcc-16-dev_16.2.0-2 libgcc-s1_16.2.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.2.0-2 libgprofng0_2.47-4 libhogweed6t64_3.10.2-1+b1 libhwasan0_16.2.0-2 libisl23_0.28-1 libitm1_16.2.0-2 libjansson4_2.15.1-1 libjson-perl_4.10000-1 liblsan0_16.2.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_20260209+ds-3+ocaml1 libmount1_2.42.3-1 libmpc3_1.3.1-3 libmpfr6_4.2.2-3 libncurses-dev_6.6+20260608-2 libncurses6_6.6+20260608-2 libncursesw6_6.6+20260608-2 libnettle8t64_3.10.2-1+b1 libpam-modules_1.7.0-8 libpam-modules-bin_1.7.0-8 libpam-runtime_1.7.0-8 libpam0g_1.7.0-8 libpcre2-8-0_10.48-2 libperl5.42_5.42.3-1 libpipeline1_1.5.8-3 libpython3-stdlib_3.14.7-3 libpython3.14-minimal_3.14.7-3 libpython3.14-stdlib_3.14.7-3 libquadmath0_16.2.0-2 libreadline8t64_8.3-4 libseccomp2_2.6.1-1+b1 libselinux1_3.11-2 libsframe3_2.47-4 libsmartcols1_2.42.3-1 libsqlite3-0_3.53.4-2 libssl3t64_3.6.4-1 libstdc++-16-dev_16.2.0-2 libstdc++6_16.2.0-2 libstdlib-ocaml_5.5.1-1~exp1+ocaml1 libstdlib-ocaml-dev_5.5.1-1~exp1+ocaml1 libsystemd0_262~rc1-2 libtinfo6_6.6+20260608-2 libtool_2.6.2-2 libtsan2_16.2.0-2 libubsan1_16.2.0-2 libuchardet0_0.0.8-2+b2 libudev1_262~rc1-2 libunistring5_1.4.2-1 libuuid1_2.42.3-1 libxml2-16_2.15.4+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-4 libzstd1_1.5.7+dfsg-4 linux-libc-dev_7.1.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_20260209+ds-3+ocaml1 ncurses-base_6.6+20260608-2 ncurses-bin_6.6+20260608-2 netbase_6.6 ocaml_5.5.1-1~exp1+ocaml1 ocaml-base_5.5.1-1~exp1+ocaml1 ocaml-dune_3.24.1-4+ocaml1 ocaml-interp_5.5.1-1~exp1+ocaml1 openssl-provider-legacy_3.6.4-1 patch_2.8-2 perl_5.42.3-1 perl-base_5.42.3-1 perl-modules-5.42_5.42.3-1 po-debconf_1.0.22 python3_3.14.7-3 python3-minimal_3.14.7-3 python3.14_3.14.7-3 python3.14-minimal_3.14.7-3 quickjs_2025.04.26-1+b2 readline-common_8.3-4 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-3 sensible-utils_0.0.26 sqv_1.5.0-1 sysvinit-utils_3.18-1 tar_1.35+dfsg-5 tzdata_2026c-1 util-linux_2.42.3-1 xz-utils_5.8.3-1 zlib1g_1:1.3.dfsg+really1.3.2-3 +------------------------------------------------------------------------------+ | Build Mon, 07 Sep 2026 14:05:47 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: herdtools7 Binary: herdtools7 Architecture: any Version: 7.58-2+ocaml1 Maintainer: Debian OCaml Maintainers Uploaders: Sebastian Andrzej Siewior 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-native-compilers, ocaml-dune, python3 Package-List: herdtools7 deb ocaml optional arch=any Checksums-Sha1: 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz 5f4e697d61d161a54ecc90c6a2dfac7187d737de 10244 herdtools7_7.58-2+ocaml1.debian.tar.xz Checksums-Sha256: c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz cc03a9c59926f2ca65dfcc4db21b059b592c0a0d3fcd8955660b183e9c5922b7 10244 herdtools7_7.58-2+ocaml1.debian.tar.xz Files: ac70df55c75933ca6a8fe4fa4754c7e9 1600124 herdtools7_7.58.orig.tar.gz d74d70d52158014468ceeca451fedbc4 10244 herdtools7_7.58-2+ocaml1.debian.tar.xz dpkg-source: warning: extracting unsigned source package (herdtools7_7.58-2+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-2+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=2 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-2+ocaml1 dpkg-buildpackage: info: source distribution unstable-ocaml dpkg-buildpackage: info: source changed by Anonymous Builder 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-2+ocaml1.debian.tar.xz dpkg-source: info: building herdtools7 in ../herdtools7_7.58-2+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 PREFIX=/usr 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 2 -p herdtools7 dh_auto_test -O--buildsystem=ocaml_dune dune runtest -j 2 -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.1 herdtools7 debian/rules execute_after_dh_auto_install make[1]: Entering directory '/build/reproducible-path/herdtools7-7.58' mkdir -p debian/tmp/usr/share/herdtools7/ cp -a herd/libdir debian/tmp/usr/share/herdtools7 mv debian/tmp/usr/share/herdtools7/libdir debian/tmp/usr/share/herdtools7/herd cp -a litmus/libdir/ debian/tmp/usr/share/herdtools7 mv debian/tmp/usr/share/herdtools7/libdir debian/tmp/usr/share/herdtools7/litmus make[1]: Leaving directory '/build/reproducible-path/herdtools7-7.58' 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-2+ocaml1_amd64.deb'. dpkg-genbuildinfo -O../herdtools7_7.58-2+ocaml1_amd64.buildinfo dpkg-genchanges -sa -O../herdtools7_7.58-2+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-09-07T14:15:34Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Mon, 07 Sep 2026 14:15:41 +0000 | +------------------------------------------------------------------------------+ herdtools7_7.58-2+ocaml1_amd64.changes: --------------------------------------- Format: 1.8 Date: Mon, 07 Sep 2026 16:04:03 +0200 Source: herdtools7 Binary: herdtools7 Architecture: source amd64 Version: 7.58-2+ocaml1 Distribution: unstable-ocaml Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: herdtools7 - Tool suite to test weak memory models Changes: herdtools7 (7.58-2+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.5.1 Checksums-Sha1: d7f48763547149fe645a615fdc3b08db2aa93d14 1193 herdtools7_7.58-2+ocaml1.dsc 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz 41c6a41ffe616b57b6810c853e98602fdd4192a0 10244 herdtools7_7.58-2+ocaml1.debian.tar.xz d9961da3695735d3dc719ceff8b81d7fffba8751 5872 herdtools7_7.58-2+ocaml1_amd64.buildinfo ff0aa46d4f4e961975a128fa346f42f52ce174f6 39247224 herdtools7_7.58-2+ocaml1_amd64.deb Checksums-Sha256: 2b4d1cba07dcb31be697b901d3dd35833b2dae037cc46931befa774478abaec3 1193 herdtools7_7.58-2+ocaml1.dsc c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz 384796ac85a30888ee153a0d9b5a824bbfe8a5da5ebc8334e2d08a8e10152f33 10244 herdtools7_7.58-2+ocaml1.debian.tar.xz 82f65e3f6d5091715f7dc393b040a78f49a90ed408ea45ed312131a486c336fa 5872 herdtools7_7.58-2+ocaml1_amd64.buildinfo db28e113792038738baacdfce0c7286dbafdceabdb9910a88639c816eeaff4a2 39247224 herdtools7_7.58-2+ocaml1_amd64.deb Files: b3c080ff68fdf74a64cb9044e027308b 1193 ocaml optional herdtools7_7.58-2+ocaml1.dsc ac70df55c75933ca6a8fe4fa4754c7e9 1600124 ocaml optional herdtools7_7.58.orig.tar.gz ab1b90e844d4926249dab7bca05619b3 10244 ocaml optional herdtools7_7.58-2+ocaml1.debian.tar.xz 907ae48109d2d96cf5d1124148c577f9 5872 ocaml optional herdtools7_7.58-2+ocaml1_amd64.buildinfo 44e8b5b7e135b900242cd28241eddbe6 39247224 ocaml optional herdtools7_7.58-2+ocaml1_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Mon, 07 Sep 2026 14:15:46 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: herdtools7 Binary: herdtools7 Architecture: amd64 source Version: 7.58-2+ocaml1 Checksums-Md5: b3c080ff68fdf74a64cb9044e027308b 1193 herdtools7_7.58-2+ocaml1.dsc 44e8b5b7e135b900242cd28241eddbe6 39247224 herdtools7_7.58-2+ocaml1_amd64.deb Checksums-Sha1: d7f48763547149fe645a615fdc3b08db2aa93d14 1193 herdtools7_7.58-2+ocaml1.dsc ff0aa46d4f4e961975a128fa346f42f52ce174f6 39247224 herdtools7_7.58-2+ocaml1_amd64.deb Checksums-Sha256: 2b4d1cba07dcb31be697b901d3dd35833b2dae037cc46931befa774478abaec3 1193 herdtools7_7.58-2+ocaml1.dsc db28e113792038738baacdfce0c7286dbafdceabdb9910a88639c816eeaff4a2 39247224 herdtools7_7.58-2+ocaml1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Mon, 07 Sep 2026 14:15:28 +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-3), autotools-dev (= 20240727.1+nmu1), base-files (= 14.2), base-passwd (= 3.6.8), bash (= 5.3-4), binutils (= 2.47-4), binutils-common (= 2.47-4), binutils-x86-64-linux-gnu (= 2.47-4), bsdextrautils (= 2.42.3-1), build-essential (= 12.12), bzip2 (= 1.0.8-6+b2), coreutils (= 9.10-1), cpp (= 4:16.1.0-3), cpp-16 (= 16.2.0-2), cpp-16-x86-64-linux-gnu (= 16.2.0-2), cpp-x86-64-linux-gnu (= 4:16.1.0-3), dash (= 0.5.12-12), debconf (= 1.5.92), debhelper (= 14.3), debianutils (= 5.24), dh-autoreconf (= 22), dh-ocaml (= 3.8+ocaml1), dh-strip-nondeterminism (= 1.15.1-1), diffutils (= 1:3.12-1), dpkg (= 1.23.7), dpkg-dev (= 1.23.7), dwz (= 0.17-1), file (= 1:5.47-4), findutils (= 4.11.0-2), g++ (= 4:16.1.0-3), g++-16 (= 16.2.0-2), g++-16-x86-64-linux-gnu (= 16.2.0-2), g++-x86-64-linux-gnu (= 4:16.1.0-3), gcc (= 4:16.1.0-3), gcc-16 (= 16.2.0-2), gcc-16-base (= 16.2.0-2), gcc-16-x86-64-linux-gnu (= 16.2.0-2), gcc-x86-64-linux-gnu (= 4:16.1.0-3), gettext (= 1.0-3), gettext-base (= 1.0-3), grep (= 3.12-1), groff-base (= 1.24.1-1), gzip (= 1.14-1), hostname (= 3.25), init-system-helpers (= 1.69+nmu1), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.4.0-1), libarchive-zip-perl (= 1.68-1), libasan8 (= 16.2.0-2), libatomic1 (= 16.2.0-2), libattr1 (= 1:2.6.0-1), libaudit-common (= 1:4.1.2-1), libaudit1 (= 1:4.1.2-1+b2), libbinutils (= 2.47-4), libblkid1 (= 2.42.3-1), libbz2-1.0 (= 1.0.8-6+b2), libc-bin (= 2.43-5), libc-dev-bin (= 2.43-5), libc-gconv-modules-extra (= 2.43-5), libc6 (= 2.43-5), libc6-dev (= 2.43-5), libcap-ng0 (= 0.9.5-2), libcc1-0 (= 16.2.0-2), libcompiler-libs-ocaml-dev (= 5.5.1-1~exp1+ocaml1), libconfig-tiny-perl (= 2.30-1), libcrypt1 (= 1:4.5.2+20251210-1), libctf-nobfd0 (= 2.47-4), libctf0 (= 2.47-4), libdb5.3t64 (= 5.3.28+dfsg2-11+b1), libdebconfclient0 (= 0.283), libdebhelper-perl (= 14.3), libdpkg-perl (= 1.23.7), libelf1t64 (= 0.196-1), libexpat1 (= 2.8.4-1), libffi8 (= 3.8.0-2), libfile-stripnondeterminism-perl (= 1.15.1-1), libgcc-16-dev (= 16.2.0-2), libgcc-s1 (= 16.2.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.2.0-2), libgprofng0 (= 2.47-4), libhwasan0 (= 16.2.0-2), libisl23 (= 0.28-1), libitm1 (= 16.2.0-2), libjansson4 (= 2.15.1-1), libjson-perl (= 4.10000-1), liblsan0 (= 16.2.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 (= 20260209+ds-3+ocaml1), libmount1 (= 2.42.3-1), libmpc3 (= 1.3.1-3), libmpfr6 (= 4.2.2-3), libncurses-dev (= 6.6+20260608-2), libncurses6 (= 6.6+20260608-2), libncursesw6 (= 6.6+20260608-2), libpam-modules (= 1.7.0-8), libpam-modules-bin (= 1.7.0-8), libpam-runtime (= 1.7.0-8), libpam0g (= 1.7.0-8), libpcre2-8-0 (= 10.48-2), libperl5.42 (= 5.42.3-1), libpipeline1 (= 1.5.8-3), libpython3-stdlib (= 3.14.7-3), libpython3.14-minimal (= 3.14.7-3), libpython3.14-stdlib (= 3.14.7-3), libquadmath0 (= 16.2.0-2), libreadline8t64 (= 8.3-4), libseccomp2 (= 2.6.1-1+b1), libselinux1 (= 3.11-2), libsframe3 (= 2.47-4), libsmartcols1 (= 2.42.3-1), libsqlite3-0 (= 3.53.4-2), libssl3t64 (= 3.6.4-1), libstdc++-16-dev (= 16.2.0-2), libstdc++6 (= 16.2.0-2), libstdlib-ocaml (= 5.5.1-1~exp1+ocaml1), libstdlib-ocaml-dev (= 5.5.1-1~exp1+ocaml1), libsystemd0 (= 262~rc1-2), libtinfo6 (= 6.6+20260608-2), libtool (= 2.6.2-2), libtsan2 (= 16.2.0-2), libubsan1 (= 16.2.0-2), libuchardet0 (= 0.0.8-2+b2), libudev1 (= 262~rc1-2), libunistring5 (= 1.4.2-1), libuuid1 (= 2.42.3-1), libxml2-16 (= 2.15.4+dfsg-1), libzarith-ocaml (= 1.14-4+ocaml1), libzarith-ocaml-dev (= 1.14-4+ocaml1), libzstd-dev (= 1.5.7+dfsg-4), libzstd1 (= 1.5.7+dfsg-4), linux-libc-dev (= 7.1.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 (= 20260209+ds-3+ocaml1), ncurses-base (= 6.6+20260608-2), ncurses-bin (= 6.6+20260608-2), netbase (= 6.6), ocaml (= 5.5.1-1~exp1+ocaml1), ocaml-base (= 5.5.1-1~exp1+ocaml1), ocaml-dune (= 3.24.1-4+ocaml1), ocaml-interp (= 5.5.1-1~exp1+ocaml1), openssl-provider-legacy (= 3.6.4-1), patch (= 2.8-2), perl (= 5.42.3-1), perl-base (= 5.42.3-1), perl-modules-5.42 (= 5.42.3-1), po-debconf (= 1.0.22), python3 (= 3.14.7-3), python3-minimal (= 3.14.7-3), python3.14 (= 3.14.7-3), python3.14-minimal (= 3.14.7-3), quickjs (= 2025.04.26-1+b2), readline-common (= 8.3-4), sed (= 4.9-3), sensible-utils (= 0.0.26), sysvinit-utils (= 3.18-1), tar (= 1.35+dfsg-5), tzdata (= 2026c-1), util-linux (= 2.42.3-1), xz-utils (= 5.8.3-1), zlib1g (= 1:1.3.dfsg+really1.3.2-3) Environment: DEB_BUILD_OPTIONS="parallel=2" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1788789843" +------------------------------------------------------------------------------+ | Package contents Mon, 07 Sep 2026 14:15:48 +0000 | +------------------------------------------------------------------------------+ herdtools7_7.58-2+ocaml1_amd64.deb ---------------------------------- new Debian package, version 2.0. size 39247224 bytes: control archive=9372 bytes. 1294 bytes, 26 lines control 25313 bytes, 352 lines md5sums Package: herdtools7 Version: 7.58-2+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 252726 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-09-07 14:04 ./ drwxr-xr-x root/root 0 2026-09-07 14:04 ./usr/ drwxr-xr-x root/root 0 2026-09-07 14:04 ./usr/bin/ -rwxr-xr-x root/root 3383016 2026-09-07 14:04 ./usr/bin/aslbundler -rwxr-xr-x root/root 5495656 2026-09-07 14:04 ./usr/bin/aslref -rwxr-xr-x root/root 4706984 2026-09-07 14:04 ./usr/bin/atomize7 -rwxr-xr-x root/root 4640136 2026-09-07 14:04 ./usr/bin/atoms7 -rwxr-xr-x root/root 1937064 2026-09-07 14:04 ./usr/bin/bento -rwxr-xr-x root/root 2035720 2026-09-07 14:04 ./usr/bin/cat2html7 -rwxr-xr-x root/root 4813768 2026-09-07 14:04 ./usr/bin/classify7 -rwxr-xr-x root/root 6301032 2026-09-07 14:04 ./usr/bin/diy7 -rwxr-xr-x root/root 6197736 2026-09-07 14:04 ./usr/bin/diycross7 -rwxr-xr-x root/root 6192712 2026-09-07 14:04 ./usr/bin/diyone7 -rwxr-xr-x root/root 1809928 2026-09-07 14:04 ./usr/bin/gen_theme7 -rwxr-xr-x root/root 18122216 2026-09-07 14:04 ./usr/bin/herd7 -rwxr-xr-x root/root 8284104 2026-09-07 14:04 ./usr/bin/jingle7 -rwxr-xr-x root/root 5793448 2026-09-07 14:04 ./usr/bin/klitmus7 -rwxr-xr-x root/root 2955464 2026-09-07 14:04 ./usr/bin/knames7 -rwxr-xr-x root/root 1960200 2026-09-07 14:04 ./usr/bin/ksort7 -rwxr-xr-x root/root 11051080 2026-09-07 14:04 ./usr/bin/litmus7 -rwxr-xr-x root/root 8866824 2026-09-07 14:04 ./usr/bin/madd7 -rwxr-xr-x root/root 1973608 2026-09-07 14:04 ./usr/bin/mapply7 -rwxr-xr-x root/root 2594408 2026-09-07 14:04 ./usr/bin/mcat2includes7 -rwxr-xr-x root/root 3198472 2026-09-07 14:04 ./usr/bin/mcmp7 -rwxr-xr-x root/root 3430984 2026-09-07 14:04 ./usr/bin/mcompare7 -rwxr-xr-x root/root 2275368 2026-09-07 14:04 ./usr/bin/mcond7 -rwxr-xr-x root/root 2263912 2026-09-07 14:04 ./usr/bin/mcycles7 -rwxr-xr-x root/root 8852168 2026-09-07 14:04 ./usr/bin/mdiag7 -rwxr-xr-x root/root 3200744 2026-09-07 14:04 ./usr/bin/mdiff7 -rwxr-xr-x root/root 4526472 2026-09-07 14:04 ./usr/bin/mexpand7 -rwxr-xr-x root/root 3199976 2026-09-07 14:04 ./usr/bin/mfilter7 -rwxr-xr-x root/root 2297288 2026-09-07 14:04 ./usr/bin/mfind7 -rwxr-xr-x root/root 2036520 2026-09-07 14:04 ./usr/bin/mflags7 -rwxr-xr-x root/root 8947976 2026-09-07 14:04 ./usr/bin/mhash7 -rwxr-xr-x root/root 2703464 2026-09-07 14:04 ./usr/bin/miaou7 -rwxr-xr-x root/root 3206152 2026-09-07 14:04 ./usr/bin/mlisa2c7 -rwxr-xr-x root/root 3574440 2026-09-07 14:04 ./usr/bin/mlock7 -rwxr-xr-x root/root 3221832 2026-09-07 14:04 ./usr/bin/mlog2cond7 -rwxr-xr-x root/root 3089480 2026-09-07 14:04 ./usr/bin/mlog2name7 -rwxr-xr-x root/root 9045768 2026-09-07 14:04 ./usr/bin/mmixer7 -rwxr-xr-x root/root 2297672 2026-09-07 14:04 ./usr/bin/mnames7 -rwxr-xr-x root/root 2743688 2026-09-07 14:04 ./usr/bin/mobserved7 -rwxr-xr-x root/root 3188456 2026-09-07 14:04 ./usr/bin/moutcomes7 -rwxr-xr-x root/root 9025512 2026-09-07 14:04 ./usr/bin/mprog7 -rwxr-xr-x root/root 2758056 2026-09-07 14:04 ./usr/bin/mproj7 -rwxr-xr-x root/root 3131016 2026-09-07 14:04 ./usr/bin/mrcu7 -rwxr-xr-x root/root 8917352 2026-09-07 14:04 ./usr/bin/mselect7 -rwxr-xr-x root/root 8848584 2026-09-07 14:04 ./usr/bin/mshowhashes7 -rwxr-xr-x root/root 8907880 2026-09-07 14:04 ./usr/bin/msort7 -rwxr-xr-x root/root 3224264 2026-09-07 14:04 ./usr/bin/msum7 -rwxr-xr-x root/root 3188200 2026-09-07 14:04 ./usr/bin/mtopos7 -rwxr-xr-x root/root 2357160 2026-09-07 14:04 ./usr/bin/mtrue7 -rwxr-xr-x root/root 4527496 2026-09-07 14:04 ./usr/bin/nexts7 -rwxr-xr-x root/root 4702536 2026-09-07 14:04 ./usr/bin/norm7 -rwxr-xr-x root/root 2066792 2026-09-07 14:04 ./usr/bin/readRelax7 -rwxr-xr-x root/root 2869384 2026-09-07 14:04 ./usr/bin/recond7 -rwxr-xr-x root/root 2321640 2026-09-07 14:04 ./usr/bin/rehash7 -rwxr-xr-x root/root 2766568 2026-09-07 14:04 ./usr/bin/splitcond7 -rwxr-xr-x root/root 1713128 2026-09-07 14:04 ./usr/bin/splitdot7 drwxr-xr-x root/root 0 2026-09-07 14:04 ./usr/share/ drwxr-xr-x root/root 0 2026-09-07 14:04 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-09-07 14:04 ./usr/share/doc/herdtools7/ -rw-r--r-- root/root 1941 2026-09-07 14:04 ./usr/share/doc/herdtools7/README.md -rw-r--r-- root/root 376 2026-09-07 14:04 ./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-09-07 14:04 ./usr/share/doc/herdtools7/odoc-pages/ -rw-r--r-- root/root 1915 2026-09-07 14:04 ./usr/share/doc/herdtools7/odoc-pages/README.mld.gz -rw-r--r-- root/root 170 2026-09-07 14:04 ./usr/share/doc/herdtools7/odoc-pages/index.mld drwxr-xr-x root/root 0 2026-09-07 14:04 ./usr/share/herdtools7/ drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/herd/ -rw-r--r-- root/root 250 2025-02-12 16:18 ./usr/share/herdtools7/herd/C11-README.txt -rw-r--r-- root/root 245 2025-02-12 16:18 ./usr/share/herdtools7/herd/LL.cat -rw-r--r-- root/root 385 2025-02-12 16:18 ./usr/share/herdtools7/herd/aarch32.cat -rw-r--r-- root/root 962 2025-02-12 16:18 ./usr/share/herdtools7/herd/aarch64-obsolete.cat -rw-r--r-- root/root 6434 2025-02-12 16:18 ./usr/share/herdtools7/herd/aarch64.cat -rw-r--r-- root/root 3862 2025-02-12 16:18 ./usr/share/herdtools7/herd/aarch64bbm.cat -rw-r--r-- root/root 3640 2025-02-12 16:18 ./usr/share/herdtools7/herd/aarch64deps.cat -rw-r--r-- root/root 2242 2025-02-12 16:18 ./usr/share/herdtools7/herd/aarch64fences.cat -rw-r--r-- root/root 6168 2025-02-12 16:18 ./usr/share/herdtools7/herd/aarch64hwreqs.cat -rw-r--r-- root/root 828 2025-02-12 16:18 ./usr/share/herdtools7/herd/aarch64loc.cat -rw-r--r-- root/root 6801 2025-02-12 16:18 ./usr/share/herdtools7/herd/aarch64memattrs.cat -rw-r--r-- root/root 340 2025-02-12 16:18 ./usr/share/herdtools7/herd/aarch64show.cat -rw-r--r-- root/root 4999 2025-02-12 16:18 ./usr/share/herdtools7/herd/aarch64util.cat -rw-r--r-- root/root 262 2025-02-12 16:18 ./usr/share/herdtools7/herd/all.cfg -rw-r--r-- root/root 161 2025-02-12 16:18 ./usr/share/herdtools7/herd/apoil.cfg -rw-r--r-- root/root 755 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-alt.cat drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/ drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/mixed/ -rw-r--r-- root/root 2587 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/mixed/armv8-common.cat -rw-r--r-- root/root 3063 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/mixed/ec.cat -rw-r--r-- root/root 2810 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/mixed/egc.cat -rw-r--r-- root/root 2072 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/mixed/ev.cat -rw-r--r-- root/root 2106 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/mixed/sca.cat drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/non-mixed/ -rw-r--r-- root/root 2587 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/non-mixed/armv8-common.cat -rw-r--r-- root/root 2893 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/non-mixed/ec.cat -rw-r--r-- root/root 2792 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/non-mixed/egc.cat -rw-r--r-- root/root 2112 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/non-mixed/ev.cat drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/proofs/ -rw-r--r-- root/root 239454 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/proofs/mixed_v8_equivalences.v -rw-r--r-- root/root 128300 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm-models/proofs/non_mixed_v8_equivalences.v -rw-r--r-- root/root 751 2025-02-12 16:18 ./usr/share/herdtools7/herd/arm.cat -rw-r--r-- root/root 437 2025-02-12 16:18 ./usr/share/herdtools7/herd/armfences.cat -rw-r--r-- root/root 782 2025-02-12 16:18 ./usr/share/herdtools7/herd/armllh.cat -rw-r--r-- root/root 320 2025-02-12 16:18 ./usr/share/herdtools7/herd/asl-pseudo-arch.cat drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/herd/asl-pseudocode/ -rw-r--r-- root/root 1393 2025-02-12 16:18 ./usr/share/herdtools7/herd/asl-pseudocode/Makefile -rw-r--r-- root/root 15374 2025-02-12 16:18 ./usr/share/herdtools7/herd/asl-pseudocode/bundler.py -rw-r--r-- root/root 14020 2025-02-12 16:18 ./usr/share/herdtools7/herd/asl-pseudocode/implementations.asl -rw-r--r-- root/root 1427 2025-02-12 16:18 ./usr/share/herdtools7/herd/asl-pseudocode/implementations0.asl -rw-r--r-- root/root 8817 2025-02-12 16:18 ./usr/share/herdtools7/herd/asl-pseudocode/patches.asl -rw-r--r-- root/root 1632 2025-02-12 16:18 ./usr/share/herdtools7/herd/asl-pseudocode/pstate-exp.asl -rw-r--r-- root/root 2963 2025-02-12 16:18 ./usr/share/herdtools7/herd/asl.cat -rw-r--r-- root/root 891 2025-02-12 16:18 ./usr/share/herdtools7/herd/atom-arm.cat -rw-r--r-- root/root 940 2025-02-12 16:18 ./usr/share/herdtools7/herd/atom.cat -rw-r--r-- root/root 2150 2025-02-12 16:18 ./usr/share/herdtools7/herd/bpf.cat -rw-r--r-- root/root 404 2025-02-12 16:18 ./usr/share/herdtools7/herd/c11.bell -rw-r--r-- root/root 774 2025-02-12 16:18 ./usr/share/herdtools7/herd/c11.def -rw-r--r-- root/root 2620 2025-02-12 16:18 ./usr/share/herdtools7/herd/c11_base.cat -rw-r--r-- root/root 377 2025-02-12 16:18 ./usr/share/herdtools7/herd/c11_cos.cat -rw-r--r-- root/root 454 2025-02-12 16:18 ./usr/share/herdtools7/herd/c11_los.cat -rw-r--r-- root/root 525 2025-02-12 16:18 ./usr/share/herdtools7/herd/c11_orig.cat -rw-r--r-- root/root 435 2025-02-12 16:18 ./usr/share/herdtools7/herd/c11_partialSC.cat -rw-r--r-- root/root 276 2025-02-12 16:18 ./usr/share/herdtools7/herd/c11_simp.cat -rw-r--r-- root/root 18612 2025-02-12 16:18 ./usr/share/herdtools7/herd/catdefinitions.tex -rw-r--r-- root/root 698 2025-02-12 16:18 ./usr/share/herdtools7/herd/choices.cat -rw-r--r-- root/root 37 2025-02-12 16:18 ./usr/share/herdtools7/herd/compat.cat -rw-r--r-- root/root 281 2025-02-12 16:18 ./usr/share/herdtools7/herd/cos-no-opt.cat -rw-r--r-- root/root 878 2025-02-12 16:18 ./usr/share/herdtools7/herd/cos-ok-opt.cat -rw-r--r-- root/root 779 2025-02-12 16:18 ./usr/share/herdtools7/herd/cos-opt.cat -rw-r--r-- root/root 93 2025-02-12 16:18 ./usr/share/herdtools7/herd/cos.cat -rw-r--r-- root/root 469 2025-02-12 16:18 ./usr/share/herdtools7/herd/coscat.cat -rw-r--r-- root/root 615 2025-02-12 16:18 ./usr/share/herdtools7/herd/cosllh.cat -rw-r--r-- root/root 503 2025-02-12 16:18 ./usr/share/herdtools7/herd/cpp11.cfg -rw-r--r-- root/root 754 2025-02-12 16:18 ./usr/share/herdtools7/herd/cross.cat -rw-r--r-- root/root 2720 2025-02-12 16:18 ./usr/share/herdtools7/herd/ctrl-bis.cat -rw-r--r-- root/root 2953 2025-02-12 16:18 ./usr/share/herdtools7/herd/ctrl.cat -rw-r--r-- root/root 780 2025-02-12 16:18 ./usr/share/herdtools7/herd/deps-instances.cat -rw-r--r-- root/root 1017 2025-02-12 16:18 ./usr/share/herdtools7/herd/deps-new.cat -rw-r--r-- root/root 710 2025-02-12 16:18 ./usr/share/herdtools7/herd/deps.cat -rw-r--r-- root/root 505 2025-02-12 16:18 ./usr/share/herdtools7/herd/deps.cfg -rw-r--r-- root/root 2193 2025-02-12 16:18 ./usr/share/herdtools7/herd/doc64.cat -rw-r--r-- root/root 33 2025-02-12 16:18 ./usr/share/herdtools7/herd/enslip.cfg -rw-r--r-- root/root 3661 2025-02-12 16:18 ./usr/share/herdtools7/herd/enumerations.cat -rw-r--r-- root/root 269 2025-02-12 16:18 ./usr/share/herdtools7/herd/fences.cat -rw-r--r-- root/root 534 2025-02-12 16:18 ./usr/share/herdtools7/herd/filters.cat -rw-r--r-- root/root 680 2025-02-12 16:18 ./usr/share/herdtools7/herd/fulleieio.cat -rw-r--r-- root/root 28 2025-02-12 16:18 ./usr/share/herdtools7/herd/herd.cat -rw-r--r-- root/root 31 2025-02-12 16:18 ./usr/share/herdtools7/herd/herdcat.cat -rw-r--r-- root/root 1705 2025-02-12 16:18 ./usr/share/herdtools7/herd/ifetch-cos.cat -rw-r--r-- root/root 405 2025-02-12 16:18 ./usr/share/herdtools7/herd/kernel.cfg -rw-r--r-- root/root 4132 2025-02-12 16:18 ./usr/share/herdtools7/herd/kernel.def -rw-r--r-- root/root 799 2025-02-12 16:18 ./usr/share/herdtools7/herd/lessrelaxed.cat -rw-r--r-- root/root 100 2025-02-12 16:18 ./usr/share/herdtools7/herd/mini.cat -rw-r--r-- root/root 126 2025-02-12 16:18 ./usr/share/herdtools7/herd/minimal.cat -rw-r--r-- root/root 85 2025-02-12 16:18 ./usr/share/herdtools7/herd/minimalcat.cat -rw-r--r-- root/root 318 2025-02-12 16:18 ./usr/share/herdtools7/herd/mips-tso.cat -rw-r--r-- root/root 318 2025-02-12 16:18 ./usr/share/herdtools7/herd/mips.cat -rw-r--r-- root/root 112 2025-02-12 16:18 ./usr/share/herdtools7/herd/mipsfences.cat -rw-r--r-- root/root 28 2025-02-12 16:18 ./usr/share/herdtools7/herd/naked.cat -rw-r--r-- root/root 295 2025-02-12 16:18 ./usr/share/herdtools7/herd/ncos.cat -rw-r--r-- root/root 758 2025-02-12 16:18 ./usr/share/herdtools7/herd/ncross.cat -rw-r--r-- root/root 416 2025-02-12 16:18 ./usr/share/herdtools7/herd/ppc-checks.cat -rw-r--r-- root/root 674 2025-02-12 16:18 ./usr/share/herdtools7/herd/ppc.cat -rw-r--r-- root/root 352 2025-02-12 16:18 ./usr/share/herdtools7/herd/ppcfences.cat -rw-r--r-- root/root 374 2025-02-12 16:18 ./usr/share/herdtools7/herd/ppo.cat -rw-r--r-- root/root 1367 2025-02-12 16:18 ./usr/share/herdtools7/herd/pretty.cat -rw-r--r-- root/root 1272 2025-02-12 16:18 ./usr/share/herdtools7/herd/prettycat.cat -rw-r--r-- root/root 835 2025-02-12 16:18 ./usr/share/herdtools7/herd/qualcomm.cat -rw-r--r-- root/root 1120 2025-02-12 16:18 ./usr/share/herdtools7/herd/rc11.cat -rw-r--r-- root/root 1615 2025-02-12 16:18 ./usr/share/herdtools7/herd/riscv-defs.cat -rw-r--r-- root/root 1223 2025-02-12 16:18 ./usr/share/herdtools7/herd/riscv-total.cat -rw-r--r-- root/root 1782 2025-02-12 16:18 ./usr/share/herdtools7/herd/riscv-tso-defs.cat -rw-r--r-- root/root 556 2025-02-12 16:18 ./usr/share/herdtools7/herd/riscv-tso.cat -rw-r--r-- root/root 532 2025-02-12 16:18 ./usr/share/herdtools7/herd/riscv.cat -rw-r--r-- root/root 173 2025-02-12 16:18 ./usr/share/herdtools7/herd/sc.cat -rw-r--r-- root/root 416 2025-02-12 16:18 ./usr/share/herdtools7/herd/sccat.cat -rw-r--r-- root/root 312 2025-02-12 16:18 ./usr/share/herdtools7/herd/show-deps.cat -rw-r--r-- root/root 1353 2025-02-12 16:18 ./usr/share/herdtools7/herd/simple-arm.cat -rw-r--r-- root/root 2793 2025-02-12 16:18 ./usr/share/herdtools7/herd/simple-c11.cat -rw-r--r-- root/root 1588 2025-02-12 16:18 ./usr/share/herdtools7/herd/stdlib.cat -rw-r--r-- root/root 414 2025-02-12 16:18 ./usr/share/herdtools7/herd/tso.cat -rw-r--r-- root/root 85 2025-02-12 16:18 ./usr/share/herdtools7/herd/uni.cat -rw-r--r-- root/root 203 2025-02-12 16:18 ./usr/share/herdtools7/herd/uniproc+sca.cat -rw-r--r-- root/root 468 2025-02-12 16:18 ./usr/share/herdtools7/herd/uniproc-normw-cat.cat -rw-r--r-- root/root 106 2025-02-12 16:18 ./usr/share/herdtools7/herd/uniproc.cat -rw-r--r-- root/root 416 2025-02-12 16:18 ./usr/share/herdtools7/herd/uniproccat.cat -rw-r--r-- root/root 186 2025-02-12 16:18 ./usr/share/herdtools7/herd/web.cfg -rw-r--r-- root/root 155 2025-02-12 16:18 ./usr/share/herdtools7/herd/x86fences.cat -rw-r--r-- root/root 595 2025-02-12 16:18 ./usr/share/herdtools7/herd/x86tso-mixed.cat -rw-r--r-- root/root 431 2025-02-12 16:18 ./usr/share/herdtools7/herd/x86tso.cat -rw-r--r-- root/root 178 2025-02-12 16:18 ./usr/share/herdtools7/herd/xchg.def drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/litmus/ -rw-r--r-- root/root 151 2025-02-12 16:18 ./usr/share/herdtools7/litmus/ARM.cfg -rw-r--r-- root/root 278 2025-02-12 16:18 ./usr/share/herdtools7/litmus/ARM_ADB.cfg -rw-r--r-- root/root 415 2025-02-12 16:18 ./usr/share/herdtools7/litmus/HiKey.cfg -rw-r--r-- root/root 482 2025-02-12 16:18 ./usr/share/herdtools7/litmus/LG-H955.cfg -rw-r--r-- root/root 116 2025-02-12 16:18 ./usr/share/herdtools7/litmus/M1.cfg -rw-r--r-- root/root 249 2025-02-12 16:18 ./usr/share/herdtools7/litmus/R4000.cfg -rw-r--r-- root/root 464 2025-02-12 16:18 ./usr/share/herdtools7/litmus/Sam.cfg -rw-r--r-- root/root 478 2025-02-12 16:18 ./usr/share/herdtools7/litmus/Snap425.cfg -rw-r--r-- root/root 478 2025-02-12 16:18 ./usr/share/herdtools7/litmus/Snap820.cfg drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/ -rw-r--r-- root/root 112 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/asmhandler.c -rw-r--r-- root/root 2681 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/barrier.c -rw-r--r-- root/root 1624 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/cache.c -rw-r--r-- root/root 229 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/getret.c -rw-r--r-- root/root 51 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/instruction.h -rw-r--r-- root/root 337 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/intrinsics.h -rw-r--r-- root/root 9141 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/kvm-headers.h -rw-r--r-- root/root 2492 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/kvm-self.c -rw-r--r-- root/root 663 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/kvm.c.rules -rw-r--r-- root/root 664 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/kvm.rules -rw-r--r-- root/root 2205 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/kvm_fault_handler.c -rw-r--r-- root/root 4161 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/kvm_fault_type.c -rw-r--r-- root/root 1290 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/kvm_timebase.c -rw-r--r-- root/root 1390 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/kvm_timeofday.c -rw-r--r-- root/root 795 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/kvm_user_stacks.c -rw-r--r-- root/root 1263 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/mbar.c -rw-r--r-- root/root 1843 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/presi-self.c -rw-r--r-- root/root 2364 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aarch64/self.c -rw-r--r-- root/root 1564 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_affinity.h -rw-r--r-- root/root 2270 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_aix_affinity.c -rw-r--r-- root/root 4431 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_android8_affinity.c drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_arm/ -rw-r--r-- root/root 1993 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_arm/barrier.c -rw-r--r-- root/root 1613 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_arm/cache.c -rw-r--r-- root/root 51 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_arm/instruction.h -rw-r--r-- root/root 1263 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_arm/mbar.c -rw-r--r-- root/root 1394 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_find_ins.c -rw-r--r-- root/root 4427 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_freebsd_affinity.c -rw-r--r-- root/root 4706 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_hash.c -rw-r--r-- root/root 5197 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_instance.c drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_kvm_linux/ -rw-r--r-- root/root 1307 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_kvm_linux/platform_io.c -rw-r--r-- root/root 1320 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_kvm_linux/platform_io.h -rw-r--r-- root/root 1235 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_kvm_timeofday.h drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_linux/ -rw-r--r-- root/root 1265 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_linux/platform_io.c -rw-r--r-- root/root 1296 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_linux/platform_io.h -rw-r--r-- root/root 4402 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_linux_affinity.c -rw-r--r-- root/root 4464 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_litmus_io.c -rw-r--r-- root/root 2320 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_litmus_io.h -rw-r--r-- root/root 2234 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_litmus_rand.c -rw-r--r-- root/root 1428 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_litmus_rand.h -rw-r--r-- root/root 4492 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_main.c drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_mips/ -rw-r--r-- root/root 2364 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_mips/barrier.c -rw-r--r-- root/root 51 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_mips/instruction.h -rw-r--r-- root/root 1261 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_mips/mbar.c -rw-r--r-- root/root 637 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_mix.h -rw-r--r-- root/root 3974 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_outs.c -rw-r--r-- root/root 1962 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_outs.h drwxr-xr-x root/root 0 2026-09-07 14:04 ./usr/share/herdtools7/litmus/_ppc/ -rw-r--r-- root/root 1959 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_ppc/barrier.c -rw-r--r-- root/root 2075 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_ppc/barrier_lab.c -rw-r--r-- root/root 1507 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_ppc/cache.c -rw-r--r-- root/root 51 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_ppc/instruction.h -rw-r--r-- root/root 1261 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_ppc/mbar.c lrwxrwxrwx root/root 0 2026-09-07 14:04 ./usr/share/herdtools7/litmus/_ppc/timebase.c -> timebase64.c -rw-r--r-- root/root 1486 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_ppc/timebase32.c -rw-r--r-- root/root 1313 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_ppc/timebase64.c -rw-r--r-- root/root 68 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_prelude_size.c -rw-r--r-- root/root 7966 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_presi.c -rw-r--r-- root/root 3190 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_presi.h drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_riscv/ -rw-r--r-- root/root 1752 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_riscv/barrier.c -rw-r--r-- root/root 1269 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_riscv/mbar.c -rw-r--r-- root/root 86 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_show.awk -rw-r--r-- root/root 168 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_showC.awk -rw-r--r-- root/root 218 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_showLabel.awk -rw-r--r-- root/root 149 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_toh.sh -rw-r--r-- root/root 145 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_toh_nostdio.sh -rw-r--r-- root/root 32718 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_utils.c -rw-r--r-- root/root 6411 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_utils.h drwxr-xr-x root/root 0 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_x86/ -rw-r--r-- root/root 1996 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_x86/barrier.c -rw-r--r-- root/root 1593 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_x86/cache.c -rw-r--r-- root/root 1263 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_x86/mbar.c -rw-r--r-- root/root 1336 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_x86/timebase.c drwxr-xr-x root/root 0 2026-09-07 14:04 ./usr/share/herdtools7/litmus/_x86_64/ lrwxrwxrwx root/root 0 2026-09-07 14:04 ./usr/share/herdtools7/litmus/_x86_64/barrier.c -> ../_x86/barrier.c lrwxrwxrwx root/root 0 2026-09-07 14:04 ./usr/share/herdtools7/litmus/_x86_64/cache.c -> ../_x86/cache.c -rw-r--r-- root/root 1790 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_x86_64/klitmus_memory_type.c -rw-r--r-- root/root 2148 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_x86_64/kvm-headers.h -rw-r--r-- root/root 452 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_x86_64/kvm.c.rules -rw-r--r-- root/root 449 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_x86_64/kvm.rules -rw-r--r-- root/root 1352 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_x86_64/kvm_timebase.c -rw-r--r-- root/root 1387 2025-02-12 16:18 ./usr/share/herdtools7/litmus/_x86_64/kvm_timeofday.c lrwxrwxrwx root/root 0 2026-09-07 14:04 ./usr/share/herdtools7/litmus/_x86_64/mbar.c -> ../_x86/mbar.c lrwxrwxrwx root/root 0 2026-09-07 14:04 ./usr/share/herdtools7/litmus/_x86_64/timebase.c -> ../_x86/timebase.c -rw-r--r-- root/root 267 2025-02-12 16:18 ./usr/share/herdtools7/litmus/aarch64-qemu.cfg -rw-r--r-- root/root 159 2025-02-12 16:18 ./usr/share/herdtools7/litmus/aarch64.cfg -rw-r--r-- root/root 180 2025-02-12 16:18 ./usr/share/herdtools7/litmus/abducens.big.cfg -rw-r--r-- root/root 153 2025-02-12 16:18 ./usr/share/herdtools7/litmus/abducens.cache.cfg -rw-r--r-- root/root 122 2025-02-12 16:18 ./usr/share/herdtools7/litmus/abducens.cfg -rw-r--r-- root/root 138 2025-02-12 16:18 ./usr/share/herdtools7/litmus/abducens.close.cfg -rw-r--r-- root/root 157 2025-02-12 16:18 ./usr/share/herdtools7/litmus/aloxe.cfg -rw-r--r-- root/root 167 2025-02-12 16:18 ./usr/share/herdtools7/litmus/armv7.cfg -rw-r--r-- root/root 272 2025-02-12 16:18 ./usr/share/herdtools7/litmus/armv8+sme-qemu.cfg -rw-r--r-- root/root 271 2025-02-12 16:18 ./usr/share/herdtools7/litmus/armv8+sve-qemu.cfg -rw-r--r-- root/root 471 2025-02-12 16:18 ./usr/share/herdtools7/litmus/armv8.1.cfg -rw-r--r-- root/root 269 2025-02-12 16:18 ./usr/share/herdtools7/litmus/armv8.3-qemu.cfg -rw-r--r-- root/root 471 2025-02-12 16:18 ./usr/share/herdtools7/litmus/armv8.3.cfg -rw-r--r-- root/root 181 2025-02-12 16:18 ./usr/share/herdtools7/litmus/armv8.cfg -rw-r--r-- root/root 204 2025-02-12 16:18 ./usr/share/herdtools7/litmus/asus-debian-thumb.cfg -rw-r--r-- root/root 243 2025-02-12 16:18 ./usr/share/herdtools7/litmus/asus-debian.cfg -rw-r--r-- root/root 283 2025-02-12 16:18 ./usr/share/herdtools7/litmus/asus.cfg -rw-r--r-- root/root 102 2025-02-12 16:18 ./usr/share/herdtools7/litmus/auto.cfg -rw-r--r-- root/root 167 2025-02-12 16:18 ./usr/share/herdtools7/litmus/bam.cfg -rw-r--r-- root/root 91 2025-02-12 16:18 ./usr/share/herdtools7/litmus/beaune.cfg -rw-r--r-- root/root 166 2025-02-12 16:18 ./usr/share/herdtools7/litmus/bom.cfg -rw-r--r-- root/root 543 2025-02-12 16:18 ./usr/share/herdtools7/litmus/bonga.cfg -rw-r--r-- root/root 188 2025-02-12 16:18 ./usr/share/herdtools7/litmus/cavium.cfg -rw-r--r-- root/root 127 2025-02-12 16:18 ./usr/share/herdtools7/litmus/chianti.cfg -rw-r--r-- root/root 50 2025-02-12 16:18 ./usr/share/herdtools7/litmus/conti.cfg -rw-r--r-- root/root 127 2025-02-12 16:18 ./usr/share/herdtools7/litmus/corei7.cfg -rw-r--r-- root/root 183 2025-02-12 16:18 ./usr/share/herdtools7/litmus/cortex-a55.cfg -rw-r--r-- root/root 227 2025-02-12 16:18 ./usr/share/herdtools7/litmus/cortex9-O0.cfg -rw-r--r-- root/root 238 2025-02-12 16:18 ./usr/share/herdtools7/litmus/cortex9.cfg -rw-r--r-- root/root 199 2025-02-12 16:18 ./usr/share/herdtools7/litmus/cortexA15.cfg -rw-r--r-- root/root 197 2025-02-12 16:18 ./usr/share/herdtools7/litmus/cubietruck.cfg -rw-r--r-- root/root 51 2025-02-12 16:18 ./usr/share/herdtools7/litmus/doko.cfg -rw-r--r-- root/root 291 2025-02-12 16:18 ./usr/share/herdtools7/litmus/dragon-arm.cfg -rw-r--r-- root/root 243 2025-02-12 16:18 ./usr/share/herdtools7/litmus/dragon-thumb.cfg -rw-r--r-- root/root 266 2025-02-12 16:18 ./usr/share/herdtools7/litmus/dragon.cfg -rw-r--r-- root/root 72 2025-02-12 16:18 ./usr/share/herdtools7/litmus/g5.cfg -rw-r--r-- root/root 711 2025-02-12 16:18 ./usr/share/herdtools7/litmus/header.txt -rw-r--r-- root/root 461 2025-02-12 16:18 ./usr/share/herdtools7/litmus/hopla.cfg -rw-r--r-- root/root 102 2025-02-12 16:18 ./usr/share/herdtools7/litmus/hpcx.cfg -rw-r--r-- root/root 507 2025-02-12 16:18 ./usr/share/herdtools7/litmus/ipad.cfg -rw-r--r-- root/root 1172 2025-02-12 16:18 ./usr/share/herdtools7/litmus/kbarrier-tb.txt -rw-r--r-- root/root 273 2025-02-12 16:18 ./usr/share/herdtools7/litmus/kbarrier-user.txt -rw-r--r-- root/root 2755 2025-02-12 16:18 ./usr/share/herdtools7/litmus/kincludes.txt -rw-r--r-- root/root 939 2025-02-12 16:18 ./usr/share/herdtools7/litmus/kvm-aarch64.cfg -rw-r--r-- root/root 972 2025-02-12 16:18 ./usr/share/herdtools7/litmus/kvm-armv8.1+rcpc.cfg -rw-r--r-- root/root 967 2025-02-12 16:18 ./usr/share/herdtools7/litmus/kvm-armv8.1.cfg -rw-r--r-- root/root 967 2025-02-12 16:18 ./usr/share/herdtools7/litmus/kvm-m1.cfg -rw-r--r-- root/root 825 2025-02-12 16:18 ./usr/share/herdtools7/litmus/kvm-x86_64.cfg -rw-r--r-- root/root 213 2025-02-12 16:18 ./usr/share/herdtools7/litmus/marvel-armada-370.cfg -rw-r--r-- root/root 311 2025-02-12 16:18 ./usr/share/herdtools7/litmus/mike.cfg -rw-r--r-- root/root 216 2025-02-12 16:18 ./usr/share/herdtools7/litmus/mips-qemu.cfg -rw-r--r-- root/root 224 2025-02-12 16:18 ./usr/share/herdtools7/litmus/mips64-qemu.cfg -rw-r--r-- root/root 135 2025-02-12 16:18 ./usr/share/herdtools7/litmus/mp.cfg -rw-r--r-- root/root 308 2025-02-12 16:18 ./usr/share/herdtools7/litmus/nexus10.cfg -rw-r--r-- root/root 280 2025-02-12 16:18 ./usr/share/herdtools7/litmus/nexus7.cfg -rw-r--r-- root/root 322 2025-02-12 16:18 ./usr/share/herdtools7/litmus/nexus9.cfg -rw-r--r-- root/root 159 2025-02-12 16:18 ./usr/share/herdtools7/litmus/odroid-c2.cfg -rw-r--r-- root/root 157 2025-02-12 16:18 ./usr/share/herdtools7/litmus/odroid-n2.cfg -rw-r--r-- root/root 238 2025-02-12 16:18 ./usr/share/herdtools7/litmus/odroid-xu-ubuntu.cfg -rw-r--r-- root/root 301 2025-02-12 16:18 ./usr/share/herdtools7/litmus/odroid-xu.cfg -rw-r--r-- root/root 1803 2025-02-12 16:18 ./usr/share/herdtools7/litmus/outs.txt -rw-r--r-- root/root 251 2025-02-12 16:18 ./usr/share/herdtools7/litmus/pi2-nofp.cfg -rw-r--r-- root/root 254 2025-02-12 16:18 ./usr/share/herdtools7/litmus/pi2.cfg -rw-r--r-- root/root 232 2025-02-12 16:18 ./usr/share/herdtools7/litmus/pi3b.cfg -rw-r--r-- root/root 85 2025-02-12 16:18 ./usr/share/herdtools7/litmus/portable.cfg -rw-r--r-- root/root 145 2025-02-12 16:18 ./usr/share/herdtools7/litmus/power.cfg -rw-r--r-- root/root 23 2025-02-12 16:18 ./usr/share/herdtools7/litmus/power6.smt.cfg -rw-r--r-- root/root 182 2025-02-12 16:18 ./usr/share/herdtools7/litmus/power7.32.cfg -rw-r--r-- root/root 119 2025-02-12 16:18 ./usr/share/herdtools7/litmus/power7.cfg -rw-r--r-- root/root 47 2025-02-12 16:18 ./usr/share/herdtools7/litmus/power7.smt.cfg -rw-r--r-- root/root 236 2025-02-12 16:18 ./usr/share/herdtools7/litmus/ppc-qemu.cfg -rw-r--r-- root/root 427 2025-02-12 16:18 ./usr/share/herdtools7/litmus/redmi5a.cfg -rw-r--r-- root/root 435 2025-02-12 16:18 ./usr/share/herdtools7/litmus/redmi9a.cfg -rw-r--r-- root/root 222 2025-02-12 16:18 ./usr/share/herdtools7/litmus/riscv-qemu.cfg -rw-r--r-- root/root 62 2025-02-12 16:18 ./usr/share/herdtools7/litmus/saumur.cfg -rw-r--r-- root/root 79 2025-02-12 16:18 ./usr/share/herdtools7/litmus/saumur.close.cfg -rw-r--r-- root/root 72 2025-02-12 16:18 ./usr/share/herdtools7/litmus/squale.cfg -rw-r--r-- root/root 313 2025-02-12 16:18 ./usr/share/herdtools7/litmus/src-aarch64.cfg -rw-r--r-- root/root 277 2025-02-12 16:18 ./usr/share/herdtools7/litmus/trimslice.cfg -rw-r--r-- root/root 177 2025-02-12 16:18 ./usr/share/herdtools7/litmus/tst.cfg -rw-r--r-- root/root 218 2025-02-12 16:18 ./usr/share/herdtools7/litmus/vargas.cache.cfg -rw-r--r-- root/root 172 2025-02-12 16:18 ./usr/share/herdtools7/litmus/vargas.cfg -rw-r--r-- root/root 121 2025-02-12 16:18 ./usr/share/herdtools7/litmus/vargas.close.cfg -rw-r--r-- root/root 201 2025-02-12 16:18 ./usr/share/herdtools7/litmus/vargas16.cfg -rw-r--r-- root/root 159 2025-02-12 16:18 ./usr/share/herdtools7/litmus/vougeot.cfg -rw-r--r-- root/root 92 2025-02-12 16:18 ./usr/share/herdtools7/litmus/x86.cfg -rw-r--r-- root/root 165 2025-02-12 16:18 ./usr/share/herdtools7/litmus/x86_64.cfg -rw-r--r-- root/root 507 2025-02-12 16:18 ./usr/share/herdtools7/litmus/youpla.cfg -rw-r--r-- root/root 542 2025-02-12 16:18 ./usr/share/herdtools7/litmus/youpla64.cfg +------------------------------------------------------------------------------+ | Post Build Mon, 07 Sep 2026 14:16:07 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Mon, 07 Sep 2026 14:16:07 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Mon, 07 Sep 2026 14:16:26 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 2147000 Build-Time: 583 Distribution: unstable-ocaml Host Architecture: amd64 Install-Time: 55 Job: /tmp/tmp.ben.transition-scripts.BT87JISSne/herdtools7_7.58-2+ocaml1.dsc Machine Architecture: amd64 Package: herdtools7 Package-Time: 689 Source-Version: 7.58-2+ocaml1 Space: 2147000 Status: successful Version: 7.58-2+ocaml1 -------------------------------------------------------------------------------- Finished at 2026-09-07T14:15:34Z Build needed 00:11:29, 2147000k disk space