Diff of the two buildlogs: -- --- b1/build.log 2025-10-30 05:30:06.685178248 +0000 +++ b2/build.log 2025-10-30 06:01:14.250643342 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Wed Oct 29 17:22:03 -12 2025 -I: pbuilder-time-stamp: 1761801723 +I: Current time: Thu Dec 3 01:55:09 +14 2026 +I: pbuilder-time-stamp: 1796212509 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: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/602535/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/811486/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 Dec 2 11:56 /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/811486/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/811486/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]="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=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='2c2cf137b0324e2fb68f43ce1a5e4392' - 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='602535' - PS1='# ' - PS2='> ' + INVOCATION_ID=ed5e6717d558485bbe3b90b0d1cb4347 + 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=811486 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.6CX9vPcx/pbuilderrc_H7V1 --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.6CX9vPcx/b1 --logfile b1/build.log maude_3.5.1-1.dsc' - SUDO_GID='111' - SUDO_HOME='/var/lib/jenkins' - SUDO_UID='106' - 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.6CX9vPcx/pbuilderrc_bylj --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.6CX9vPcx/b2 --logfile b2/build.log maude_3.5.1-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 ionos11-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-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 12:30 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/602535/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Aug 10 2025 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/811486/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.15-1 [30.3 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 0s (124 MB/s) +Fetched 22.9 MB in 3s (7179 kB/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 ... 19869 files and directories currently installed.) @@ -382,7 +414,11 @@ Solving dependencies... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package -I: Running cd /build/reproducible-path/maude-3.5.1/ && 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.5.1-1_source.changes +I: user script /srv/workspace/pbuilder/811486/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for forky +I: user script /srv/workspace/pbuilder/811486/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/maude-3.5.1/ && 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.5.1-1_source.changes dpkg-buildpackage: info: source package maude dpkg-buildpackage: info: source version 3.5.1-1 dpkg-buildpackage: info: source distribution unstable @@ -443,8 +479,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 @@ -1092,7 +1128,7 @@ make[2]: Leaving directory '/build/reproducible-path/maude-3.5.1' make[1]: Leaving directory '/build/reproducible-path/maude-3.5.1' 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.5.1' Making check in src make[2]: Entering directory '/build/reproducible-path/maude-3.5.1/src' @@ -1207,14 +1243,14 @@ make[4]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/Corner' make[5]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/Corner' PASS: fakeParameterConstant +PASS: operatorNames PASS: fakeParameterSort PASS: attributeOverparsing -PASS: operatorNames -PASS: badOmod -PASS: badRenaming -PASS: badView PASS: ACU_TreeVariableSubproblem +PASS: badRenaming PASS: badStatement +PASS: badOmod +PASS: badView ============================================================================ Testsuite summary for Maude 3.5.1 ============================================================================ @@ -1235,10 +1271,10 @@ make[4]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/BuiltIn' make[5]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/BuiltIn' PASS: stringOps -PASS: string PASS: int -PASS: rat +PASS: string PASS: nat +PASS: rat PASS: counters ============================================================================ Testsuite summary for Maude 3.5.1 @@ -1260,41 +1296,41 @@ make[4]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/Misc' make[5]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/Misc' SKIP: smtTest +PASS: parse PASS: view -PASS: directoryTest -PASS: mapToParameterTheory -PASS: renaming -PASS: attributes -PASS: badView -PASS: unification3 -PASS: commands -PASS: variantUnification PASS: CU_Unification -PASS: debug -PASS: parameterizedView -PASS: diophantine -PASS: pconst2 -PASS: parse -PASS: dekker -PASS: AU_Unification -PASS: variantMatching -PASS: AU_IrredUnification +PASS: unification3 +PASS: attributes PASS: AU_and_A_UnificationEdgeCases PASS: pconst4 +PASS: variantUnification PASS: pconst -PASS: unification2 -PASS: rot13 -PASS: bubble -PASS: pconst5 +PASS: diophantine +PASS: AU_IrredUnification PASS: continue +PASS: variantMatching PASS: parameterizedConstant -PASS: unification +PASS: unification2 +PASS: AU_Unification PASS: narrow2 -PASS: dataStructures PASS: narrow -PASS: pconst3 +PASS: bubble +PASS: unification PASS: parameterization PASS: initialEqualityPredicate +PASS: pconst5 +PASS: directoryTest +PASS: debug +PASS: dekker +PASS: dataStructures +PASS: parameterizedView +PASS: renaming +PASS: commands +PASS: rot13 +PASS: pconst3 +PASS: pconst2 +PASS: badView +PASS: mapToParameterTheory PASS: variantNarrowing PASS: assocUnification PASS: meseguerFiniteVariant @@ -1320,68 +1356,68 @@ make check-TESTS make[4]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/Meta' make[5]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/Meta' -PASS: metaTerm -PASS: metaModule -PASS: metaRewrite -PASS: metaReduce PASS: metaMatch +PASS: metaParse PASS: metaFrewrite -PASS: metaSpecial PASS: metaWellFormed -PASS: metaSearch +PASS: metaReduce +PASS: metaTerm +PASS: metaModule +PASS: metaRewrite +PASS: metaModExp PASS: metaUnify -PASS: metaParse -PASS: metaPrettyPrint -PASS: metaXmatch -PASS: metaMeta -PASS: metaProcVariantMatch -PASS: metaUp +PASS: metaUpModExp PASS: metaSort -PASS: metaProcStrategy +PASS: metaSpecial +PASS: metaMeta +PASS: metaSearch PASS: metaApply -PASS: metaProcApply +PASS: metaUp +PASS: metaProcVariantMatch +PASS: metaXmatch +PASS: metaPrettyPrint PASS: metaProcNarrowSearch +PASS: metaProcApply +PASS: metaProcStrategy +PASS: metaProcVariantUnify PASS: metaXapply PASS: metaPrintAttr -PASS: metaModExp -PASS: metaProcVariantUnify +PASS: metaUpDown PASS: metaMetadata -PASS: metaUpModExp +PASS: metaProcReplace2 +PASS: metaProcParse +PASS: metaGetVariant +PASS: metaProcMatch PASS: metaVariantMatch PASS: metaProcReplace -PASS: metaGetVariant -PASS: metaVariantUnify PASS: metaProcPrint -PASS: metaProcParse PASS: metaPolymorph -PASS: metaProcReplace2 -PASS: metaUpDown -PASS: metaUp2 -PASS: metaProcMatch -PASS: metaNarrow +PASS: metaVariantUnify PASS: metaProcVariant -PASS: metaProcVariantUnify2 PASS: metaProcSearch -PASS: metaIntReplace2 -PASS: metaIntVariantMatch +PASS: metaUp2 PASS: metaIntMatch -PASS: metaIntReplace -PASS: legacyMetaGetVariant -PASS: legacyMetaVariantUnify -PASS: metaProcUnify -PASS: metaIntSearch +PASS: metaIntVariantMatch +PASS: metaNarrow PASS: metaIntVariantUnify -PASS: metaIntNewNarrowSearch -PASS: metaIntParse +PASS: metaIntSearch +PASS: metaIntReplace2 +PASS: metaProcUnify PASS: metaIntPrint +PASS: legacyMetaGetVariant +PASS: metaProcVariantUnify2 +PASS: metaIntParse +PASS: metaIntReplace PASS: metaIntApply PASS: legacyMetaUnify PASS: metaIntStrategy -PASS: metaIntVariantUnify2 +PASS: metaIntNewNarrowSearch +PASS: legacyMetaVariantUnify PASS: metaGeneratedBy -PASS: metaIntUnify -PASS: metaVariantUnify2 PASS: metaIntVariant +PASS: metaIntVariantUnify2 +PASS: metaVariantUnify2 +PASS: metaIntUnify PASS: meta-oo-list-2 PASS: metaProcPrelude PASS: metaIntPrelude @@ -1390,8 +1426,8 @@ PASS: metaProcSort PASS: russianDollsFlatProc PASS: russianDollsNonFlat -PASS: russianDollsNonFlat2 PASS: russianDollsNonFlat3 +PASS: russianDollsNonFlat2 PASS: russianDollsNonFlatProc PASS: russianDollsNonFlatProc3 PASS: russianDollsNonFlatProc2 @@ -1417,83 +1453,83 @@ make check-TESTS make[4]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/ResolvedBugs' make[5]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/ResolvedBugs' -PASS: clearRulesJune2018 -PASS: unificationMar2013 -PASS: CUIbug12-22-09 -PASS: physArgIndexOct2018 +PASS: parserJune2018 PASS: objectMessageOct2018 +PASS: unificationMar2013 PASS: moduleSumMay2019 -PASS: viewRecursionMay2019 -PASS: parameterTheoryCopyMay2019 +PASS: metaApplyNov2018 +PASS: clearRulesJune2018 +PASS: CUIbug12-22-09 PASS: instantiationJuly2019 -PASS: parameterTheoryMay2019 -PASS: identityUnificationMay2020 -PASS: sortCollapseMay2020 -PASS: staleViewJune2018 -PASS: parserJune2018 -PASS: polymorphicOverloadMay2019 +PASS: parameterTheoryCopyMay2019 +PASS: viewRecursionMay2019 +PASS: physArgIndexOct2018 PASS: ACU_MissingUnifiersMay2020 -PASS: identityUnificationSeptember2020 -PASS: metaApplyNov2018 PASS: closeSocketFeb2020 -PASS: loopModeStateAugust2021 +PASS: staleViewJune2018 +PASS: polymorphicOverloadMay2019 +PASS: sortCollapseMay2020 PASS: complexParserSyncApril2020 -PASS: ascentFunctionsJanuary2020 -PASS: irredUnifyFeb2021 -PASS: CUI_OccursCheckSeptember2020 -PASS: uninitIterExtSeptember2021 -PASS: kindNameDecember2022 -PASS: showModuleJune2018 -PASS: metaModuleCacheJune2018 PASS: metaParseStrategyApril2020 -PASS: polymorphicParsingBugsNovember2020 -PASS: deleteTimerMarch2021 +PASS: loopModeStateAugust2021 PASS: metaIntRewriteJune2018 -PASS: attributeBugsNovember2020 -PASS: instantiatedViewInternalNameOctober2022 +PASS: smodStrategyNameJanuary2023 +PASS: uninitIterExtSeptember2021 +PASS: irredUnifyFeb2021 +PASS: spuriousAdvisoryRenamingCaptureJanuary2023 PASS: degenerateFilteredVariantUnifyDecember2022 +PASS: showModuleJune2018 +PASS: attributeBugsNovember2020 +PASS: CUI_OccursCheckSeptember2020 +PASS: ascentFunctionsJanuary2020 +PASS: deleteTimerMarch2021 PASS: upTheoryJanuary2023 +PASS: identityUnificationSeptember2020 +PASS: metaModuleCacheJune2018 +PASS: identityUnificationMay2020 +PASS: instantiatedViewInternalNameOctober2022 +PASS: parameterTheoryMay2019 +PASS: polymorphicParsingBugsNovember2020 PASS: metaIntImportJune2018 -PASS: viewInstantiationByModuleViewApril2025 +PASS: metaIntAscentJune2018 +PASS: kindNameDecember2022 PASS: metaIntMatchOct2018 -PASS: viewInstantiationAwkwardCaseApril2025 +PASS: viewInstantiationByModuleViewApril2025 +PASS: viewInstantiationByTheoryViewStrategyMay2025 PASS: viewInstantiationByTheoryViewApril2025 -PASS: metaIntAscentJune2018 -PASS: viewInstantiationAwkwardCaseStrategyMay2025 PASS: viewInstantiationByModuleViewStrategyMay2025 -PASS: viewInstantiationByTheoryViewStrategyMay2025 -PASS: spuriousAdvisoryRenamingCaptureJanuary2023 -PASS: smodStrategyNameJanuary2023 -PASS: theoryViewWrongWarningFebruary2023 -PASS: moduleViewBadWarningFebruary2023 +PASS: viewInstantiationAwkwardCaseStrategyMay2025 +PASS: viewInstantiationAwkwardCaseApril2025 PASS: endothFebruary2023 -PASS: quotedTokenMarch2023 -PASS: theoryViewOpToTermFebruary2023 +PASS: moduleViewBadWarningFebruary2023 +PASS: specificOpMappingPrintFebruary2023 +PASS: showDesugaredFebruary2023 PASS: doubleAttributeFebruary2023 +PASS: theoryViewOpToTermFebruary2023 +PASS: theoryViewWrongWarningFebruary2023 +PASS: metaAutoOoIncludeFebruary2023 PASS: orphanedViewInstantiationFebruary2023 -PASS: parameterizedConstantsMarch2023 +PASS: renamingInstantiationMarch2023 PASS: generatedByFebruary2023 -PASS: redBlackTooFewSubjectsApril2023 -PASS: showDesugaredFebruary2023 -PASS: specificOpMappingPrintFebruary2023 -PASS: metaAutoOoIncludeFebruary2023 -PASS: moduleOrphanedByViewFebruary2023 -PASS: opRenamingParseErrorMarch2023 -PASS: redBlackNonLinearApril2023 PASS: arityRenamingMarch2023 -PASS: renamingInstantiationMarch2023 -PASS: pseudoParameterTheoryConstantMarch2023 +PASS: parameterizedConstantsMarch2023 +PASS: stratToExprNotValidMay2025 +PASS: opRenamingParseErrorMarch2023 +PASS: invalidStrategyDefinitionJune2025 +PASS: moduleOrphanedByViewFebruary2023 PASS: parameterizedPolymorphicConstantMarch2023 -PASS: redBlackNGA_April2023 +PASS: quotedTokenMarch2023 +PASS: filteredVariantUnifyJune2023 PASS: stripperCollectorSwitchMay2023 PASS: stringToRatConversionMarch2024 -PASS: pseudoParametersMarch2023 -PASS: metaNarrowingApplyMarch2023 PASS: conditionSideEffectInStrategyLanguageDecember2023 -PASS: stratToExprNotValidMay2025 -PASS: invalidStrategyDefinitionJune2025 +PASS: redBlackNonLinearApril2023 +PASS: pseudoParameterTheoryConstantMarch2023 +PASS: pseudoParametersMarch2023 PASS: fragmentBufferJune2025 -PASS: filteredVariantUnifyJune2023 +PASS: redBlackNGA_April2023 +PASS: redBlackTooFewSubjectsApril2023 +PASS: metaNarrowingApplyMarch2023 PASS: viewNameApril2025 PASS: variantUnifyJune2020 ============================================================================ @@ -1516,8 +1552,8 @@ make[4]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/StrategyLanguage' make[5]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/StrategyLanguage' PASS: modules -PASS: srewrite PASS: metalevel +PASS: srewrite PASS: parameterization ============================================================================ Testsuite summary for Maude 3.5.1 @@ -1538,15 +1574,15 @@ make check-TESTS make[4]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/ObjectOriented' make[5]: Entering directory '/build/reproducible-path/maude-3.5.1/tests/ObjectOriented' -PASS: account +PASS: prngTest PASS: rent-a-car-store +PASS: account PASS: parameterization -PASS: prngTest PASS: oo-list-3 PASS: rrobin PASS: oo-list-2 -PASS: dining-philosophers5 PASS: dining-philosophers6 +PASS: dining-philosophers5 PASS: oo-peg-game2 ============================================================================ Testsuite summary for Maude 3.5.1 @@ -1573,14 +1609,14 @@ make[2]: Entering directory '/build/reproducible-path/maude-3.5.1' make[2]: Leaving directory '/build/reproducible-path/maude-3.5.1' make[1]: Leaving directory '/build/reproducible-path/maude-3.5.1' - rm -fr -- /tmp/dh-xdg-rundir-N65AoFqv + rm -fr -- /tmp/dh-xdg-rundir-l5LpS2fj 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.5.1/debian/maude - make -j40 install DESTDIR=/build/reproducible-path/maude-3.5.1/debian/maude AM_UPDATE_INFO_DIR=no + make -j42 install DESTDIR=/build/reproducible-path/maude-3.5.1/debian/maude AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/build/reproducible-path/maude-3.5.1' Making install in src make[2]: Entering directory '/build/reproducible-path/maude-3.5.1/src' @@ -1911,12 +1947,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/811486/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/811486/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/602535 and its subdirectories -I: Current time: Wed Oct 29 17:30:06 -12 2025 -I: pbuilder-time-stamp: 1761802206 +I: removing directory /srv/workspace/pbuilder/811486 and its subdirectories +I: Current time: Thu Dec 3 02:24:13 +14 2026 +I: pbuilder-time-stamp: 1796214253