Diff of the two buildlogs: -- --- b1/build.log 2025-08-30 02:57:52.759247958 +0000 +++ b2/build.log 2025-08-30 03:05:31.399828828 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Fri Aug 29 14:29:13 -12 2025 -I: pbuilder-time-stamp: 1756520953 +I: Current time: Fri Oct 2 23:20:53 +14 2026 +I: pbuilder-time-stamp: 1790932853 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/forky-reproducible-base.tgz] I: copying local configuration @@ -27,53 +27,85 @@ dpkg-source: info: applying skip_failing_test.patch I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/4006747/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/1265691/tmp/hooks/D01_modify_environment starting +debug: Running on ionos5-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 2 09:21 /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/1265691/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/1265691/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=40 ' - 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=42 ' + 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='71e94243e1274feca4bf7e273637b9a9' - 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='4006747' - PS1='# ' - PS2='> ' + INVOCATION_ID=9991b3b253a24352a86c425644d32ac4 + 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=1265691 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.qRTkpmZI/pbuilderrc_ySIM --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.qRTkpmZI/b1 --logfile b1/build.log maude_3.4-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://46.16.76.132: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.qRTkpmZI/pbuilderrc_15mU --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.qRTkpmZI/b2 --logfile b2/build.log maude_3.4-1.dsc' + SUDO_GID=110 + SUDO_HOME=/var/lib/jenkins + SUDO_UID=105 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://213.165.73.152:3128 I: uname -a - Linux ionos1-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 12:30 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/4006747/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Aug 10 2025 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/1265691/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -172,7 +204,7 @@ Get: 45 http://deb.debian.org/debian forky/main amd64 libsigsegv-dev amd64 2.14-1+b2 [28.2 kB] Get: 46 http://deb.debian.org/debian forky/main amd64 libtecla1t64 amd64 1.6.3-3.1 [106 kB] Get: 47 http://deb.debian.org/debian forky/main amd64 libtecla-dev amd64 1.6.3-3.1 [197 kB] -Fetched 22.9 MB in 1s (33.2 MB/s) +Fetched 22.9 MB in 0s (101 MB/s) Preconfiguring packages ... Selecting previously unselected package m4. (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 ... 19855 files and directories currently installed.) @@ -376,7 +408,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/maude-3.4/ && 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 > ../maude_3.4-1_source.changes +I: user script /srv/workspace/pbuilder/1265691/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for forky +I: user script /srv/workspace/pbuilder/1265691/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/maude-3.4/ && 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 > ../maude_3.4-1_source.changes dpkg-buildpackage: info: source package maude dpkg-buildpackage: info: source version 3.4-1 dpkg-buildpackage: info: source distribution unstable @@ -472,8 +508,8 @@ checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking xargs -n works... yes -checking whether UID '1111' is supported by ustar format... yes -checking whether GID '1111' is supported by ustar format... yes +checking whether UID '2222' is supported by ustar format... yes +checking whether GID '2222' is supported by ustar format... yes checking how to create a ustar tar archive... gnutar checking for gcc... gcc checking whether the C compiler works... yes @@ -1126,7 +1162,7 @@ make[2]: Leaving directory '/build/reproducible-path/maude-3.4' make[1]: Leaving directory '/build/reproducible-path/maude-3.4' dh_auto_test - make -j40 check "TESTSUITEFLAGS=-j40 --verbose" VERBOSE=1 + make -j42 check "TESTSUITEFLAGS=-j42 --verbose" VERBOSE=1 make[1]: Entering directory '/build/reproducible-path/maude-3.4' Making check in src make[2]: Entering directory '/build/reproducible-path/maude-3.4/src' @@ -1246,9 +1282,9 @@ PASS: attributeOverparsing PASS: badOmod PASS: badRenaming +PASS: badView PASS: ACU_TreeVariableSubproblem PASS: badStatement -PASS: badView ============================================================================ Testsuite summary for Maude 3.4 ============================================================================ @@ -1268,8 +1304,8 @@ make check-TESTS make[4]: Entering directory '/build/reproducible-path/maude-3.4/tests/BuiltIn' make[5]: Entering directory '/build/reproducible-path/maude-3.4/tests/BuiltIn' -PASS: int PASS: string +PASS: int PASS: rat PASS: nat PASS: counters @@ -1293,40 +1329,40 @@ make[4]: Entering directory '/build/reproducible-path/maude-3.4/tests/Misc' make[5]: Entering directory '/build/reproducible-path/maude-3.4/tests/Misc' SKIP: smtTest -PASS: mapToParameterTheory -PASS: view +PASS: directoryTest PASS: attributes -PASS: badView PASS: commands PASS: variantUnification -PASS: debug +PASS: badView +PASS: unification3 PASS: diophantine -PASS: directoryTest +PASS: debug +PASS: mapToParameterTheory PASS: dekker +PASS: parameterizedView +PASS: unification2 +PASS: AU_Unification +PASS: AU_IrredUnification PASS: renaming -PASS: rot13 +PASS: CU_Unification PASS: variantMatching -PASS: AU_IrredUnification -PASS: pconst -PASS: pconst3 -PASS: unification3 -PASS: dataStructures +PASS: view +PASS: pconst4 +PASS: unification PASS: narrow -PASS: AU_Unification +PASS: AU_and_A_UnificationEdgeCases +PASS: parse +PASS: rot13 PASS: pconst5 -PASS: unification -PASS: unification2 +PASS: parameterizedConstant PASS: bubble -PASS: continue -PASS: CU_Unification -PASS: parameterizedView -PASS: parse +PASS: pconst3 +PASS: parameterization +PASS: dataStructures PASS: pconst2 -PASS: AU_and_A_UnificationEdgeCases -PASS: parameterizedConstant +PASS: pconst +PASS: continue PASS: initialEqualityPredicate -PASS: pconst4 -PASS: parameterization PASS: variantNarrowing PASS: assocUnification PASS: meseguerFiniteVariant @@ -1352,72 +1388,72 @@ make check-TESTS make[4]: Entering directory '/build/reproducible-path/maude-3.4/tests/Meta' make[5]: Entering directory '/build/reproducible-path/maude-3.4/tests/Meta' -PASS: metaModule -PASS: metaFrewrite +PASS: metaMatch +PASS: metaReduce PASS: metaTerm -PASS: metaParse PASS: metaUnify +PASS: metaParse +PASS: metaRewrite +PASS: metaFrewrite PASS: metaSearch +PASS: metaWellFormed +PASS: metaXmatch +PASS: metaUpModExp +PASS: metaModExp PASS: metaPrettyPrint +PASS: metaModule PASS: metaProcVariantMatch PASS: metaMeta -PASS: metaReduce -PASS: metaMatch -PASS: metaRewrite +PASS: metaSort PASS: metaSpecial -PASS: metaWellFormed -PASS: metaApply +PASS: metaProcStrategy PASS: metaXapply -PASS: metaXmatch +PASS: metaUp +PASS: metaApply +PASS: metaProcVariantUnify PASS: metaProcNarrowSearch PASS: metaProcApply -PASS: metaProcStrategy -PASS: metaProcVariantUnify -PASS: metaSort -PASS: metaUpModExp -PASS: metaModExp -PASS: metaProcPrint -PASS: metaUp PASS: metaPrintAttr -PASS: metaProcParse -PASS: metaProcReplace2 +PASS: metaProcPrint PASS: metaUpDown PASS: metaVariantMatch -PASS: metaPolymorph -PASS: metaGetVariant +PASS: metaMetadata PASS: metaProcReplace +PASS: metaGetVariant PASS: metaVariantUnify -PASS: metaMetadata +PASS: metaPolymorph +PASS: metaProcParse +PASS: metaProcMatch PASS: metaNarrow PASS: metaProcSearch -PASS: metaProcMatch -PASS: metaIntVariantMatch PASS: metaUp2 -PASS: metaIntApply -PASS: metaIntReplace2 -PASS: metaProcVariantUnify2 -PASS: metaIntMatch -PASS: metaIntParse -PASS: metaIntPrint -PASS: legacyMetaUnify -PASS: metaIntNewNarrowSearch PASS: metaProcVariant -PASS: metaIntVariantUnify +PASS: metaIntSearch PASS: legacyMetaVariantUnify -PASS: metaIntStrategy +PASS: metaProcReplace2 +PASS: metaIntMatch +PASS: metaIntVariantMatch +PASS: metaIntVariantUnify +PASS: metaIntReplace2 +PASS: metaGeneratedBy PASS: legacyMetaGetVariant -PASS: metaProcUnify -PASS: metaIntVariantUnify2 -PASS: metaIntSearch +PASS: metaIntStrategy +PASS: metaIntPrint PASS: metaIntVariant -PASS: metaIntUnify -PASS: metaGeneratedBy PASS: metaIntReplace +PASS: metaIntVariantUnify2 +PASS: legacyMetaUnify +PASS: metaIntParse +PASS: metaProcVariantUnify2 +PASS: metaIntApply +PASS: metaIntNewNarrowSearch +PASS: metaIntUnify +PASS: metaProcUnify PASS: metaVariantUnify2 PASS: meta-oo-list-2 -PASS: metaProcPrelude -PASS: russianDollsFlat PASS: metaIntPrelude +PASS: russianDollsFlat +PASS: metaProcPrelude PASS: metaIntSort PASS: metaProcSort PASS: russianDollsFlatProc @@ -1449,73 +1485,73 @@ make check-TESTS make[4]: Entering directory '/build/reproducible-path/maude-3.4/tests/ResolvedBugs' make[5]: Entering directory '/build/reproducible-path/maude-3.4/tests/ResolvedBugs' -PASS: clearRulesJune2018 PASS: parserJune2018 PASS: CUIbug12-22-09 -PASS: unificationMar2013 -PASS: staleViewJune2018 -PASS: viewRecursionMay2019 +PASS: clearRulesJune2018 PASS: objectMessageOct2018 +PASS: unificationMar2013 +PASS: parameterTheoryCopyMay2019 +PASS: closeSocketFeb2020 PASS: physArgIndexOct2018 -PASS: metaApplyNov2018 -PASS: polymorphicOverloadMay2019 PASS: identityUnificationMay2020 -PASS: ascentFunctionsJanuary2020 -PASS: ACU_MissingUnifiersMay2020 -PASS: closeSocketFeb2020 +PASS: parameterTheoryMay2019 +PASS: moduleSumMay2019 +PASS: polymorphicOverloadMay2019 +PASS: staleViewJune2018 +PASS: instantiationJuly2019 +PASS: identityUnificationSeptember2020 +PASS: metaApplyNov2018 PASS: sortCollapseMay2020 +PASS: deleteTimerMarch2021 +PASS: polymorphicParsingBugsNovember2020 +PASS: degenerateFilteredVariantUnifyDecember2022 PASS: metaParseStrategyApril2020 -PASS: complexParserSyncApril2020 -PASS: irredUnifyFeb2021 -PASS: parameterTheoryCopyMay2019 +PASS: uninitIterExtSeptember2021 +PASS: ascentFunctionsJanuary2020 +PASS: kindNameDecember2022 PASS: attributeBugsNovember2020 -PASS: instantiatedViewInternalNameOctober2022 -PASS: polymorphicParsingBugsNovember2020 -PASS: identityUnificationSeptember2020 -PASS: metaIntRewriteJune2018 +PASS: ACU_MissingUnifiersMay2020 PASS: loopModeStateAugust2021 -PASS: parameterTheoryMay2019 -PASS: showModuleJune2018 -PASS: degenerateFilteredVariantUnifyDecember2022 -PASS: deleteTimerMarch2021 -PASS: moduleSumMay2019 -PASS: instantiationJuly2019 PASS: CUI_OccursCheckSeptember2020 +PASS: metaIntRewriteJune2018 +PASS: instantiatedViewInternalNameOctober2022 +PASS: spuriousAdvisoryRenamingCaptureJanuary2023 +PASS: showModuleJune2018 +PASS: irredUnifyFeb2021 PASS: metaModuleCacheJune2018 +PASS: upTheoryJanuary2023 +PASS: viewRecursionMay2019 +PASS: complexParserSyncApril2020 +PASS: smodStrategyNameJanuary2023 +PASS: metaIntMatchOct2018 PASS: metaIntAscentJune2018 -PASS: uninitIterExtSeptember2021 PASS: metaIntImportJune2018 -PASS: kindNameDecember2022 -PASS: metaIntMatchOct2018 +PASS: quotedTokenMarch2023 +PASS: theoryViewOpToTermFebruary2023 +PASS: generatedByFebruary2023 +PASS: parameterizedConstantsMarch2023 +PASS: parameterizedPolymorphicConstantMarch2023 +PASS: moduleOrphanedByViewFebruary2023 +PASS: renamingInstantiationMarch2023 PASS: doubleAttributeFebruary2023 -PASS: upTheoryJanuary2023 -PASS: spuriousAdvisoryRenamingCaptureJanuary2023 +PASS: arityRenamingMarch2023 +PASS: stripperCollectorSwitchMay2023 PASS: theoryViewWrongWarningFebruary2023 +PASS: orphanedViewInstantiationFebruary2023 PASS: moduleViewBadWarningFebruary2023 -PASS: smodStrategyNameJanuary2023 PASS: specificOpMappingPrintFebruary2023 -PASS: endothFebruary2023 -PASS: quotedTokenMarch2023 PASS: showDesugaredFebruary2023 +PASS: endothFebruary2023 +PASS: filteredVariantUnifyJune2023 +PASS: metaAutoOoIncludeFebruary2023 +PASS: pseudoParameterTheoryConstantMarch2023 PASS: opRenamingParseErrorMarch2023 -PASS: arityRenamingMarch2023 -PASS: theoryViewOpToTermFebruary2023 -PASS: generatedByFebruary2023 -PASS: orphanedViewInstantiationFebruary2023 -PASS: renamingInstantiationMarch2023 -PASS: moduleOrphanedByViewFebruary2023 -PASS: parameterizedConstantsMarch2023 -PASS: metaNarrowingApplyMarch2023 -PASS: conditionSideEffectInStrategyLanguageDecember2023 PASS: redBlackNGA_April2023 -PASS: pseudoParameterTheoryConstantMarch2023 +PASS: pseudoParametersMarch2023 +PASS: conditionSideEffectInStrategyLanguageDecember2023 PASS: redBlackTooFewSubjectsApril2023 -PASS: parameterizedPolymorphicConstantMarch2023 -PASS: metaAutoOoIncludeFebruary2023 PASS: redBlackNonLinearApril2023 -PASS: stripperCollectorSwitchMay2023 -PASS: pseudoParametersMarch2023 -PASS: filteredVariantUnifyJune2023 +PASS: metaNarrowingApplyMarch2023 PASS: variantUnifyJune2020 ============================================================================ Testsuite summary for Maude 3.4 @@ -1560,9 +1596,9 @@ make[4]: Entering directory '/build/reproducible-path/maude-3.4/tests/ObjectOriented' make[5]: Entering directory '/build/reproducible-path/maude-3.4/tests/ObjectOriented' PASS: account -PASS: parameterization -PASS: prngTest PASS: rent-a-car-store +PASS: prngTest +PASS: parameterization PASS: oo-list-3 PASS: rrobin PASS: oo-list-2 @@ -1594,14 +1630,14 @@ make[2]: Entering directory '/build/reproducible-path/maude-3.4' make[2]: Leaving directory '/build/reproducible-path/maude-3.4' make[1]: Leaving directory '/build/reproducible-path/maude-3.4' - rm -fr -- /tmp/dh-xdg-rundir-vXVx_8BG + rm -fr -- /tmp/dh-xdg-rundir-TDA3TUuA create-stamp debian/debhelper-build-stamp dh_prep rm -f -- debian/maude.substvars rm -fr -- debian/.debhelper/generated/maude/ debian/maude/ debian/tmp/ dh_auto_install --destdir=debian/maude/ install -m0755 -d /build/reproducible-path/maude-3.4/debian/maude - make -j40 install DESTDIR=/build/reproducible-path/maude-3.4/debian/maude AM_UPDATE_INFO_DIR=no + make -j42 install DESTDIR=/build/reproducible-path/maude-3.4/debian/maude AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/build/reproducible-path/maude-3.4' Making install in src make[2]: Entering directory '/build/reproducible-path/maude-3.4/src' @@ -1774,8 +1810,8 @@ make[4]: Entering directory '/build/reproducible-path/maude-3.4/src/Main' /usr/bin/mkdir -p '/build/reproducible-path/maude-3.4/debian/maude/usr/bin' /usr/bin/mkdir -p '/build/reproducible-path/maude-3.4/debian/maude/usr/share/maude' - /usr/bin/install -c -m 644 prelude.maude model-checker.maude socket.maude linear.maude machine-int.maude term-order.maude metaInterpreter.maude smt.maude file.maude time.maude prng.maude '/build/reproducible-path/maude-3.4/debian/maude/usr/share/maude' /usr/bin/install -c maude '/build/reproducible-path/maude-3.4/debian/maude/usr/bin' + /usr/bin/install -c -m 644 prelude.maude model-checker.maude socket.maude linear.maude machine-int.maude term-order.maude metaInterpreter.maude smt.maude file.maude time.maude prng.maude '/build/reproducible-path/maude-3.4/debian/maude/usr/share/maude' make[4]: Leaving directory '/build/reproducible-path/maude-3.4/src/Main' make[3]: Leaving directory '/build/reproducible-path/maude-3.4/src/Main' make[3]: Entering directory '/build/reproducible-path/maude-3.4/src' @@ -1932,12 +1968,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/1265691/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/1265691/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/4006747 and its subdirectories -I: Current time: Fri Aug 29 14:57:52 -12 2025 -I: pbuilder-time-stamp: 1756522672 +I: removing directory /srv/workspace/pbuilder/1265691 and its subdirectories +I: Current time: Fri Oct 2 23:28:30 +14 2026 +I: pbuilder-time-stamp: 1790933310