==> Cloning haskell-tamarin-prover-term ... Cloning into 'haskell-tamarin-prover-term'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring haskell-tamarin-prover-term :: Synchronizing package databases... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 134k 100 134k 0 0 391k 0 --:--:-- --:--:-- --:--:-- 390k 100 134k 100 134k 0 0 391k 0 --:--:-- --:--:-- --:--:-- 390k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 8560k 100 8560k 0 0 20.4M 0 --:--:-- --:--:-- --:--:-- 20.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 142k 100 142k 0 0 422k 0 --:--:-- --:--:-- --:--:-- 424k :: Starting full system upgrade... there is nothing to do ==> Making package: haskell-tamarin-prover-term 1.8.0-24 (Thu Apr 10 09:06:32 2025) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (20) haskell-base-orphans-0.8.8.2-12 haskell-base64-bytestring-1.2.1.0-103 haskell-blaze-builder-0.4.2.3-2 haskell-call-stack-0.4.0-182 haskell-data-array-byte-0.1.0.1-53 haskell-fclabels-2.0.5.1-111 haskell-ghc-bignum-orphans-0.1.1-2 haskell-hashable-1.4.3.0-44 haskell-integer-logarithms-1.0.3.1-7 haskell-primitive-0.7.4.0-109 haskell-scientific-0.3.7.0-112 haskell-sha-1.6.4.4-20 haskell-syb-0.7.2.4-7 numactl-2.0.18-1 ghc-libs-9.2.8-1 haskell-attoparsec-0.14.4-73 haskell-dlist-1.0-240 haskell-hunit-1.6.2.0-225 haskell-safe-0.3.21-4 haskell-tamarin-prover-utils-1.8.0-24 Total Download Size: 17.81 MiB Total Installed Size: 132.35 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 83803 100 83803 0 0 41.3M 0 --:--:-- --:--:-- --:--:-- 79.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 16.1M 100 16.1M 0 0 106M 0 --:--:-- --:--:-- --:--:-- 107M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 17193 100 17193 0 0 10.4M 0 --:--:-- --:--:-- --:--:-- 16.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 76265 100 76265 0 0 35.9M 0 --:--:-- --:--:-- --:--:-- 72.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 28164 100 28164 0 0 17.9M 0 --:--:-- --:--:-- --:--:-- 26.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 30141 100 30141 0 0 19.4M 0 --:--:-- --:--:-- --:--:-- 28.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 5853 100 5853 0 0 4094k 0 --:--:-- --:--:-- --:--:-- 5715k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 93418 100 93418 0 0 47.0M 0 --:--:-- --:--:-- --:--:-- 89.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 24084 100 24084 0 0 17.6M 0 --:--:-- --:--:-- --:--:-- 22.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 235k 100 235k 0 0 76.7M 0 --:--:-- --:--:-- --:--:-- 114M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 98k 100 98k 0 0 52.4M 0 --:--:-- --:--:-- --:--:-- 96.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 321k 100 321k 0 0 62.9M 0 --:--:-- --:--:-- --:--:-- 78.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 49966 100 49966 0 0 11.6M 0 --:--:-- --:--:-- --:--:-- 11.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 59679 100 59679 0 0 37.1M 0 --:--:-- --:--:-- --:--:-- 56.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 96728 100 96728 0 0 54.7M 0 --:--:-- --:--:-- --:--:-- 92.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 35058 100 35058 0 0 14.8M 0 --:--:-- --:--:-- --:--:-- 16.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 61331 100 61331 0 0 35.9M 0 --:--:-- --:--:-- --:--:-- 58.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 98k 100 98k 0 0 53.8M 0 --:--:-- --:--:-- --:--:-- 95.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 87549 100 87549 0 0 49.5M 0 --:--:-- --:--:-- --:--:-- 83.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 209k 100 209k 0 0 75.0M 0 --:--:-- --:--:-- --:--:-- 102M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing numactl... installing ghc-libs... installing haskell-call-stack... installing haskell-hunit... installing haskell-base-orphans... installing haskell-data-array-byte... installing haskell-ghc-bignum-orphans... installing haskell-hashable... installing haskell-integer-logarithms... installing haskell-primitive... installing haskell-scientific... installing haskell-attoparsec... installing haskell-dlist... installing haskell-safe... installing haskell-sha... installing haskell-base64-bytestring... installing haskell-blaze-builder... installing haskell-fclabels... installing haskell-syb... installing haskell-tamarin-prover-utils... :: Running post-transaction hooks... (1/2) Arming ConditionNeedsUpdate... (2/2) Registering Haskell modules... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (1) ghc-9.2.8-1 Total Download Size: 33.73 MiB Total Installed Size: 232.52 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 33.7M 100 33.7M 0 0 112M 0 --:--:-- --:--:-- --:--:-- 112M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing ghc... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> Retrieving sources... -> Downloading tamarin-prover-1.8.0.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2256k 0 2256k 0 0 2908k 0 --:--:-- --:--:-- --:--:-- 2908k 100 5904k 0 5904k 0 0 3336k 0 --:--:-- 0:00:01 --:--:-- 3666k 100 9872k 0 9872k 0 0 3566k 0 --:--:-- 0:00:02 --:--:-- 3821k 100 16.6M 0 16.6M 0 0 4763k 0 --:--:-- 0:00:03 --:--:-- 5277k ==> WARNING: Skipping verification of source file PGP signatures. ==> Validating source files with sha512sums... tamarin-prover-1.8.0.tar.gz ... Passed ==> Extracting sources... -> Extracting tamarin-prover-1.8.0.tar.gz with bsdtar ==> Starting build()... Configuring tamarin-prover-term-1.8.0... Preprocessing library for tamarin-prover-term-1.8.0.. Building library for tamarin-prover-term-1.8.0.. [ 1 of 28] Compiling Term.Rewriting.Definitions ( src/Term/Rewriting/Definitions.hs, dist/build/Term/Rewriting/Definitions.dyn_o ) [ 2 of 28] Compiling Term.Term.Classes ( src/Term/Term/Classes.hs, dist/build/Term/Term/Classes.dyn_o ) [ 3 of 28] Compiling Term.Term.FunctionSymbols ( src/Term/Term/FunctionSymbols.hs, dist/build/Term/Term/FunctionSymbols.dyn_o ) [ 4 of 28] Compiling Term.Term.Raw ( src/Term/Term/Raw.hs, dist/build/Term/Term/Raw.dyn_o ) [ 5 of 28] Compiling Term.Term ( src/Term/Term.hs, dist/build/Term/Term.dyn_o ) [ 6 of 28] Compiling Term.VTerm ( src/Term/VTerm.hs, dist/build/Term/VTerm.dyn_o ) src/Term/VTerm.hs:93:5: warning: [-Wnoncanonical-monad-instances] Noncanonical `return' definition detected in the instance declaration for `Monad (Lit c)'. `return' will eventually be removed in favour of `pure' Either remove definition for `return' (recommended) or define as `return = pure' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 93 | return = Var | ^^^^^^^^^^^^^^^^^^^^ [ 7 of 28] Compiling Term.Positions ( src/Term/Positions.hs, dist/build/Term/Positions.dyn_o ) [ 8 of 28] Compiling Term.LTerm ( src/Term/LTerm.hs, dist/build/Term/LTerm.dyn_o ) src/Term/LTerm.hs:478:4: warning: [-Wnoncanonical-monad-instances] Noncanonical `pure = return' definition detected in the instance declaration for `Applicative BVar'. Move definition from `return' to `pure' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 478 | pure = return | ^^^^^^^^^^^^^^ src/Term/LTerm.hs:482:5: warning: [-Wnoncanonical-monad-instances] Noncanonical `return' definition detected in the instance declaration for `Monad BVar'. `return' will eventually be removed in favour of `pure' Either remove definition for `return' (recommended) or define as `return = pure' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 482 | return = Free | ^^^^^^^^^^^^^^ src/Term/LTerm.hs:586:10: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type `[(LVar, Occurence)]' not matched: [] | 586 | map (\((v,ctx1):rest) -> (v, S.fromList (ctx1:map snd rest))) . groupOn fst . sortOn fst | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 9 of 28] Compiling Term.SubtermRule ( src/Term/SubtermRule.hs, dist/build/Term/SubtermRule.dyn_o ) [10 of 28] Compiling Term.Substitution.SubstVFresh ( src/Term/Substitution/SubstVFresh.hs, dist/build/Term/Substitution/SubstVFresh.dyn_o ) [11 of 28] Compiling Term.Substitution.SubstVFree ( src/Term/Substitution/SubstVFree.hs, dist/build/Term/Substitution/SubstVFree.dyn_o ) [12 of 28] Compiling Term.Substitution ( src/Term/Substitution.hs, dist/build/Term/Substitution.dyn_o ) [13 of 28] Compiling Term.Macro ( src/Term/Macro.hs, dist/build/Term/Macro.dyn_o ) [14 of 28] Compiling Term.Maude.Types ( src/Term/Maude/Types.hs, dist/build/Term/Maude/Types.dyn_o ) [15 of 28] Compiling Term.Builtin.Signature ( src/Term/Builtin/Signature.hs, dist/build/Term/Builtin/Signature.dyn_o ) [16 of 28] Compiling Term.Builtin.Convenience ( src/Term/Builtin/Convenience.hs, dist/build/Term/Builtin/Convenience.dyn_o ) [17 of 28] Compiling Term.Builtin.Rules ( src/Term/Builtin/Rules.hs, dist/build/Term/Builtin/Rules.dyn_o ) [18 of 28] Compiling Term.Maude.Signature ( src/Term/Maude/Signature.hs, dist/build/Term/Maude/Signature.dyn_o ) [19 of 28] Compiling Term.Maude.Parser ( src/Term/Maude/Parser.hs, dist/build/Term/Maude/Parser.dyn_o ) [20 of 28] Compiling Term.Maude.Process ( src/Term/Maude/Process.hs, dist/build/Term/Maude/Process.dyn_o ) [21 of 28] Compiling Term.Unification ( src/Term/Unification.hs, dist/build/Term/Unification.dyn_o ) [22 of 28] Compiling Term.Subsumption ( src/Term/Subsumption.hs, dist/build/Term/Subsumption.dyn_o ) [23 of 28] Compiling Term.Narrowing.Narrow ( src/Term/Narrowing/Narrow.hs, dist/build/Term/Narrowing/Narrow.dyn_o ) [24 of 28] Compiling Term.Rewriting.Norm ( src/Term/Rewriting/Norm.hs, dist/build/Term/Rewriting/Norm.dyn_o ) [25 of 28] Compiling Term.Narrowing.Variants.Check ( src/Term/Narrowing/Variants/Check.hs, dist/build/Term/Narrowing/Variants/Check.dyn_o ) [26 of 28] Compiling Term.Narrowing.Variants.Compute ( src/Term/Narrowing/Variants/Compute.hs, dist/build/Term/Narrowing/Variants/Compute.dyn_o ) [27 of 28] Compiling Term.Narrowing.Variants ( src/Term/Narrowing/Variants.hs, dist/build/Term/Narrowing/Variants.dyn_o ) [28 of 28] Compiling Term.UnitTests ( src/Term/UnitTests.hs, dist/build/Term/UnitTests.dyn_o ) Unregistering tamarin-prover-term-1.8.0... ==> Entering fakeroot environment... ==> Starting package()... Installing library in /tmp/archlinux-ci/haskell-tamarin-prover-term-archlinuxrb-build-nRihtWS8/haskell-tamarin-prover-term/pkg/haskell-tamarin-prover-term/usr/lib/ghc-9.2.8/site-local/tamarin-prover-term-1.8.0 ==> Tidying install... -> Removing libtool files... -> Purging unwanted files... -> Removing static library files... -> Stripping unneeded symbols from binaries and libraries... -> Compressing man and info pages... ==> Checking for packaging issues... ==> Creating package "haskell-tamarin-prover-term"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Creating package "haskell-tamarin-prover-term-debug"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: haskell-tamarin-prover-term 1.8.0-24 (Thu Apr 10 09:07:27 2025)