Diff of the two buildlogs: -- --- b1/build.log 2025-10-20 07:44:59.661183860 +0000 +++ b2/build.log 2025-10-20 07:48:06.621410840 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Sun Nov 22 02:04:55 -12 2026 -I: pbuilder-time-stamp: 1795356295 +I: Current time: Mon Oct 20 21:45:02 +14 2025 +I: pbuilder-time-stamp: 1760946302 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration @@ -25,52 +25,84 @@ dpkg-source: info: applying 02-fix-spelling-error.patch I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/955179/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/2091429/tmp/hooks/D01_modify_environment starting +debug: Running on infom01-amd64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +'/bin/sh' -> '/bin/bash' +lrwxrwxrwx 1 root root 9 Oct 20 07:45 /bin/sh -> /bin/bash +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/2091429/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/2091429/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16 ' - DISTRIBUTION='unstable' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="3" [2]="3" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.3.3(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 ' + DIRSTACK=() + DISTRIBUTION=unstable + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='a340a64089a94b029c96049f857c1b39' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='955179' - PS1='# ' - PS2='> ' + INVOCATION_ID=cc648828fd7f44679af352879201120d + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=2091429 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.ThFkp6Bm/pbuilderrc_JzxC --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.ThFkp6Bm/b1 --logfile b1/build.log sail-ocaml_0.19.1+dfsg5-1.dsc' - SUDO_GID='109' - SUDO_HOME='/var/lib/jenkins' - SUDO_UID='104' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.ThFkp6Bm/pbuilderrc_4uml --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.ThFkp6Bm/b2 --logfile b2/build.log sail-ocaml_0.19.1+dfsg5-1.dsc' + SUDO_GID=109 + SUDO_HOME=/var/lib/jenkins + SUDO_UID=104 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' I: uname -a - Linux infom02-amd64 6.12.48+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.48-1 (2025-09-20) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.12.48+deb13-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.48-1 (2025-09-20) x86_64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Aug 10 2025 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/955179/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Aug 10 12:30 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/2091429/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -303,7 +335,7 @@ Get: 80 http://deb.debian.org/debian unstable/main amd64 ocaml-dune amd64 3.20.2-3 [4938 kB] Get: 81 http://deb.debian.org/debian unstable/main amd64 ocaml-odoc amd64 3.1.0-1+b1 [4592 kB] Get: 82 http://deb.debian.org/debian unstable/main amd64 ott-tools amd64 0.34+ds-1+b4 [1494 kB] -Fetched 170 MB in 8s (22.1 MB/s) +Fetched 170 MB in 4s (38.2 MB/s) Preconfiguring packages ... Selecting previously unselected package sensible-utils. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19858 files and directories currently installed.) @@ -646,7 +678,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/sail-ocaml-0.19.1+dfsg5/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../sail-ocaml_0.19.1+dfsg5-1_source.changes +I: user script /srv/workspace/pbuilder/2091429/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for unstable +I: user script /srv/workspace/pbuilder/2091429/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/sail-ocaml-0.19.1+dfsg5/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../sail-ocaml_0.19.1+dfsg5-1_source.changes dpkg-buildpackage: info: source package sail-ocaml dpkg-buildpackage: info: source version 0.19.1+dfsg5-1 dpkg-buildpackage: info: source distribution unstable @@ -683,14 +719,14 @@ touch ocamlinit-stamp dh_auto_configure -O--buildsystem=ocaml_dune dh_auto_build -O--buildsystem=ocaml_dune - dune build -j 16 -p sail,libsail,sail_manifest,sail_ocaml_backend,sail_c_backend,sail_smt_backend,sail_sv_backend,sail_lean_backend,sail_lem_backend,sail_doc_backend,sail_coq_backend,sail_latex_backend,sail_output + dune build -j 12 -p sail,libsail,sail_manifest,sail_ocaml_backend,sail_c_backend,sail_smt_backend,sail_sv_backend,sail_lean_backend,sail_lem_backend,sail_doc_backend,sail_coq_backend,sail_latex_backend,sail_output (cd _build/default/src/lib && /usr/bin/ott -sort false -generate_aux_rules true -o ast.lem -picky_multiple_parses true ../../language/sail.ott) Ott version 0.34 distribution of Mon Dec 30 10:12:45 GMT 2024 (cd _build/default/src/lib && /usr/bin/ott -sort false -generate_aux_rules true -o jib.lem -picky_multiple_parses true ../../language/jib.ott) Ott version 0.34 distribution of Mon Dec 30 10:12:45 GMT 2024 dh_auto_test -O--buildsystem=ocaml_dune - dune runtest -j 16 -p sail,libsail,sail_manifest,sail_ocaml_backend,sail_c_backend,sail_smt_backend,sail_sv_backend,sail_lean_backend,sail_lem_backend,sail_doc_backend,sail_coq_backend,sail_latex_backend,sail_output - rm -fr -- /tmp/dh-xdg-rundir-I_GxD_Ng + dune runtest -j 12 -p sail,libsail,sail_manifest,sail_ocaml_backend,sail_c_backend,sail_smt_backend,sail_sv_backend,sail_lean_backend,sail_lem_backend,sail_doc_backend,sail_coq_backend,sail_latex_backend,sail_output + rm -fr -- /tmp/dh-xdg-rundir-5Kdj61Ja create-stamp debian/debhelper-build-stamp dh_testroot -O--buildsystem=ocaml_dune dh_prep -O--buildsystem=ocaml_dune @@ -726,12 +762,12 @@ install -m0755 -d debian/sail-ocaml/usr/share/doc/sail-ocaml install -p -m0644 debian/copyright debian/sail-ocaml/usr/share/doc/sail-ocaml/copyright dh_installchangelogs -O--buildsystem=ocaml_dune - install -m0755 -d debian/libsail-ocaml-dev/usr/share/doc/libsail-ocaml-dev - install -p -m0644 debian/.debhelper/generated/libsail-ocaml-dev/dh_installchangelogs.dch.trimmed debian/libsail-ocaml-dev/usr/share/doc/libsail-ocaml-dev/changelog.Debian - install -p -m0644 ./CHANGELOG.md debian/libsail-ocaml-dev/usr/share/doc/libsail-ocaml-dev/changelog install -m0755 -d debian/sail-ocaml/usr/share/doc/sail-ocaml install -p -m0644 debian/.debhelper/generated/sail-ocaml/dh_installchangelogs.dch.trimmed debian/sail-ocaml/usr/share/doc/sail-ocaml/changelog.Debian install -p -m0644 ./CHANGELOG.md debian/sail-ocaml/usr/share/doc/sail-ocaml/changelog + install -m0755 -d debian/libsail-ocaml-dev/usr/share/doc/libsail-ocaml-dev + install -p -m0644 debian/.debhelper/generated/libsail-ocaml-dev/dh_installchangelogs.dch.trimmed debian/libsail-ocaml-dev/usr/share/doc/libsail-ocaml-dev/changelog.Debian + install -p -m0644 ./CHANGELOG.md debian/libsail-ocaml-dev/usr/share/doc/libsail-ocaml-dev/changelog dh_installsystemduser -O--buildsystem=ocaml_dune dh_lintian -O--buildsystem=ocaml_dune install -m0755 -d debian/libsail-ocaml-dev/usr/share/lintian/overrides @@ -746,24 +782,24 @@ cd debian/sail-ocaml chmod a-x usr/share/doc/libsail-ocaml-dev/changelog usr/share/doc/libsail-ocaml-dev/changelog.Debian chmod a-x usr/share/doc/sail-ocaml/changelog usr/share/doc/sail-ocaml/changelog.Debian - gzip -9nf usr/share/doc/libsail-ocaml-dev/changelog usr/share/doc/libsail-ocaml-dev/changelog.Debian gzip -9nf usr/share/doc/sail-ocaml/changelog usr/share/doc/sail-ocaml/changelog.Debian + gzip -9nf usr/share/doc/libsail-ocaml-dev/changelog usr/share/doc/libsail-ocaml-dev/changelog.Debian cd '/build/reproducible-path/sail-ocaml-0.19.1+dfsg5' cd '/build/reproducible-path/sail-ocaml-0.19.1+dfsg5' dh_fixperms -O--buildsystem=ocaml_dune find debian/libsail-ocaml-dev ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/sail-ocaml ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s - find debian/sail-ocaml/usr/share/doc -type f -a -true -a ! -regex 'debian/sail-ocaml/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/libsail-ocaml-dev/usr/share/doc -type f -a -true -a ! -regex 'debian/libsail-ocaml-dev/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 - find debian/sail-ocaml/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 + find debian/sail-ocaml/usr/share/doc -type f -a -true -a ! -regex 'debian/sail-ocaml/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/libsail-ocaml-dev/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 - find debian/sail-ocaml/usr/share/lintian/overrides -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 + find debian/sail-ocaml/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/libsail-ocaml-dev/usr/share/lintian/overrides -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 - find debian/sail-ocaml -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 + find debian/sail-ocaml/usr/share/lintian/overrides -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/libsail-ocaml-dev -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 + find debian/sail-ocaml -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 + find debian/libsail-ocaml-dev/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w find debian/sail-ocaml/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x find debian/sail-ocaml/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w - find debian/libsail-ocaml-dev/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w dh_missing -O--buildsystem=ocaml_dune debian/rules override_dh_dwz make[1]: Entering directory '/build/reproducible-path/sail-ocaml-0.19.1+dfsg5' @@ -779,63 +815,63 @@ objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/libsail.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/25/df0279d754be6eef6f77ba081313e412d8272b.debug chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/25/df0279d754be6eef6f77ba081313e412d8272b.debug strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/libsail.cmxs - objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/25/df0279d754be6eef6f77ba081313e412d8272b.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/libsail.cmxs chmod 0644 -- debian/.debhelper/sail-ocaml/dbgsym-root/usr/lib/debug/.build-id/d1/c693e10788f66f84282ef904ba2a2c07ba4bae.debug strip --remove-section=.comment --remove-section=.note debian/sail-ocaml/usr/bin/sail - install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/0f - objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_output.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/0f/a2a7033b9505c3f90af566e47d730aa68e6344.debug - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/0f/a2a7033b9505c3f90af566e47d730aa68e6344.debug - strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_output.cmxs - objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/0f/a2a7033b9505c3f90af566e47d730aa68e6344.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_output.cmxs - objcopy --add-gnu-debuglink debian/.debhelper/sail-ocaml/dbgsym-root/usr/lib/debug/.build-id/d1/c693e10788f66f84282ef904ba2a2c07ba4bae.debug debian/sail-ocaml/usr/bin/sail + objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/25/df0279d754be6eef6f77ba081313e412d8272b.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/libsail.cmxs + install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/bc + objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_coq.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/bc/ffaf521499e2f4f2b1552d1720e7d106840455.debug + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/bc/ffaf521499e2f4f2b1552d1720e7d106840455.debug + strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_coq.cmxs + objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/bc/ffaf521499e2f4f2b1552d1720e7d106840455.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_coq.cmxs + install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/18 + objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_latex.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/18/98ee25ceebd35db326cf32a24e8053d7737c6e.debug + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/18/98ee25ceebd35db326cf32a24e8053d7737c6e.debug + strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_latex.cmxs + objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/18/98ee25ceebd35db326cf32a24e8053d7737c6e.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_latex.cmxs install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/91 objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lean.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/91/812dc5484a6d7002b271ebe3411b7452840f50.debug chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/91/812dc5484a6d7002b271ebe3411b7452840f50.debug strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lean.cmxs + objcopy --add-gnu-debuglink debian/.debhelper/sail-ocaml/dbgsym-root/usr/lib/debug/.build-id/d1/c693e10788f66f84282ef904ba2a2c07ba4bae.debug debian/sail-ocaml/usr/bin/sail objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/91/812dc5484a6d7002b271ebe3411b7452840f50.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lean.cmxs - install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/14 - objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_ocaml.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/14/732abf25b102c18268ba6a1003741e1b7faffa.debug - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/14/732abf25b102c18268ba6a1003741e1b7faffa.debug - strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_ocaml.cmxs - objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/14/732abf25b102c18268ba6a1003741e1b7faffa.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_ocaml.cmxs - install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/9d - objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lem.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/9d/e1107de35238ca7b4bc59027ab9a3d6b588d1d.debug - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/9d/e1107de35238ca7b4bc59027ab9a3d6b588d1d.debug - strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lem.cmxs - objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/9d/e1107de35238ca7b4bc59027ab9a3d6b588d1d.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lem.cmxs + install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/07 + objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_c.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/07/b2739d516643d2b16db373a67fe8f7af56e2a2.debug + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/07/b2739d516643d2b16db373a67fe8f7af56e2a2.debug + strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_c.cmxs + objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/07/b2739d516643d2b16db373a67fe8f7af56e2a2.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_c.cmxs install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/86 objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_doc.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/86/1b85f9107c19608d66150109616b5f35adc946.debug - install -m0755 -d debian/.debhelper/sail-ocaml/dbgsym-root/usr/share/doc - ln -s sail-ocaml debian/.debhelper/sail-ocaml/dbgsym-root/usr/share/doc/sail-ocaml-dbgsym - install -m0755 -d debian/.debhelper/sail-ocaml chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/86/1b85f9107c19608d66150109616b5f35adc946.debug strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_doc.cmxs objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/86/1b85f9107c19608d66150109616b5f35adc946.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_doc.cmxs + install -m0755 -d debian/.debhelper/sail-ocaml/dbgsym-root/usr/share/doc + ln -s sail-ocaml debian/.debhelper/sail-ocaml/dbgsym-root/usr/share/doc/sail-ocaml-dbgsym + install -m0755 -d debian/.debhelper/sail-ocaml + install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/0f + objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_output.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/0f/a2a7033b9505c3f90af566e47d730aa68e6344.debug + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/0f/a2a7033b9505c3f90af566e47d730aa68e6344.debug + strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_output.cmxs + objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/0f/a2a7033b9505c3f90af566e47d730aa68e6344.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_output.cmxs install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/30 objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_smt.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/30/150296171a36cd026d7285b3e78d223c0e94b5.debug chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/30/150296171a36cd026d7285b3e78d223c0e94b5.debug strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_smt.cmxs objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/30/150296171a36cd026d7285b3e78d223c0e94b5.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_smt.cmxs - install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/07 - objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_c.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/07/b2739d516643d2b16db373a67fe8f7af56e2a2.debug - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/07/b2739d516643d2b16db373a67fe8f7af56e2a2.debug - strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_c.cmxs - objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/07/b2739d516643d2b16db373a67fe8f7af56e2a2.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_c.cmxs - install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/18 - objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_latex.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/18/98ee25ceebd35db326cf32a24e8053d7737c6e.debug - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/18/98ee25ceebd35db326cf32a24e8053d7737c6e.debug - strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_latex.cmxs - objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/18/98ee25ceebd35db326cf32a24e8053d7737c6e.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_latex.cmxs install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ee objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_sv.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ee/67342460d6f4900a1426f75065ceb29e6bb9bd.debug chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ee/67342460d6f4900a1426f75065ceb29e6bb9bd.debug strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_sv.cmxs objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ee/67342460d6f4900a1426f75065ceb29e6bb9bd.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_sv.cmxs - install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/bc - objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_coq.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/bc/ffaf521499e2f4f2b1552d1720e7d106840455.debug - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/bc/ffaf521499e2f4f2b1552d1720e7d106840455.debug - strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_coq.cmxs - objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/bc/ffaf521499e2f4f2b1552d1720e7d106840455.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_coq.cmxs + install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/9d + objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lem.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/9d/e1107de35238ca7b4bc59027ab9a3d6b588d1d.debug + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/9d/e1107de35238ca7b4bc59027ab9a3d6b588d1d.debug + strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lem.cmxs + objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/9d/e1107de35238ca7b4bc59027ab9a3d6b588d1d.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lem.cmxs + install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/14 + objcopy --only-keep-debug --compress-debug-sections debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_ocaml.cmxs debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/14/732abf25b102c18268ba6a1003741e1b7faffa.debug + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/14/732abf25b102c18268ba6a1003741e1b7faffa.debug + strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_ocaml.cmxs + objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/14/732abf25b102c18268ba6a1003741e1b7faffa.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_ocaml.cmxs strip --strip-debug --remove-section=.comment --remove-section=.note --enable-deterministic-archives -R .gnu.lto_\* -R .gnu.debuglto_\* -N __gnu_lto_slim -N __gnu_lto_v1 debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/libsail.a install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/share/doc ln -s libsail-ocaml-dev debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/share/doc/libsail-ocaml-dev-dbgsym @@ -847,7 +883,7 @@ install -m0755 -d debian/sail-ocaml/DEBIAN dpkg-shlibdeps -Tdebian/sail-ocaml.substvars debian/sail-ocaml/usr/bin/sail install -m0755 -d debian/libsail-ocaml-dev/DEBIAN - dpkg-shlibdeps -Tdebian/libsail-ocaml-dev.substvars debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/libsail.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_output.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lean.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_ocaml.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lem.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_doc.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_smt.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_c.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_latex.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_sv.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_coq.cmxs + dpkg-shlibdeps -Tdebian/libsail-ocaml-dev.substvars debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/libsail.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_coq.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_latex.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lean.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_c.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_doc.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_output.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_smt.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_sv.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_lem.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_ocaml.cmxs 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 @@ -1845,14 +1881,14 @@ /usr/bin/ocaml-md5sums -v --md5sums-dir debian/libsail-ocaml-dev//var/lib/ocaml/md5sums --load-info debian/libsail-ocaml-dev.oinfo.debhelper dep Load from dump debian/libsail-ocaml-dev.oinfo.debhelper libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libbase64-ocaml-dev/libbase64-ocaml v3.5.2-1 through Base64 -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libdune-ocaml-dev v3.20.2-3 through Dune_section -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on liblem-ocaml-dev v2025-03-13+dfsg-1+b1 through Lem_tuple -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on liblinksem-ocaml-dev v0.8+dfsg3-2+b1 through Elf_file +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libdune-ocaml-dev v3.20.2-3 through Dune_site__ +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on liblem-ocaml-dev v2025-03-13+dfsg-1+b1 through Xstring +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on liblinksem-ocaml-dev v0.8+dfsg3-2+b1 through String_table libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libmenhir-ocaml-dev v20250912+ds-1 through MenhirLib -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libomd-ocaml-dev/libomd-ocaml v1.3.2-2+b3 through Omd_representation -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libpprint-ocaml-dev/libpprint-ocaml v20230830-1+b4 through PPrintEngine -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libstdlib-ocaml-dev/libstdlib-ocaml v5.3.0-3 through Stdlib__Buffer -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libyojson-ocaml-dev/libyojson-ocaml v2.2.2-1+b2 through Yojson__Basic +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libomd-ocaml-dev/libomd-ocaml v1.3.2-2+b3 through Omd +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libpprint-ocaml-dev/libpprint-ocaml v20230830-1+b4 through PPrint +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libstdlib-ocaml-dev/libstdlib-ocaml v5.3.0-3 through Stdlib__Marshal +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libyojson-ocaml-dev/libyojson-ocaml v2.2.2-1+b2 through Yojson__Safe libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libzarith-ocaml-dev/libzarith-ocaml v1.14-1+b2 through Z mv debian/libsail-ocaml-dev.substvars.new debian/libsail-ocaml-dev.substvars mv debian/libsail-ocaml-dev.substvars.new debian/libsail-ocaml-dev.substvars @@ -1878,18 +1914,18 @@ echo misc:Pre-Depends= >> debian/libsail-ocaml-dev.substvars install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/DEBIAN dpkg-gencontrol -plibsail-ocaml-dev -ldebian/changelog -Tdebian/libsail-ocaml-dev.substvars -cdebian/control -Pdebian/.debhelper/libsail-ocaml-dev/dbgsym-root -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -UProtected -UBuilt-Using -UStatic-Built-Using -DPackage=libsail-ocaml-dev-dbgsym -DDepends="libsail-ocaml-dev (= \${binary:Version})" -DDescription="debug symbols for libsail-ocaml-dev" -DBuild-Ids="07b2739d516643d2b16db373a67fe8f7af56e2a2 0fa2a7033b9505c3f90af566e47d730aa68e6344 14732abf25b102c18268ba6a1003741e1b7faffa 1898ee25ceebd35db326cf32a24e8053d7737c6e 25df0279d754be6eef6f77ba081313e412d8272b 30150296171a36cd026d7285b3e78d223c0e94b5 861b85f9107c19608d66150109616b5f35adc946 91812dc5484a6d7002b271ebe3411b7452840f50 9de1107de35238ca7b4bc59027ab9a3d6b588d1d bcffaf521499e2f4f2b1552d1720e7d106840455 ee67342460d6f4900a1426f75065ceb29e6bb9bd" -DSection=debug -UMulti-Arch -UReplaces -UBreaks +dpkg-gencontrol: warning: Depends field of package libsail-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/DEBIAN/control + dpkg-gencontrol -plibsail-ocaml-dev -ldebian/changelog -Tdebian/libsail-ocaml-dev.substvars -cdebian/control -Pdebian/libsail-ocaml-dev dpkg-gencontrol: warning: Depends field of package sail-ocaml: substitution variable ${ocaml:Depends} used, but is not defined dpkg-gencontrol: warning: Provides field of package sail-ocaml: substitution variable ${ocaml:Provides} used, but is not defined chmod 0644 -- debian/.debhelper/sail-ocaml/dbgsym-root/DEBIAN/control dpkg-gencontrol -psail-ocaml -ldebian/changelog -Tdebian/sail-ocaml.substvars -cdebian/control -Pdebian/sail-ocaml +dpkg-gencontrol: warning: Depends field of package libsail-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package sail-ocaml: substitution variable ${ocaml:Depends} used, but is not defined dpkg-gencontrol: warning: Provides field of package sail-ocaml: substitution variable ${ocaml:Provides} used, but is not defined -dpkg-gencontrol: warning: Depends field of package libsail-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined - chmod 0644 -- debian/sail-ocaml/DEBIAN/control - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/DEBIAN/control - dpkg-gencontrol -plibsail-ocaml-dev -ldebian/changelog -Tdebian/libsail-ocaml-dev.substvars -cdebian/control -Pdebian/libsail-ocaml-dev -dpkg-gencontrol: warning: Depends field of package libsail-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined chmod 0644 -- debian/libsail-ocaml-dev/DEBIAN/control + chmod 0644 -- debian/sail-ocaml/DEBIAN/control dh_md5sums -O--buildsystem=ocaml_dune install -m0755 -d debian/sail-ocaml/DEBIAN install -m0755 -d debian/libsail-ocaml-dev/DEBIAN @@ -1908,10 +1944,10 @@ dpkg-deb --root-owner-group --build debian/.debhelper/libsail-ocaml-dev/dbgsym-root .. dpkg-deb --root-owner-group --build debian/sail-ocaml .. dpkg-deb --root-owner-group --build debian/.debhelper/sail-ocaml/dbgsym-root .. -dpkg-deb: building package 'libsail-ocaml-dev-dbgsym' in '../libsail-ocaml-dev-dbgsym_0.19.1+dfsg5-1_amd64.deb'. dpkg-deb: building package 'sail-ocaml-dbgsym' in '../sail-ocaml-dbgsym_0.19.1+dfsg5-1_amd64.deb'. -dpkg-deb: building package 'sail-ocaml' in '../sail-ocaml_0.19.1+dfsg5-1_amd64.deb'. +dpkg-deb: building package 'libsail-ocaml-dev-dbgsym' in '../libsail-ocaml-dev-dbgsym_0.19.1+dfsg5-1_amd64.deb'. dpkg-deb: building package 'libsail-ocaml-dev' in '../libsail-ocaml-dev_0.19.1+dfsg5-1_amd64.deb'. +dpkg-deb: building package 'sail-ocaml' in '../sail-ocaml_0.19.1+dfsg5-1_amd64.deb'. dpkg-genbuildinfo --build=binary -O../sail-ocaml_0.19.1+dfsg5-1_amd64.buildinfo dpkg-genchanges --build=binary -O../sail-ocaml_0.19.1+dfsg5-1_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) @@ -1919,12 +1955,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/2091429/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/2091429/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env -I: removing directory /srv/workspace/pbuilder/955179 and its subdirectories -I: Current time: Sun Nov 22 02:07:58 -12 2026 -I: pbuilder-time-stamp: 1795356478 +I: removing directory /srv/workspace/pbuilder/2091429 and its subdirectories +I: Current time: Mon Oct 20 21:48:06 +14 2025 +I: pbuilder-time-stamp: 1760946486