Diff of the two buildlogs: -- --- b1/build.log 2025-09-04 00:47:40.715978565 +0000 +++ b2/build.log 2025-09-04 00:49:40.064119607 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Tue Oct 6 19:04:24 -12 2026 -I: pbuilder-time-stamp: 1791356664 +I: Current time: Thu Sep 4 14:47:42 +14 2025 +I: pbuilder-time-stamp: 1756946862 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/forky-reproducible-base.tgz] I: copying local configuration @@ -25,53 +25,85 @@ 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/1196956/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/2474109/tmp/hooks/D01_modify_environment starting +debug: Running on ionos11-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 Sep 4 00:47 /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/2474109/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/2474109/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=42 ' - DISTRIBUTION='forky' - 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]="2" [2]="37" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.2.37(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=40 ' + DIRSTACK=() + DISTRIBUTION=forky + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='27a2754d5ff8496489240c684ebdc562' - 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='1196956' - PS1='# ' - PS2='> ' + INVOCATION_ID=4d2aa814edb04ff58b19d6890a4ae86b + 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=2474109 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.dzuH03Fw/pbuilderrc_TK6U --distribution forky --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/forky-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.dzuH03Fw/b1 --logfile b1/build.log sail-ocaml_0.19.1+dfsg5-1.dsc' - SUDO_GID='110' - SUDO_HOME='/var/lib/jenkins' - SUDO_UID='105' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://213.165.73.152:3128' + 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.dzuH03Fw/pbuilderrc_M0lc --distribution forky --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/forky-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.dzuH03Fw/b2 --logfile b2/build.log sail-ocaml_0.19.1+dfsg5-1.dsc' + SUDO_GID=111 + SUDO_HOME=/var/lib/jenkins + SUDO_UID=106 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://46.16.76.132:3128 I: uname -a - Linux ionos5-amd64 6.12.41+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.41-1 (2025-08-12) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.12.41+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.41-1 (2025-08-12) 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/1196956/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Aug 10 12:30 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/2474109/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -229,7 +261,7 @@ Get: 80 http://deb.debian.org/debian forky/main amd64 ocaml-dune amd64 3.17.2-1+b1 [4835 kB] Get: 81 http://deb.debian.org/debian forky/main amd64 ocaml-odoc amd64 3.0.0-2+b3 [4551 kB] Get: 82 http://deb.debian.org/debian forky/main amd64 ott-tools amd64 0.34+ds-1+b4 [1494 kB] -Fetched 169 MB in 6s (28.2 MB/s) +Fetched 169 MB in 1s (113 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 ... 19897 files and directories currently installed.) @@ -572,7 +604,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/2474109/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for forky +I: user script /srv/workspace/pbuilder/2474109/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 @@ -609,14 +645,14 @@ touch ocamlinit-stamp dh_auto_configure -O--buildsystem=ocaml_dune dh_auto_build -O--buildsystem=ocaml_dune - dune build -j 42 -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 40 -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 42 -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-pea_7_Jt + dune runtest -j 40 -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-pfd7zYOP create-stamp debian/debhelper-build-stamp dh_testroot -O--buildsystem=ocaml_dune dh_prep -O--buildsystem=ocaml_dune @@ -671,8 +707,8 @@ cd debian/libsail-ocaml-dev cd debian/sail-ocaml chmod a-x usr/share/doc/libsail-ocaml-dev/changelog usr/share/doc/libsail-ocaml-dev/changelog.Debian - gzip -9nf 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 cd '/build/reproducible-path/sail-ocaml-0.19.1+dfsg5' cd '/build/reproducible-path/sail-ocaml-0.19.1+dfsg5' @@ -682,14 +718,14 @@ 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/lintian/overrides -type f -a -true -a -true -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 -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/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/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/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 + find debian/sail-ocaml/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' @@ -708,60 +744,60 @@ objcopy --add-gnu-debuglink debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/a0/73a82416cec0f7caa8c1c9031c4625e7662168.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/b4/b98f439a446054cc147613656c88bcc38c9c26.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/0d - 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/0d/b83cb992bf37089a3f968638807df551a66744.debug - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/0d/b83cb992bf37089a3f968638807df551a66744.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/0d/b83cb992bf37089a3f968638807df551a66744.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/6d - 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/6d/176bea1601e011447428bef4837c1d9929c1bd.debug - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/6d/176bea1601e011447428bef4837c1d9929c1bd.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/6d/176bea1601e011447428bef4837c1d9929c1bd.debug 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/sail-ocaml/dbgsym-root/usr/lib/debug/.build-id/b4/b98f439a446054cc147613656c88bcc38c9c26.debug debian/sail-ocaml/usr/bin/sail install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/93 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/93/d08c28ce96f71b93bc360412ebfd6c6c5eac0f.debug chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/93/d08c28ce96f71b93bc360412ebfd6c6c5eac0f.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/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/93/d08c28ce96f71b93bc360412ebfd6c6c5eac0f.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/82 - 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/82/ce98d3481cda9e9c5750badd1b18268f24300a.debug - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/82/ce98d3481cda9e9c5750badd1b18268f24300a.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/82/ce98d3481cda9e9c5750badd1b18268f24300a.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/c6 - 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/c6/7c31d6732ae9f5eea7bb224dded1e320dc2df9.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/c6/7c31d6732ae9f5eea7bb224dded1e320dc2df9.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/c6/7c31d6732ae9f5eea7bb224dded1e320dc2df9.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/16 - 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/16/5cad0bc3fe7a91ae368a53898743ef7f04e72a.debug - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/16/5cad0bc3fe7a91ae368a53898743ef7f04e72a.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/16/5cad0bc3fe7a91ae368a53898743ef7f04e72a.debug 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/sail-ocaml/dbgsym-root/usr/lib/debug/.build-id/b4/b98f439a446054cc147613656c88bcc38c9c26.debug debian/sail-ocaml/usr/bin/sail + install -m0755 -d debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/0d + 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/0d/b83cb992bf37089a3f968638807df551a66744.debug + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/0d/b83cb992bf37089a3f968638807df551a66744.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/0d/b83cb992bf37089a3f968638807df551a66744.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/4f 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/4f/9909a670f9cc6ae55f495fa5a57e3e29c393c3.debug chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/4f/9909a670f9cc6ae55f495fa5a57e3e29c393c3.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/4f/9909a670f9cc6ae55f495fa5a57e3e29c393c3.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/ac - 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/ac/3398bf9001e81a94055ef29b4523073daa0d63.debug - chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ac/3398bf9001e81a94055ef29b4523073daa0d63.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/ac/3398bf9001e81a94055ef29b4523073daa0d63.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/82 + 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/82/ce98d3481cda9e9c5750badd1b18268f24300a.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/82/ce98d3481cda9e9c5750badd1b18268f24300a.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/82/ce98d3481cda9e9c5750badd1b18268f24300a.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/d3 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/d3/e5a312fc19077fa60a189bce9564a2ae9cd1a8.debug chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/d3/e5a312fc19077fa60a189bce9564a2ae9cd1a8.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/d3/e5a312fc19077fa60a189bce9564a2ae9cd1a8.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/6d + 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/6d/176bea1601e011447428bef4837c1d9929c1bd.debug + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/6d/176bea1601e011447428bef4837c1d9929c1bd.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/6d/176bea1601e011447428bef4837c1d9929c1bd.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/ac + 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/ac/3398bf9001e81a94055ef29b4523073daa0d63.debug + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ac/3398bf9001e81a94055ef29b4523073daa0d63.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/ac/3398bf9001e81a94055ef29b4523073daa0d63.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/c6 + 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/c6/7c31d6732ae9f5eea7bb224dded1e320dc2df9.debug + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/c6/7c31d6732ae9f5eea7bb224dded1e320dc2df9.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/c6/7c31d6732ae9f5eea7bb224dded1e320dc2df9.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/ab 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/ab/caaa27f51b24cfc76cf1f61155455dfd7eb406.debug chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ab/caaa27f51b24cfc76cf1f61155455dfd7eb406.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/ab/caaa27f51b24cfc76cf1f61155455dfd7eb406.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/16 + 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/16/5cad0bc3fe7a91ae368a53898743ef7f04e72a.debug + chmod 0644 -- debian/.debhelper/libsail-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/16/5cad0bc3fe7a91ae368a53898743ef7f04e72a.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/16/5cad0bc3fe7a91ae368a53898743ef7f04e72a.debug debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_doc.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 @@ -773,7 +809,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_coq.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_lean.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_output.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_c.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_smt.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_latex.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_lean.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_c.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_smt.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 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_latex.cmxs debian/libsail-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libsail/plugins/sail_plugin_doc.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 @@ -1783,14 +1819,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.1-2+b4 through Base64__ -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libdune-ocaml-dev v3.17.2-1+b1 through Dune_site -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on liblem-ocaml-dev v2025-03-13+dfsg-1+b1 through Nat_big_num -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on liblinksem-ocaml-dev v0.8+dfsg3-2+b1 through Byte_sequence_impl +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libdune-ocaml-dev v3.17.2-1+b1 through Dune_site__Helpers +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on liblem-ocaml-dev v2025-03-13+dfsg-1+b1 through Lem_basic_classes +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on liblinksem-ocaml-dev v0.8+dfsg3-2+b1 through Byte_sequence libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libmenhir-ocaml-dev v20240715+ds-1+b2 through MenhirLib -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libomd-ocaml-dev/libomd-ocaml v1.3.2-2+b3 through Omd_parser -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__Printexc -libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libyojson-ocaml-dev/libyojson-ocaml v2.2.2-1+b2 through Yojson__Common +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libomd-ocaml-dev/libomd-ocaml v1.3.2-2+b3 through Omd_utils +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__Hashtbl +libsail-ocaml-dev v0.19.1+dfsg5-1 depends on libyojson-ocaml-dev/libyojson-ocaml v2.2.2-1+b2 through Yojson__ 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 @@ -1806,21 +1842,21 @@ /usr/bin/ocaml-md5sums -v --md5sums-dir debian/libsail-ocaml-dev//var/lib/ocaml/md5sums --package sail-ocaml dep < debian/sail-ocaml.olist.debhelper make[1]: Leaving directory '/build/reproducible-path/sail-ocaml-0.19.1+dfsg5' dh_gencontrol -O--buildsystem=ocaml_dune - install -m0755 -d debian/sail-ocaml/DEBIAN - echo misc:Depends= >> debian/sail-ocaml.substvars - echo misc:Pre-Depends= >> debian/sail-ocaml.substvars - install -m0755 -d debian/.debhelper/sail-ocaml/dbgsym-root/DEBIAN - dpkg-gencontrol -psail-ocaml -ldebian/changelog -Tdebian/sail-ocaml.substvars -cdebian/control -Pdebian/.debhelper/sail-ocaml/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=sail-ocaml-dbgsym "-DDepends=sail-ocaml (= \${binary:Version})" "-DDescription=debug symbols for sail-ocaml" -DBuild-Ids=b4b98f439a446054cc147613656c88bcc38c9c26 -DSection=debug -UMulti-Arch -UReplaces -UBreaks install -m0755 -d debian/libsail-ocaml-dev/DEBIAN echo misc:Depends= >> debian/libsail-ocaml-dev.substvars 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=0db83cb992bf37089a3f968638807df551a66744 165cad0bc3fe7a91ae368a53898743ef7f04e72a 4f9909a670f9cc6ae55f495fa5a57e3e29c393c3 6d176bea1601e011447428bef4837c1d9929c1bd 82ce98d3481cda9e9c5750badd1b18268f24300a 93d08c28ce96f71b93bc360412ebfd6c6c5eac0f a073a82416cec0f7caa8c1c9031c4625e7662168 abcaaa27f51b24cfc76cf1f61155455dfd7eb406 ac3398bf9001e81a94055ef29b4523073daa0d63 c67c31d6732ae9f5eea7bb224dded1e320dc2df9 d3e5a312fc19077fa60a189bce9564a2ae9cd1a8" -DSection=debug -UMulti-Arch -UReplaces -UBreaks + install -m0755 -d debian/sail-ocaml/DEBIAN + echo misc:Depends= >> debian/sail-ocaml.substvars + echo misc:Pre-Depends= >> debian/sail-ocaml.substvars + install -m0755 -d debian/.debhelper/sail-ocaml/dbgsym-root/DEBIAN + dpkg-gencontrol -psail-ocaml -ldebian/changelog -Tdebian/sail-ocaml.substvars -cdebian/control -Pdebian/.debhelper/sail-ocaml/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=sail-ocaml-dbgsym "-DDepends=sail-ocaml (= \${binary:Version})" "-DDescription=debug symbols for sail-ocaml" -DBuild-Ids=b4b98f439a446054cc147613656c88bcc38c9c26 -DSection=debug -UMulti-Arch -UReplaces -UBreaks dpkg-gencontrol: warning: Depends field of package sail-ocaml: substitution variable ${ocaml:Depends} used, but is not defined +dpkg-gencontrol: warning: Depends field of package libsail-ocaml-dev: substitution variable ${shlibs: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 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 @@ -1846,10 +1882,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 'sail-ocaml-dbgsym' in '../sail-ocaml-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-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' in '../sail-ocaml_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-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) @@ -1857,12 +1893,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/2474109/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/2474109/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/1196956 and its subdirectories -I: Current time: Tue Oct 6 19:10:39 -12 2026 -I: pbuilder-time-stamp: 1791357039 +I: removing directory /srv/workspace/pbuilder/2474109 and its subdirectories +I: Current time: Thu Sep 4 14:49:39 +14 2025 +I: pbuilder-time-stamp: 1756946979