==> Cloning haskell-tamarin-prover-utils ... Cloning into 'haskell-tamarin-prover-utils'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring haskell-tamarin-prover-utils :: 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 394k 0 --:--:-- --:--:-- --:--:-- 395k % 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 8559k 100 8559k 0 0 20.0M 0 --:--:-- --:--:-- --:--:-- 20.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 19 142k 19 28318 0 0 84021 0 0:00:01 --:--:-- 0:00:01 84029 100 142k 100 142k 0 0 419k 0 --:--:-- --:--:-- --:--:-- 419k :: Starting full system upgrade... there is nothing to do ==> Making package: haskell-tamarin-prover-utils 1.8.0-24 (Thu Apr 10 03:34:19 2025) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (10) haskell-base-orphans-0.8.8.2-12 numactl-2.0.18-1 ghc-libs-9.2.8-1 haskell-base64-bytestring-1.2.1.0-103 haskell-blaze-builder-0.4.2.3-2 haskell-dlist-1.0-240 haskell-fclabels-2.0.5.1-111 haskell-safe-0.3.21-4 haskell-sha-1.6.4.4-20 haskell-syb-0.7.2.4-7 Total Download Size: 16.73 MiB Total Installed Size: 125.95 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 36.6M 0 --:--:-- --:--:-- --:--:-- 39.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 80 16.1M 80 13.0M 0 0 91.0M 0 --:--:-- --:--:-- --:--:-- 90.7M 100 16.1M 100 16.1M 0 0 94.4M 0 --:--:-- --:--:-- --:--:-- 93.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 49.8M 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 26.5M 0 --:--:-- --:--:-- --:--:-- 33.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 61331 100 61331 0 0 40.3M 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 49966 100 49966 0 0 38.4M 0 --:--:-- --:--:-- --:--:-- 47.6M % 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 21.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 98k 100 98k 0 0 146k 0 --:--:-- --:--:-- --:--:-- 146k % 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 40.0M 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 87549 100 87549 0 0 48.8M 0 --:--:-- --:--:-- --:--:-- 83.4M 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-sha... installing haskell-base64-bytestring... installing haskell-blaze-builder... installing haskell-dlist... installing haskell-base-orphans... installing haskell-fclabels... installing haskell-safe... installing haskell-syb... :: 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 188M 0 --:--:-- --:--:-- --:--:-- 189M 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 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 3936k 0 3936k 0 0 3639k 0 --:--:-- 0:00:01 --:--:-- 3639k 100 7477k 0 7477k 0 0 3594k 0 --:--:-- 0:00:02 --:--:-- 3541k 100 14.2M 0 14.2M 0 0 4740k 0 --:--:-- 0:00:03 --:--:-- 5336k 100 16.6M 0 16.6M 0 0 5281k 0 --:--:-- 0:00:03 --:--:-- 6112k ==> 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 prepare()... ==> Starting build()... Configuring tamarin-prover-utils-1.8.0... Preprocessing library for tamarin-prover-utils-1.8.0.. Building library for tamarin-prover-utils-1.8.0.. [ 1 of 24] Compiling Control.Basics ( src/Control/Basics.hs, dist/build/Control/Basics.dyn_o ) [ 2 of 24] Compiling Control.Monad.Trans.FastFresh ( src/Control/Monad/Trans/FastFresh.hs, dist/build/Control/Monad/Trans/FastFresh.dyn_o ) [ 3 of 24] Compiling Control.Monad.Trans.PreciseFresh ( src/Control/Monad/Trans/PreciseFresh.hs, dist/build/Control/Monad/Trans/PreciseFresh.dyn_o ) [ 4 of 24] Compiling Control.Monad.Fresh.Class ( src/Control/Monad/Fresh/Class.hs, dist/build/Control/Monad/Fresh/Class.dyn_o ) [ 5 of 24] Compiling Control.Monad.Fresh ( src/Control/Monad/Fresh.hs, dist/build/Control/Monad/Fresh.dyn_o ) [ 6 of 24] Compiling Control.Monad.Disj.Class ( src/Control/Monad/Disj/Class.hs, dist/build/Control/Monad/Disj/Class.dyn_o ) [ 7 of 24] Compiling Control.Monad.Trans.Disj ( src/Control/Monad/Trans/Disj.hs, dist/build/Control/Monad/Trans/Disj.dyn_o ) src/Control/Monad/Trans/Disj.hs:32:40: warning: [-Wdeprecations] In the use of type constructor or class `ListT' (imported from Control.Monad.List, but defined in Control.Monad.Trans.List): Deprecated: "This transformer is invalid on most monads" | 32 | newtype DisjT m a = DisjT { unDisjT :: ListT m a } | ^^^^^ src/Control/Monad/Trans/Disj.hs:37:17: warning: [-Wdeprecations] In the use of data constructor `ListT' (imported from Control.Monad.List, but defined in Control.Monad.Trans.List): Deprecated: "This transformer is invalid on most monads" | 37 | disjT = DisjT . ListT | ^^^^^ src/Control/Monad/Trans/Disj.hs:41:12: warning: [-Wdeprecations] In the use of `runListT' (imported from Control.Monad.List, but defined in Control.Monad.Trans.List): Deprecated: "This transformer is invalid on most monads" | 41 | runDisjT = runListT . unDisjT | ^^^^^^^^ src/Control/Monad/Trans/Disj.hs:51:5: warning: [-Wnoncanonical-monad-instances] Noncanonical `return' definition detected in the instance declaration for `Monad (DisjT m)'. `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 | 51 | return = DisjT . return | ^^^^^^^^^^^^^^^^^^^^^^^^ [ 8 of 24] Compiling Control.Monad.Disj ( src/Control/Monad/Disj.hs, dist/build/Control/Monad/Disj.dyn_o ) [ 9 of 24] Compiling Control.Monad.Bind ( src/Control/Monad/Bind.hs, dist/build/Control/Monad/Bind.dyn_o ) [10 of 24] Compiling Data.Color ( src/Data/Color.hs, dist/build/Data/Color.dyn_o ) [11 of 24] Compiling Data.DAG.Simple ( src/Data/DAG/Simple.hs, dist/build/Data/DAG/Simple.dyn_o ) [12 of 24] Compiling Debug.Trace.Ignore ( src/Debug/Trace/Ignore.hs, dist/build/Debug/Trace/Ignore.dyn_o ) [13 of 24] Compiling Extension.Data.ByteString ( src/Extension/Data/ByteString.hs, dist/build/Extension/Data/ByteString.dyn_o ) [14 of 24] Compiling Extension.Data.Label ( src/Extension/Data/Label.hs, dist/build/Extension/Data/Label.dyn_o ) [15 of 24] Compiling Extension.Data.Monoid ( src/Extension/Data/Monoid.hs, dist/build/Extension/Data/Monoid.dyn_o ) [16 of 24] Compiling Extension.Prelude ( src/Extension/Prelude.hs, dist/build/Extension/Prelude.dyn_o ) src/Extension/Prelude.hs:12:1: warning: [-Wunused-imports] The import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() | 12 | import Data.Foldable (asum) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [17 of 24] Compiling Logic.Connectives ( src/Logic/Connectives.hs, dist/build/Logic/Connectives.dyn_o ) [18 of 24] Compiling System.Timing ( src/System/Timing.hs, dist/build/System/Timing.dyn_o ) [19 of 24] Compiling Text.Dot ( src/Text/Dot.hs, dist/build/Text/Dot.dyn_o ) src/Text/Dot.hs:79:3: warning: [-Wnoncanonical-monad-instances] Noncanonical `pure = return' definition detected in the instance declaration for `Applicative Dot'. Move definition from `return' to `pure' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 79 | pure = return | ^^^^^^^^^^^^^^ src/Text/Dot.hs:83:3: warning: [-Wnoncanonical-monad-instances] Noncanonical `return' definition detected in the instance declaration for `Monad Dot'. `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 | 83 | return a = Dot $ \ uq -> ([],uq,a) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [20 of 24] Compiling Text.PrettyPrint.Class ( src/Text/PrettyPrint/Class.hs, dist/build/Text/PrettyPrint/Class.dyn_o ) [21 of 24] Compiling Text.PrettyPrint.Highlight ( src/Text/PrettyPrint/Highlight.hs, dist/build/Text/PrettyPrint/Highlight.dyn_o ) [22 of 24] Compiling Text.PrettyPrint.Html ( src/Text/PrettyPrint/Html.hs, dist/build/Text/PrettyPrint/Html.dyn_o ) [23 of 24] Compiling Text.Unicode ( src/Text/Unicode.hs, dist/build/Text/Unicode.dyn_o ) [24 of 24] Compiling Utils.Misc ( src/Utils/Misc.hs, dist/build/Utils/Misc.dyn_o ) Unregistering tamarin-prover-utils-1.8.0... ==> Entering fakeroot environment... ==> Starting package()... Installing library in /tmp/archlinux-ci/haskell-tamarin-prover-utils-archlinuxrb-build-MBzN5OXx/haskell-tamarin-prover-utils/pkg/haskell-tamarin-prover-utils/usr/lib/ghc-9.2.8/site-local/tamarin-prover-utils-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-utils"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Creating package "haskell-tamarin-prover-utils-debug"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: haskell-tamarin-prover-utils 1.8.0-24 (Thu Apr 10 03:34:42 2025)