sbuild (Debian sbuild) 0.91.10 (27 June 2026) on derowd.up7.fr +==============================================================================+ | herdtools7 7.58-2+ocaml1 (amd64) Fri, 23 Oct 2026 14:30:40 +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: No tarballs found in /home/steph/.cache/sbuild I: Unpacking /home/steph/srv/ocaml.debian.net/transitions/20261023/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.G2kcWZicdE... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... +------------------------------------------------------------------------------+ | Chroot Setup Commands Fri, 23 Oct 2026 14:30:43 +0000 | +------------------------------------------------------------------------------+ /repo/conf/mk-release.sh ------------------------ dpkg-scanpackages: info: Wrote 431 entries to output Packages file. I: Finished running '/repo/conf/mk-release.sh'. Finished processing commands. -------------------------------------------------------------------------------- I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Fri, 23 Oct 2026 14:30:47 +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 [413 kB] Get:5 http://localhost:9999/debian unstable InRelease [193 kB] Get:6 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [11.7 kB] Get:7 http://localhost:9999/debian unstable/contrib amd64 Packages [64.3 kB] Get:8 http://localhost:9999/debian unstable/non-free amd64 Packages [132 kB] Get:9 http://localhost:9999/debian unstable/main amd64 Packages [10.8 MB] Fetched 11.2 MB in 1s (12.8 MB/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 Fri, 23 Oct 2026 14:30:49 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.DsOpS3DDBX/herdtools7_7.58-2+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.DsOpS3DDBX; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Fri, 23 Oct 2026 14:30:53 +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-4JqW45/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-4JqW45/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-4JqW45/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-4JqW45/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-4JqW45/apt_archive ./ Sources [705 B] Get:5 copy:/build/reproducible-path/resolver-4JqW45/apt_archive ./ Packages [744 B] Fetched 2058 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 python3-requests 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 24.0 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 [201 kB] Get:2 copy:/build/reproducible-path/resolver-4JqW45/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [908 B] Get:3 file:/repo rebuilt/main amd64 libstdlib-ocaml amd64 5.5.2-1~exp1+ocaml1 [433 kB] Get:4 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.5.2-1~exp1+ocaml1 [7117 kB] Get:5 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.5.2-1~exp1+ocaml1 [41.7 MB] Get:6 http://localhost:9999/debian unstable/main amd64 libexpat1 amd64 2.9.0-1 [133 kB] Get:7 http://localhost:9999/debian unstable/main amd64 libpython3.14-minimal amd64 3.14.8-1 [902 kB] Get:8 http://localhost:9999/debian unstable/main amd64 python3.14-minimal amd64 3.14.8-1 [2715 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 2026e-1 [262 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.8-1 [2367 kB] Get:19 file:/repo rebuilt/main amd64 ocaml-base amd64 5.5.2-1~exp1+ocaml1 [554 kB] Get:20 http://localhost:9999/debian unstable/main amd64 python3.14 amd64 3.14.8-1 [874 kB] Get:21 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.5.2-1~exp1+ocaml1 [8224 kB] Get:22 file:/repo rebuilt/main amd64 ocaml amd64 5.5.2-1~exp1+ocaml1 [19.7 MB] Get:23 http://localhost:9999/debian unstable/main amd64 libpython3-stdlib amd64 3.14.7-3 [8252 B] Get:24 http://localhost:9999/debian unstable/main amd64 python3 amd64 3.14.7-3 [26.0 kB] Get:25 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get:26 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.47-4 [345 kB] Get:27 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.47-4 [111 kB] Get:28 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.47-4 [43.0 kB] Get:29 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 1.0-5 [334 kB] Get:30 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b2 [69.0 kB] Get:31 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.24.2-2 [1365 kB] Get:32 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.42.4-1 [103 kB] Get:33 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB] Get:34 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:35 file:/repo rebuilt/main amd64 libmenhir-ocaml-dev amd64 20260209+ds-3+ocaml1 [1036 kB] Get:36 file:/repo rebuilt/main amd64 libzarith-ocaml amd64 1.14-4+ocaml1 [115 kB] Get:37 file:/repo rebuilt/main amd64 libzarith-ocaml-dev amd64 1.14-4+ocaml1 [112 kB] Get:38 file:/repo rebuilt/main amd64 menhir amd64 20260209+ds-3+ocaml1 [1523 kB] Get:39 file:/repo rebuilt/main amd64 ocaml-dune amd64 3.24.1-4+ocaml1 [5609 kB] Get:40 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB] Get:41 http://localhost:9999/debian unstable/main amd64 autoconf all 2.73-2 [516 kB] Get:42 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Get:43 http://localhost:9999/debian unstable/main amd64 automake all 1:1.19-3 [892 kB] Get:44 http://localhost:9999/debian unstable/main amd64 autopoint all 1.0-5 [820 kB] Get:45 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 14.5 [77.7 kB] Get:46 http://localhost:9999/debian unstable/main amd64 libtool all 2.6.2-3 [552 kB] Get:47 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 23 [12.7 kB] Get:48 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:49 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.1-1 [17.1 kB] Get:50 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.1-1 [6020 B] Get:51 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.196-1 [61.2 kB] Get:52 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.17-1 [109 kB] Get:53 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.4.2-1 [480 kB] Get:54 http://localhost:9999/debian unstable/main amd64 libxml2-16 amd64 2.15.4+dfsg-1 [683 kB] Get:55 http://localhost:9999/debian unstable/main amd64 gettext amd64 1.0-5 [2704 kB] Get:56 http://localhost:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:57 http://localhost:9999/debian unstable/main amd64 po-debconf all 1.0.22 [216 kB] Get:58 http://localhost:9999/debian unstable/main amd64 debhelper all 14.5 [944 kB] Get:59 http://localhost:9999/debian unstable/main amd64 quickjs amd64 2025.04.26-1+b2 [443 kB] Get:60 http://localhost:9999/debian unstable/main amd64 libjson-perl all 4.10000-1 [87.5 kB] Get:61 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:62 http://localhost:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5+b2 [328 kB] Get:63 http://localhost:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5+b2 [641 kB] Get:64 http://localhost:9999/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5+b2 [321 kB] Get:65 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.6+20260608-2 [107 kB] Get:66 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.6+20260608-2 [356 kB] Get:67 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.7+dfsg-4 [371 kB] Preconfiguring packages ... Fetched 24.0 MB in 1s (37.0 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 11984 files and directories currently installed.) Preparing to unpack .../libexpat1_2.9.0-1_amd64.deb ... Unpacking libexpat1:amd64 (2.9.0-1) ... Selecting previously unselected package libpython3.14-minimal:amd64. Preparing to unpack .../libpython3.14-minimal_3.14.8-1_amd64.deb ... Unpacking libpython3.14-minimal:amd64 (3.14.8-1) ... Selecting previously unselected package python3.14-minimal. Preparing to unpack .../python3.14-minimal_3.14.8-1_amd64.deb ... Unpacking python3.14-minimal (3.14.8-1) ... Setting up libpython3.14-minimal:amd64 (3.14.8-1) ... Setting up libexpat1:amd64 (2.9.0-1) ... Setting up python3.14-minimal (3.14.8-1) ... Selecting previously unselected package python3-minimal. (Reading database ... 12340 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_2026e-1_all.deb ... Unpacking tzdata (2026e-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.8-1_amd64.deb ... Unpacking libpython3.14-stdlib:amd64 (3.14.8-1) ... Selecting previously unselected package python3.14. Preparing to unpack .../10-python3.14_3.14.8-1_amd64.deb ... Unpacking python3.14 (3.14.8-1) ... 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 ... 13386 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-5_amd64.deb ... Unpacking gettext-base (1.0-5) ... 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.2-2_amd64.deb ... Unpacking groff-base (1.24.2-2) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.42.4-1_amd64.deb ... Unpacking bsdextrautils (2.42.4-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.19-3_all.deb ... Unpacking automake (1:1.19-3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_1.0-5_all.deb ... Unpacking autopoint (1.0-5) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../16-libdebhelper-perl_14.5_all.deb ... Unpacking libdebhelper-perl (14.5) ... Selecting previously unselected package libtool. Preparing to unpack .../17-libtool_2.6.2-3_all.deb ... Unpacking libtool (2.6.2-3) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../18-dh-autoreconf_23_all.deb ... Unpacking dh-autoreconf (23) ... 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-5_amd64.deb ... Unpacking gettext (1.0-5) ... 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.5_all.deb ... Unpacking debhelper (14.5) ... 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.2-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml (5.5.2-1~exp1+ocaml1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../35-libstdlib-ocaml-dev_5.5.2-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.5.2-1~exp1+ocaml1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../36-libcompiler-libs-ocaml-dev_5.5.2-1~exp1+ocaml1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.5.2-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.2-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-base (5.5.2-1~exp1+ocaml1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../41-ocaml-interp_5.5.2-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-interp (5.5.2-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.2-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml (5.5.2-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.4-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.5) ... Setting up libsqlite3-0:amd64 (3.53.4-2) ... Setting up libmagic1t64:amd64 (1:5.47-4) ... Setting up gettext-base (1.0-5) ... 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 (2026e-1) ... Current default time zone: 'Etc/UTC' Local time is now: Fri Oct 23 14:31:19 UTC 2026. Universal Time is now: Fri Oct 23 14:31:19 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.2-1~exp1+ocaml1) ... Setting up libunistring5:amd64 (1.4.2-1) ... Setting up autopoint (1.0-5) ... Setting up ocaml-base (5.5.2-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.19-3) ... update-alternatives: using /usr/bin/automake-1.19 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-5) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5+b2) ... Setting up libtool (2.6.2-3) ... Setting up libstdlib-ocaml-dev (5.5.2-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 (23) ... Setting up libcompiler-libs-ocaml-dev (5.5.2-1~exp1+ocaml1) ... Setting up ocaml-interp (5.5.2-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.2-2) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-5+b2) ... Setting up libpython3.14-stdlib:amd64 (3.14.8-1) ... Setting up po-debconf (1.0.22) ... Setting up ocaml (5.5.2-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.8-1) ... Setting up libpython3-stdlib:amd64 (3.14.7-3) ... Setting up debhelper (14.5) ... Setting up python3 (3.14.7-3) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.43-7) ... +------------------------------------------------------------------------------+ | Check architectures Fri, 23 Oct 2026 14:31:23 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Fri, 23 Oct 2026 14:31:23 +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.47.50.20261021-1 dpkg-dev_1.23.11 g++-16_16.2.0-3 gcc-16_16.2.0-3 libc6-dev_2.43-7 libstdc++-16-dev_16.2.0-3 libstdc++6_16.2.0-3 linux-libc-dev_7.2.12-1 Package versions: apt_3.3.4 apt-utils_3.3.4 autoconf_2.73-2 automake_1:1.19-3 autopoint_1.0-5 autotools-dev_20240727.1+nmu1 base-files_14.2 base-passwd_3.6.8 bash_5.3-4 binutils_2.47.50.20261021-1 binutils-common_2.47.50.20261021-1 binutils-x86-64-linux-gnu_2.47.50.20261021-1 bsdextrautils_2.42.4-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-3 cpp-16-x86-64-linux-gnu_16.2.0-3 cpp-x86-64-linux-gnu_4:16.1.0-3 dash_0.5.12-12 debconf_1.5.92 debhelper_14.5 debian-archive-keyring_2025.1 debianutils_5.24 dh-autoreconf_23 dh-ocaml_3.8+ocaml1 dh-strip-nondeterminism_1.15.1-1 diffutils_1:3.12-1 dpkg_1.23.11 dpkg-dev_1.23.11 dwz_0.17-1 file_1:5.47-4 findutils_4.11.0-3 g++_4:16.1.0-3 g++-16_16.2.0-3 g++-16-x86-64-linux-gnu_16.2.0-3 g++-x86-64-linux-gnu_4:16.1.0-3 gcc_4:16.1.0-3 gcc-16_16.2.0-3 gcc-16-base_16.2.0-3 gcc-16-x86-64-linux-gnu_16.2.0-3 gcc-x86-64-linux-gnu_4:16.1.0-3 gettext_1.0-5 gettext-base_1.0-5 grep_3.12-1 groff-base_1.24.2-2 gzip_1.14-1 hostname_3.25 init-system-helpers_1.69+nmu3 intltool-debian_0.35.0+20060710.6 libacl1_2.4.0-1 libapt-pkg7.0_3.3.4 libarchive-zip-perl_1.68-1 libasan8_16.2.0-3 libatomic1_16.2.0-3 libattr1_1:2.6.0-1 libaudit-common_1:4.2.1-1 libaudit1_1:4.2.1-1 libbinutils_2.47.50.20261021-1 libblkid1_2.42.4-1 libbz2-1.0_1.0.8-6+b2 libc-bin_2.43-7 libc-dev-bin_2.43-7 libc-gconv-modules-extra_2.43-7 libc6_2.43-7 libc6-dev_2.43-7 libcap-ng0_0.9.6-1 libcc1-0_16.2.0-3 libcompiler-libs-ocaml-dev_5.5.2-1~exp1+ocaml1 libconfig-tiny-perl_2.30-1 libcrypt1_1:4.5.2+20251210-1 libctf-nobfd0_2.47.50.20261021-1 libctf0_2.47.50.20261021-1 libdb5.3t64_5.3.28+dfsg2-11+b1 libdebconfclient0_0.283 libdebhelper-perl_14.5 libdpkg-perl_1.23.11 libelf1t64_0.196-1 libexpat1_2.9.0-1 libffi8_3.8.0-2 libfile-stripnondeterminism-perl_1.15.1-1 libgcc-16-dev_16.2.0-3 libgcc-s1_16.2.0-3 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-3 libgprofng0_2.47.50.20261021-1 libhogweed6t64_3.10.2-1+b1 libhwasan0_16.2.0-3 libisl23_0.28-1 libitm1_16.2.0-3 libjansson4_2.15.1-1 libjson-perl_4.10000-1 liblsan0_16.2.0-3 liblz4-1_1.10.0-10 liblzma5_5.8.4-1 libmagic-mgc_1:5.47-4 libmagic1t64_1:5.47-4 libmd0_1.3.0-1 libmenhir-ocaml-dev_20260209+ds-3+ocaml1 libmount1_2.42.4-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-3.1 libperl5.42_5.42.3-1 libpipeline1_1.5.8-3 libpython3-stdlib_3.14.7-3 libpython3.14-minimal_3.14.8-1 libpython3.14-stdlib_3.14.8-1 libquadmath0_16.2.0-3 libreadline8t64_8.3-4 libseccomp2_2.6.1-1+b1 libselinux1_3.11-2.1 libsframe3_2.47.50.20261021-1 libsmartcols1_2.42.4-1 libsqlite3-0_3.53.4-2 libssl3t64_3.6.5-1 libstdc++-16-dev_16.2.0-3 libstdc++6_16.2.0-3 libstdlib-ocaml_5.5.2-1~exp1+ocaml1 libstdlib-ocaml-dev_5.5.2-1~exp1+ocaml1 libsystemd0_262.1-1 libtinfo6_6.6+20260608-2 libtool_2.6.2-3 libtsan2_16.2.0-3 libubsan1_16.2.0-3 libuchardet0_0.0.8-2+b2 libudev1_262.1-1 libunistring5_1.4.2-1 libuuid1_2.42.4-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.2.12-1 m4_1.4.21-1 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20260302-2 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.2-1~exp1+ocaml1 ocaml-base_5.5.2-1~exp1+ocaml1 ocaml-dune_3.24.1-4+ocaml1 ocaml-interp_5.5.2-1~exp1+ocaml1 openssl-provider-legacy_3.6.5-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.8-1 python3.14-minimal_3.14.8-1 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-6 tzdata_2026e-1 util-linux_2.42.4-1 xz-utils_5.8.4-1 zlib1g_1:1.3.dfsg+really1.3.2-3 +------------------------------------------------------------------------------+ | Build Fri, 23 Oct 2026 14:31:23 +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 ee65bd74ddd7ecbad4d88aa0e24cd1e4c919d7b6 10252 herdtools7_7.58-2+ocaml1.debian.tar.xz Checksums-Sha256: c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz 8986c93bb805b4a6929a1d1a0b43a023cc562fcac37d32a855252fc1d2dc1b89 10252 herdtools7_7.58-2+ocaml1.debian.tar.xz Files: ac70df55c75933ca6a8fe4fa4754c7e9 1600124 herdtools7_7.58.orig.tar.gz 2584cf6e92454269dcd10552aa4392e1 10252 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=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-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 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.2 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-10-23T14:38:54Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Fri, 23 Oct 2026 14:38:55 +0000 | +------------------------------------------------------------------------------+ herdtools7_7.58-2+ocaml1_amd64.changes: --------------------------------------- Format: 1.8 Date: Fri, 23 Oct 2026 16:30:39 +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.2 Checksums-Sha1: 239ae2a97f294b6cb7869458b175f876f6b9c69f 1193 herdtools7_7.58-2+ocaml1.dsc 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz 7be7fe9b660dc41096cea038e4a772642926e589 10232 herdtools7_7.58-2+ocaml1.debian.tar.xz b7ce523ed868b4f8f86b7cbf7391c64d991bc335 5966 herdtools7_7.58-2+ocaml1_amd64.buildinfo 2f5b6f1a0267a63ff1925aac4a277c81784299fd 39305924 herdtools7_7.58-2+ocaml1_amd64.deb Checksums-Sha256: 9522e1ea9dd8c51cf7dd0035130f36870a49b5241b4e0612ca4d18a3eb255585 1193 herdtools7_7.58-2+ocaml1.dsc c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz 749947154a0f30dfa75d4bfae4de8115f6fc0268eb7ca3d5ef5e93856593d36e 10232 herdtools7_7.58-2+ocaml1.debian.tar.xz cec80085b514ec1a70db123301c44a201e269ee3053ee285a93f7af867f1af18 5966 herdtools7_7.58-2+ocaml1_amd64.buildinfo 9f0ab5797d3a9e68edbd8d547becbdbee69fb3235b19acd06362253b72a0009c 39305924 herdtools7_7.58-2+ocaml1_amd64.deb Files: 37fb50d944c9994e8042d20be3696ee8 1193 ocaml optional herdtools7_7.58-2+ocaml1.dsc ac70df55c75933ca6a8fe4fa4754c7e9 1600124 ocaml optional herdtools7_7.58.orig.tar.gz 37e285621f5dda82569b02beb26c245f 10232 ocaml optional herdtools7_7.58-2+ocaml1.debian.tar.xz dac7b66d54a43ebd9c9fd73b1686d817 5966 ocaml optional herdtools7_7.58-2+ocaml1_amd64.buildinfo 47694f2606dd192c57a094a3c1d41328 39305924 ocaml optional herdtools7_7.58-2+ocaml1_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Fri, 23 Oct 2026 14:38:55 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: herdtools7 Binary: herdtools7 Architecture: amd64 source Version: 7.58-2+ocaml1 Checksums-Md5: 37fb50d944c9994e8042d20be3696ee8 1193 herdtools7_7.58-2+ocaml1.dsc 47694f2606dd192c57a094a3c1d41328 39305924 herdtools7_7.58-2+ocaml1_amd64.deb Checksums-Sha1: 239ae2a97f294b6cb7869458b175f876f6b9c69f 1193 herdtools7_7.58-2+ocaml1.dsc 2f5b6f1a0267a63ff1925aac4a277c81784299fd 39305924 herdtools7_7.58-2+ocaml1_amd64.deb Checksums-Sha256: 9522e1ea9dd8c51cf7dd0035130f36870a49b5241b4e0612ca4d18a3eb255585 1193 herdtools7_7.58-2+ocaml1.dsc 9f0ab5797d3a9e68edbd8d547becbdbee69fb3235b19acd06362253b72a0009c 39305924 herdtools7_7.58-2+ocaml1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Fri, 23 Oct 2026 14:38:53 +0000 Build-Path: /build/reproducible-path/herdtools7-7.58 Installed-Build-Depends: autoconf (= 2.73-2), automake (= 1:1.19-3), autopoint (= 1.0-5), autotools-dev (= 20240727.1+nmu1), base-files (= 14.2), base-passwd (= 3.6.8), bash (= 5.3-4), binutils (= 2.47.50.20261021-1), binutils-common (= 2.47.50.20261021-1), binutils-x86-64-linux-gnu (= 2.47.50.20261021-1), bsdextrautils (= 2.42.4-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-3), cpp-16-x86-64-linux-gnu (= 16.2.0-3), cpp-x86-64-linux-gnu (= 4:16.1.0-3), dash (= 0.5.12-12), debconf (= 1.5.92), debhelper (= 14.5), debianutils (= 5.24), dh-autoreconf (= 23), dh-ocaml (= 3.8+ocaml1), dh-strip-nondeterminism (= 1.15.1-1), diffutils (= 1:3.12-1), dpkg (= 1.23.11), dpkg-dev (= 1.23.11), dwz (= 0.17-1), file (= 1:5.47-4), findutils (= 4.11.0-3), g++ (= 4:16.1.0-3), g++-16 (= 16.2.0-3), g++-16-x86-64-linux-gnu (= 16.2.0-3), g++-x86-64-linux-gnu (= 4:16.1.0-3), gcc (= 4:16.1.0-3), gcc-16 (= 16.2.0-3), gcc-16-base (= 16.2.0-3), gcc-16-x86-64-linux-gnu (= 16.2.0-3), gcc-x86-64-linux-gnu (= 4:16.1.0-3), gettext (= 1.0-5), gettext-base (= 1.0-5), grep (= 3.12-1), groff-base (= 1.24.2-2), gzip (= 1.14-1), hostname (= 3.25), init-system-helpers (= 1.69+nmu3), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.4.0-1), libarchive-zip-perl (= 1.68-1), libasan8 (= 16.2.0-3), libatomic1 (= 16.2.0-3), libattr1 (= 1:2.6.0-1), libaudit-common (= 1:4.2.1-1), libaudit1 (= 1:4.2.1-1), libbinutils (= 2.47.50.20261021-1), libblkid1 (= 2.42.4-1), libbz2-1.0 (= 1.0.8-6+b2), libc-bin (= 2.43-7), libc-dev-bin (= 2.43-7), libc-gconv-modules-extra (= 2.43-7), libc6 (= 2.43-7), libc6-dev (= 2.43-7), libcap-ng0 (= 0.9.6-1), libcc1-0 (= 16.2.0-3), libcompiler-libs-ocaml-dev (= 5.5.2-1~exp1+ocaml1), libconfig-tiny-perl (= 2.30-1), libcrypt1 (= 1:4.5.2+20251210-1), libctf-nobfd0 (= 2.47.50.20261021-1), libctf0 (= 2.47.50.20261021-1), libdb5.3t64 (= 5.3.28+dfsg2-11+b1), libdebconfclient0 (= 0.283), libdebhelper-perl (= 14.5), libdpkg-perl (= 1.23.11), libelf1t64 (= 0.196-1), libexpat1 (= 2.9.0-1), libffi8 (= 3.8.0-2), libfile-stripnondeterminism-perl (= 1.15.1-1), libgcc-16-dev (= 16.2.0-3), libgcc-s1 (= 16.2.0-3), 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-3), libgprofng0 (= 2.47.50.20261021-1), libhwasan0 (= 16.2.0-3), libisl23 (= 0.28-1), libitm1 (= 16.2.0-3), libjansson4 (= 2.15.1-1), libjson-perl (= 4.10000-1), liblsan0 (= 16.2.0-3), liblzma5 (= 5.8.4-1), libmagic-mgc (= 1:5.47-4), libmagic1t64 (= 1:5.47-4), libmd0 (= 1.3.0-1), libmenhir-ocaml-dev (= 20260209+ds-3+ocaml1), libmount1 (= 2.42.4-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-3.1), libperl5.42 (= 5.42.3-1), libpipeline1 (= 1.5.8-3), libpython3-stdlib (= 3.14.7-3), libpython3.14-minimal (= 3.14.8-1), libpython3.14-stdlib (= 3.14.8-1), libquadmath0 (= 16.2.0-3), libreadline8t64 (= 8.3-4), libseccomp2 (= 2.6.1-1+b1), libselinux1 (= 3.11-2.1), libsframe3 (= 2.47.50.20261021-1), libsmartcols1 (= 2.42.4-1), libsqlite3-0 (= 3.53.4-2), libssl3t64 (= 3.6.5-1), libstdc++-16-dev (= 16.2.0-3), libstdc++6 (= 16.2.0-3), libstdlib-ocaml (= 5.5.2-1~exp1+ocaml1), libstdlib-ocaml-dev (= 5.5.2-1~exp1+ocaml1), libsystemd0 (= 262.1-1), libtinfo6 (= 6.6+20260608-2), libtool (= 2.6.2-3), libtsan2 (= 16.2.0-3), libubsan1 (= 16.2.0-3), libuchardet0 (= 0.0.8-2+b2), libudev1 (= 262.1-1), libunistring5 (= 1.4.2-1), libuuid1 (= 2.42.4-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.2.12-1), m4 (= 1.4.21-1), make (= 4.4.1-3), man-db (= 2.13.1-1), mawk (= 1.3.4.20260302-2), 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.2-1~exp1+ocaml1), ocaml-base (= 5.5.2-1~exp1+ocaml1), ocaml-dune (= 3.24.1-4+ocaml1), ocaml-interp (= 5.5.2-1~exp1+ocaml1), openssl-provider-legacy (= 3.6.5-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.8-1), python3.14-minimal (= 3.14.8-1), 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-6), tzdata (= 2026e-1), util-linux (= 2.42.4-1), xz-utils (= 5.8.4-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="1792765839" +------------------------------------------------------------------------------+ | Package contents Fri, 23 Oct 2026 14:38:55 +0000 | +------------------------------------------------------------------------------+ herdtools7_7.58-2+ocaml1_amd64.deb ---------------------------------- new Debian package, version 2.0. size 39305924 bytes: control archive=9380 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: 252843 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-10-23 14:30 ./ drwxr-xr-x root/root 0 2026-10-23 14:30 ./usr/ drwxr-xr-x root/root 0 2026-10-23 14:30 ./usr/bin/ -rwxr-xr-x root/root 3383144 2026-10-23 14:30 ./usr/bin/aslbundler -rwxr-xr-x root/root 5495784 2026-10-23 14:30 ./usr/bin/aslref -rwxr-xr-x root/root 4707208 2026-10-23 14:30 ./usr/bin/atomize7 -rwxr-xr-x root/root 4640360 2026-10-23 14:30 ./usr/bin/atoms7 -rwxr-xr-x root/root 1937288 2026-10-23 14:30 ./usr/bin/bento -rwxr-xr-x root/root 2035944 2026-10-23 14:30 ./usr/bin/cat2html7 -rwxr-xr-x root/root 4822184 2026-10-23 14:30 ./usr/bin/classify7 -rwxr-xr-x root/root 6301256 2026-10-23 14:30 ./usr/bin/diy7 -rwxr-xr-x root/root 6197960 2026-10-23 14:30 ./usr/bin/diycross7 -rwxr-xr-x root/root 6192936 2026-10-23 14:30 ./usr/bin/diyone7 -rwxr-xr-x root/root 1810056 2026-10-23 14:30 ./usr/bin/gen_theme7 -rwxr-xr-x root/root 18126536 2026-10-23 14:30 ./usr/bin/herd7 -rwxr-xr-x root/root 8284232 2026-10-23 14:30 ./usr/bin/jingle7 -rwxr-xr-x root/root 5793576 2026-10-23 14:30 ./usr/bin/klitmus7 -rwxr-xr-x root/root 2959784 2026-10-23 14:30 ./usr/bin/knames7 -rwxr-xr-x root/root 1960424 2026-10-23 14:30 ./usr/bin/ksort7 -rwxr-xr-x root/root 11051208 2026-10-23 14:30 ./usr/bin/litmus7 -rwxr-xr-x root/root 8871144 2026-10-23 14:30 ./usr/bin/madd7 -rwxr-xr-x root/root 1977928 2026-10-23 14:30 ./usr/bin/mapply7 -rwxr-xr-x root/root 2594632 2026-10-23 14:30 ./usr/bin/mcat2includes7 -rwxr-xr-x root/root 3202792 2026-10-23 14:30 ./usr/bin/mcmp7 -rwxr-xr-x root/root 3435304 2026-10-23 14:30 ./usr/bin/mcompare7 -rwxr-xr-x root/root 2279688 2026-10-23 14:30 ./usr/bin/mcond7 -rwxr-xr-x root/root 2268232 2026-10-23 14:30 ./usr/bin/mcycles7 -rwxr-xr-x root/root 8856488 2026-10-23 14:30 ./usr/bin/mdiag7 -rwxr-xr-x root/root 3205064 2026-10-23 14:30 ./usr/bin/mdiff7 -rwxr-xr-x root/root 4526696 2026-10-23 14:30 ./usr/bin/mexpand7 -rwxr-xr-x root/root 3204296 2026-10-23 14:30 ./usr/bin/mfilter7 -rwxr-xr-x root/root 2297512 2026-10-23 14:30 ./usr/bin/mfind7 -rwxr-xr-x root/root 2036744 2026-10-23 14:30 ./usr/bin/mflags7 -rwxr-xr-x root/root 8948200 2026-10-23 14:30 ./usr/bin/mhash7 -rwxr-xr-x root/root 2707784 2026-10-23 14:30 ./usr/bin/miaou7 -rwxr-xr-x root/root 3206376 2026-10-23 14:30 ./usr/bin/mlisa2c7 -rwxr-xr-x root/root 3578760 2026-10-23 14:30 ./usr/bin/mlock7 -rwxr-xr-x root/root 3222056 2026-10-23 14:30 ./usr/bin/mlog2cond7 -rwxr-xr-x root/root 3097896 2026-10-23 14:30 ./usr/bin/mlog2name7 -rwxr-xr-x root/root 9045992 2026-10-23 14:30 ./usr/bin/mmixer7 -rwxr-xr-x root/root 2297896 2026-10-23 14:30 ./usr/bin/mnames7 -rwxr-xr-x root/root 2743912 2026-10-23 14:30 ./usr/bin/mobserved7 -rwxr-xr-x root/root 3188680 2026-10-23 14:30 ./usr/bin/moutcomes7 -rwxr-xr-x root/root 9025736 2026-10-23 14:30 ./usr/bin/mprog7 -rwxr-xr-x root/root 2758280 2026-10-23 14:30 ./usr/bin/mproj7 -rwxr-xr-x root/root 3131240 2026-10-23 14:30 ./usr/bin/mrcu7 -rwxr-xr-x root/root 8921672 2026-10-23 14:30 ./usr/bin/mselect7 -rwxr-xr-x root/root 8848808 2026-10-23 14:30 ./usr/bin/mshowhashes7 -rwxr-xr-x root/root 8908104 2026-10-23 14:30 ./usr/bin/msort7 -rwxr-xr-x root/root 3228584 2026-10-23 14:30 ./usr/bin/msum7 -rwxr-xr-x root/root 3192520 2026-10-23 14:30 ./usr/bin/mtopos7 -rwxr-xr-x root/root 2357384 2026-10-23 14:30 ./usr/bin/mtrue7 -rwxr-xr-x root/root 4527720 2026-10-23 14:30 ./usr/bin/nexts7 -rwxr-xr-x root/root 4706856 2026-10-23 14:30 ./usr/bin/norm7 -rwxr-xr-x root/root 2071112 2026-10-23 14:30 ./usr/bin/readRelax7 -rwxr-xr-x root/root 2873704 2026-10-23 14:30 ./usr/bin/recond7 -rwxr-xr-x root/root 2330056 2026-10-23 14:30 ./usr/bin/rehash7 -rwxr-xr-x root/root 2766792 2026-10-23 14:30 ./usr/bin/splitcond7 -rwxr-xr-x root/root 1721544 2026-10-23 14:30 ./usr/bin/splitdot7 drwxr-xr-x root/root 0 2026-10-23 14:30 ./usr/share/ drwxr-xr-x root/root 0 2026-10-23 14:30 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-10-23 14:30 ./usr/share/doc/herdtools7/ -rw-r--r-- root/root 1941 2026-10-23 14:30 ./usr/share/doc/herdtools7/README.md -rw-r--r-- root/root 377 2026-10-23 14:30 ./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-10-23 14:30 ./usr/share/doc/herdtools7/odoc-pages/ -rw-r--r-- root/root 1915 2026-10-23 14:30 ./usr/share/doc/herdtools7/odoc-pages/README.mld.gz -rw-r--r-- root/root 170 2026-10-23 14:30 ./usr/share/doc/herdtools7/odoc-pages/index.mld drwxr-xr-x root/root 0 2026-10-23 14:30 ./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-10-23 14:30 ./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-10-23 14:30 ./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-10-23 14:30 ./usr/share/herdtools7/litmus/_x86_64/ lrwxrwxrwx root/root 0 2026-10-23 14:30 ./usr/share/herdtools7/litmus/_x86_64/barrier.c -> ../_x86/barrier.c lrwxrwxrwx root/root 0 2026-10-23 14:30 ./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-10-23 14:30 ./usr/share/herdtools7/litmus/_x86_64/mbar.c -> ../_x86/mbar.c lrwxrwxrwx root/root 0 2026-10-23 14:30 ./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 Fri, 23 Oct 2026 14:38:57 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Fri, 23 Oct 2026 14:38:57 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Fri, 23 Oct 2026 14:38:59 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 2148180 Build-Time: 449 Distribution: unstable-ocaml Host Architecture: amd64 Install-Time: 30 Job: /tmp/tmp.ben.transition-scripts.DsOpS3DDBX/herdtools7_7.58-2+ocaml1.dsc Machine Architecture: amd64 Package: herdtools7 Package-Time: 494 Source-Version: 7.58-2+ocaml1 Space: 2148180 Status: successful Version: 7.58-2+ocaml1 -------------------------------------------------------------------------------- Finished at 2026-10-23T14:38:54Z Build needed 00:08:14, 2148180k disk space