==> Cloning haskell-refinery ... Cloning into 'haskell-refinery'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring haskell-refinery :: 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 133k 100 133k 0 0 391k 0 --:--:-- --:--:-- --:--:-- 391k 100 133k 100 133k 0 0 391k 0 --:--:-- --:--:-- --:--:-- 391k % 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 21.4M 0 --:--:-- --:--:-- --:--:-- 21.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 142k 100 142k 0 0 408k 0 --:--:-- --:--:-- --:--:-- 408k :: Starting full system upgrade... there is nothing to do ==> Making package: haskell-refinery 0.4.0.0-174 (Sat Mar 9 00:47:26 2024) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (4) haskell-transformers-compat-0.7.2-2 numactl-2.0.18-1 ghc-libs-9.2.8-1 haskell-mmorph-1.2.0-6 Total Download Size: 16.38 MiB Total Installed Size: 124.33 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 9221k 0 --:--:-- --:--:-- --:--:-- 9.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 152M 0 --:--:-- --:--:-- --:--:-- 153M % 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 109k 100 109k 0 0 56.3M 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 33332 100 33332 0 0 28.2M 0 --:--:-- --:--:-- --:--:-- 31.7M 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-transformers-compat... installing haskell-mmorph... :: 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 (34) haskell-ansi-terminal-0.11.4-64 haskell-base-orphans-0.8.8.2-12 haskell-bifunctors-5.6-67 haskell-call-stack-0.4.0-182 haskell-colour-2.3.6-208 haskell-comonad-5.0.8-251 haskell-contravariant-1.5.5-4 haskell-data-array-byte-0.1.0.1-53 haskell-distributive-0.6.2.1-208 haskell-erf-2.0.0.0-25 haskell-foldable1-classes-compat-0.1-67 haskell-ghc-bignum-orphans-0.1.1-2 haskell-hashable-1.4.3.0-44 haskell-hspec-core-2.10.9-95 haskell-hspec-discover-2.10.9-49 haskell-hspec-expectations-0.8.3-37 haskell-hunit-1.6.2.0-225 haskell-indexed-traversable-0.1.3-59 haskell-lexer-1.1.1-2 haskell-primitive-0.7.4.0-109 haskell-quickcheck-io-0.2.0-687 haskell-random-1.2.1.2-6 haskell-semigroupoids-5.3.7-137 haskell-setenv-0.1.1.3-26 haskell-splitmix-0.1.0.5-20 haskell-statevar-1.2.2-3 haskell-tagged-0.8.8-2 haskell-tf-random-0.5-696 haskell-th-abstraction-0.4.5.0-2 haskell-unordered-containers-0.2.20-13 ghc-9.2.8-1 haskell-checkers-0.6.0-114 haskell-hspec-2.10.9-105 haskell-quickcheck-2.14.3-62 Total Download Size: 37.59 MiB Total Installed Size: 256.02 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 162M 0 --:--:-- --:--:-- --:--:-- 162M % 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 15637 100 15637 0 0 2053k 0 --:--:-- --:--:-- --:--:-- 2181k % 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 35865 100 35865 0 0 5439k 0 --:--:-- --:--:-- --:--:-- 5837k % 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 201k 100 201k 0 0 30.5M 0 --:--:-- --:--:-- --:--:-- 32.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 480k 100 480k 0 0 52.7M 0 --:--:-- --:--:-- --:--:-- 58.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 22.5M 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 55312 100 55312 0 0 34.6M 0 --:--:-- --:--:-- --:--:-- 52.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 37077 100 37077 0 0 5912k 0 --:--:-- --:--:-- --:--:-- 6034k % 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 69719 100 69719 0 0 8944k 0 --:--:-- --:--:-- --:--:-- 9726k % 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 102k 100 102k 0 0 279k 0 --:--:-- --:--:-- --:--:-- 279k % 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 93829 100 93829 0 0 6247k 0 --:--:-- --:--:-- --:--:-- 6544k % 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 135k 100 135k 0 0 49.7M 0 --:--:-- --:--:-- --:--:-- 66.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 363k 100 363k 0 0 45.6M 0 --:--:-- --:--:-- --:--:-- 50.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 19841 100 19841 0 0 3583k 0 --:--:-- --:--:-- --:--:-- 3875k % 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 57805 100 57805 0 0 9213k 0 --:--:-- --:--:-- --:--:-- 9408k % 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 2425k 0 --:--:-- --:--:-- --:--:-- 2452k % 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 342k 0 --:--:-- --:--:-- --:--:-- 357k % 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 14.6M 0 --:--:-- --:--:-- --:--:-- 17.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 216k 100 216k 0 0 29.9M 0 --:--:-- --:--:-- --:--:-- 35.1M % 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 326k 100 326k 0 0 47.4M 0 --:--:-- --:--:-- --:--:-- 53.1M % 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 160k 0 --:--:-- --:--:-- --:--:-- 160k % 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 84.8M 0 --:--:-- --:--:-- --:--:-- 138M % 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 113k 100 113k 0 0 67.3M 0 --:--:-- --:--:-- --:--:-- 110M % 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 14.6M 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 52.0M 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 33321 100 33321 0 0 26.0M 0 --:--:-- --:--:-- --:--:-- 15.8M 100 33321 100 33321 0 0 24.7M 0 --:--:-- --:--:-- --:--:-- 15.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 189k 100 189k 0 0 74.8M 0 --:--:-- --:--:-- --:--:-- 92.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 18663 100 18663 0 0 15.5M 0 --:--:-- --:--:-- --:--:-- 17.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 6848 100 6848 0 0 6063k 0 --:--:-- --:--:-- --:--:-- 6687k % 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 106M 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 61650 100 61650 0 0 41.2M 0 --:--:-- --:--:-- --:--:-- 58.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 491k 100 491k 0 0 135M 0 --:--:-- --:--:-- --:--:-- 159M % 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 54203 100 54203 0 0 38.3M 0 --:--:-- --:--:-- --:--:-- 51.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 29213 100 29213 0 0 21.5M 0 --:--:-- --:--:-- --:--:-- 27.8M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing ghc... installing haskell-erf... installing haskell-splitmix... installing haskell-random... installing haskell-quickcheck... installing haskell-base-orphans... installing haskell-tagged... installing haskell-distributive... installing haskell-foldable1-classes-compat... installing haskell-indexed-traversable... installing haskell-comonad... installing haskell-th-abstraction... installing haskell-bifunctors... installing haskell-statevar... installing haskell-contravariant... installing haskell-data-array-byte... installing haskell-ghc-bignum-orphans... installing haskell-hashable... installing haskell-unordered-containers... installing haskell-semigroupoids... installing haskell-checkers... installing haskell-colour... installing haskell-ansi-terminal... installing haskell-call-stack... installing haskell-hunit... installing haskell-hspec-expectations... installing haskell-lexer... installing haskell-quickcheck-io... installing haskell-setenv... installing haskell-primitive... installing haskell-tf-random... installing haskell-hspec-core... installing haskell-hspec-discover... installing haskell-hspec... :: Running post-transaction hooks... (1/2) Arming ConditionNeedsUpdate... (2/2) Registering Haskell modules... ==> Retrieving sources... -> Downloading refinery-0.4.0.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 19165 100 19165 0 0 479k 0 --:--:-- --:--:-- --:--:-- 479k ==> Validating source files with sha512sums... refinery-0.4.0.0.tar.gz ... Passed ==> Extracting sources... -> Extracting refinery-0.4.0.0.tar.gz with bsdtar ==> Starting build()... Configuring refinery-0.4.0.0... Preprocessing library for refinery-0.4.0.0.. Building library for refinery-0.4.0.0.. [1 of 4] Compiling Paths_refinery ( dist/build/autogen/Paths_refinery.hs, dist/build/Paths_refinery.dyn_o ) [2 of 4] Compiling Refinery.ProofState ( src/Refinery/ProofState.hs, dist/build/Refinery/ProofState.dyn_o ) src/Refinery/ProofState.hs:111:5: warning: [-Wnoncanonical-monad-instances] Noncanonical `pure = return' definition detected in the instance declaration for `Applicative (ProofStateT ext ext err s m)'. Move definition from `return' to `pure' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 111 | pure = return | ^^^^^^^^^^^^^ src/Refinery/ProofState.hs:145:5: warning: [-Wnoncanonical-monad-instances] Noncanonical `return' definition detected in the instance declaration for `Monad (ProofStateT ext ext err s 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 | 145 | return goal = Subgoal goal Axiom | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [3 of 4] Compiling Refinery.Tactic.Internal ( src/Refinery/Tactic/Internal.hs, dist/build/Refinery/Tactic/Internal.dyn_o ) src/Refinery/Tactic/Internal.hs:124:3: warning: [-Wnoncanonical-monad-instances] Noncanonical `pure = return' definition detected in the instance declaration for `Applicative (RuleT jdg ext err s m)'. Move definition from `return' to `pure' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 124 | pure = return | ^^^^^^^^^^^^^ src/Refinery/Tactic/Internal.hs:132:3: warning: [-Wnoncanonical-monad-instances] Noncanonical `return' definition detected in the instance declaration for `Monad (RuleT jdg ext err s 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 | 132 | return = coerce . Axiom | ^^^^^^^^^^^^^^^^^^^^^^^ [4 of 4] Compiling Refinery.Tactic ( src/Refinery/Tactic.hs, dist/build/Refinery/Tactic.dyn_o ) Preprocessing test suite 'refinery-test' for refinery-0.4.0.0.. Building test suite 'refinery-test' for refinery-0.4.0.0.. [1 of 5] Compiling Checkers ( test/Checkers.hs, dist/build/refinery-test/refinery-test-tmp/Checkers.dyn_o ) [2 of 5] Compiling Paths_refinery ( dist/build/refinery-test/autogen/Paths_refinery.hs, dist/build/refinery-test/refinery-test-tmp/Paths_refinery.dyn_o ) [3 of 5] Compiling Spec.PropertyTests ( test/Spec/PropertyTests.hs, dist/build/refinery-test/refinery-test-tmp/Spec/PropertyTests.dyn_o ) [4 of 5] Compiling Spec.STLC ( test/Spec/STLC.hs, dist/build/refinery-test/refinery-test-tmp/Spec/STLC.dyn_o ) [5 of 5] Compiling Main ( test/Spec.hs, dist/build/refinery-test/refinery-test-tmp/Main.dyn_o ) Linking dist/build/refinery-test/refinery-test ... Unregistering refinery-0.4.0.0... ==> Entering fakeroot environment... ==> Starting package()... Installing library in /tmp/archlinux-ci/haskell-refinery-archlinuxrb-build-N4aRPjXX/haskell-refinery/pkg/haskell-refinery/usr/lib/ghc-9.2.8/site-local/refinery-0.4.0.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-refinery"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Creating package "haskell-refinery-debug"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: haskell-refinery 0.4.0.0-174 (Sat Mar 9 00:47:53 2024)