==> 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 398k 0 --:--:-- --:--:-- --:--:-- 398k % 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 8560k 0 65029 0 0 189k 0 0:00:45 --:--:-- 0:00:45 189k 100 8560k 100 8560k 0 0 21.0M 0 --:--:-- --:--:-- --:--:-- 21.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 142k 100 142k 0 0 416k 0 --:--:-- --:--:-- --:--:-- 416k :: Starting full system upgrade... there is nothing to do PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp/archlinux-ci/ GIT_SSL_NO_VERIFY=1 SOURCE_DATE_EPOCH=1709945158 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1709945158' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' GIT_SSL_NO_VERIFY=1 printenv 2>&1 SCHROOT_SESSION_ID=archlinux-haskell-refinery-archlinuxrb-build-N4aRPjXX PWD=/tmp/archlinux-ci/haskell-refinery-archlinuxrb-build-N4aRPjXX/haskell-refinery LOGNAME=jenkins SCHROOT_ALIAS_NAME=jenkins-reproducible-archlinux SCHROOT_GROUP=jenkins SCHROOT_USER=jenkins ftp_proxy=http://127.0.0.1:3128 HOME=/var/lib/jenkins LANG=C https_proxy=http://127.0.0.1:3128 USER=jenkins FTP_PROXY=http://127.0.0.1:3128 SHLVL=1 HTTPS_PROXY=http://127.0.0.1:3128 HTTP_PROXY=http://127.0.0.1:3128 SCHROOT_GID=116 http_proxy=http://127.0.0.1:3128 DEBUGINFOD_URLS=https://debuginfod.archlinux.org SCHROOT_UID=108 HG=/usr/bin/hg _=/usr/sbin/printenv ==> Making package: haskell-refinery 0.4.0.0-174 (Fri Apr 11 07:09:30 2025) ==> 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 4930k 0 --:--:-- --:--:-- --:--:-- 5114k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 60 16.1M 60 9971k 0 0 149M 0 --:--:-- --:--:-- --:--:-- 149M 100 16.1M 100 16.1M 0 0 125M 0 --:--:-- --:--:-- --:--:-- 125M % 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 18.0M 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 33332 100 33332 0 0 5324k 0 --:--:-- --:--:-- --:--:-- 5425k 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 149M 0 --:--:-- --:--:-- --:--:-- 150M % 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 4721k 0 --:--:-- --:--:-- --:--:-- 5090k % 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 6159k 0 --:--:-- --:--:-- --:--:-- 7004k % 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 28.2M 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.9M 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 4999k 0 --:--:-- --:--:-- --:--:-- 5500k % 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 9228k 0 --:--:-- --:--:-- --:--:-- 10.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 37077 100 37077 0 0 6364k 0 --:--:-- --:--:-- --:--:-- 7241k % 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 11.1M 0 --:--:-- --:--:-- --:--:-- 13.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 102k 100 102k 0 0 16.3M 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 93829 100 93829 0 0 14.7M 0 --:--:-- --:--:-- --:--:-- 14.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 135k 100 135k 0 0 20.2M 0 --:--:-- --:--:-- --:--:-- 22.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 41.3M 0 --:--:-- --:--:-- --:--:-- 44.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 19841 100 19841 0 0 1421k 0 --:--:-- --:--:-- --:--:-- 1490k % 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 9540k 0 --:--:-- --:--:-- --:--:-- 11.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 30141 100 30141 0 0 5256k 0 --:--:-- --:--:-- --:--:-- 5886k % 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 1074k 0 --:--:-- --:--:-- --:--:-- 1143k % 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.7M 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.3M 0 --:--:-- --:--:-- --:--:-- 30.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 39.4M 0 --:--:-- --:--:-- --:--:-- 39.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 10 134k 10 14093 0 0 38803 0 0:00:03 --:--:-- 0:00:03 38717 100 134k 100 134k 0 0 154k 0 --:--:-- --:--:-- --:--:-- 154k % 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 47.3M 0 --:--:-- --:--:-- --:--:-- 69.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 113k 100 113k 0 0 19.2M 0 --:--:-- --:--:-- --:--:-- 22.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 17193 100 17193 0 0 3337k 0 --:--:-- --:--:-- --:--:-- 4197k % 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 13.5M 0 --:--:-- --:--:-- --:--:-- 14.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 33321 100 33321 0 0 6316k 0 --:--:-- --:--:-- --:--:-- 6508k % 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 25.0M 0 --:--:-- --:--:-- --:--:-- 26.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 3477k 0 --:--:-- --:--:-- --:--:-- 3645k % 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 1337k 0 --:--:-- --:--:-- --:--:-- 1671k % 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 30.4M 0 --:--:-- --:--:-- --:--:-- 32.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 61650 100 61650 0 0 10.3M 0 --:--:-- --:--:-- --:--:-- 11.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 51.0M 0 --:--:-- --:--:-- --:--:-- 53.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 54203 100 54203 0 0 2999k 0 --:--:-- --:--:-- --:--:-- 3113k % 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 3562k 0 --:--:-- --:--:-- --:--:-- 4075k 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 0 19165 0 0 102k 0 --:--:-- --:--:-- --:--:-- 102k ==> WARNING: Skipping verification of source file PGP signatures. ==> 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 (Fri Apr 11 07:10:00 2025)