==> Cloning haskell-smtlib ... Cloning into 'haskell-smtlib'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring haskell-smtlib :: 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 396k 0 --:--:-- --:--:-- --:--:-- 396k 100 134k 100 134k 0 0 396k 0 --:--:-- --:--:-- --:--:-- 396k % 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 22.0M 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 142k 100 142k 0 0 419k 0 --:--:-- --:--:-- --:--:-- 420k :: Starting full system upgrade... there is nothing to do ==> Making package: haskell-smtlib 1.1-15 (Thu Mar 7 20:55:39 2024) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (2) numactl-2.0.18-1 ghc-libs-9.2.8-1 Total Download Size: 16.24 MiB Total Installed Size: 123.49 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 47.8M 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 193M 0 --:--:-- --:--:-- --:--:-- 194M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing numactl... installing ghc-libs... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> 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 198M 0 --:--:-- --:--:-- --:--:-- 198M 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 smtLib-1.1.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 9667 100 9667 0 0 261k 0 --:--:-- --:--:-- --:--:-- 261k ==> Validating source files with sha512sums... smtLib-1.1.tar.gz ... Passed ==> Extracting sources... -> Extracting smtLib-1.1.tar.gz with bsdtar ==> Starting build()... Configuring smtLib-1.1... Preprocessing library for smtLib-1.1.. Building library for smtLib-1.1.. [ 1 of 13] Compiling SMTLib1.AST ( src/SMTLib1/AST.hs, dist/build/SMTLib1/AST.dyn_o ) [ 2 of 13] Compiling SMTLib1.PP ( src/SMTLib1/PP.hs, dist/build/SMTLib1/PP.dyn_o ) [ 3 of 13] Compiling SMTLib1 ( src/SMTLib1.hs, dist/build/SMTLib1.dyn_o ) [ 4 of 13] Compiling SMTLib1.QF_BV ( src/SMTLib1/QF_BV.hs, dist/build/SMTLib1/QF_BV.dyn_o ) [ 5 of 13] Compiling SMTLib1.QF_AUFBV ( src/SMTLib1/QF_AUFBV.hs, dist/build/SMTLib1/QF_AUFBV.dyn_o ) [ 6 of 13] Compiling SMTLib2.AST ( src/SMTLib2/AST.hs, dist/build/SMTLib2/AST.dyn_o ) [ 7 of 13] Compiling SMTLib2.Array ( src/SMTLib2/Array.hs, dist/build/SMTLib2/Array.dyn_o ) [ 8 of 13] Compiling SMTLib2.BitVector ( src/SMTLib2/BitVector.hs, dist/build/SMTLib2/BitVector.dyn_o ) [ 9 of 13] Compiling SMTLib2.Core ( src/SMTLib2/Core.hs, dist/build/SMTLib2/Core.dyn_o ) [10 of 13] Compiling SMTLib2.Compat1 ( src/SMTLib2/Compat1.hs, dist/build/SMTLib2/Compat1.dyn_o ) src/SMTLib2/Compat1.hs:9:1: warning: [-Wunused-imports] The import of `Control.Applicative' is redundant except perhaps to import instances from `Control.Applicative' To import instances alone, use: import Control.Applicative() | 9 | import Control.Applicative(Applicative(..), (<$>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/SMTLib2/Compat1.hs:10:1: warning: [-Wunused-imports] The import of `Data.Traversable' is redundant except perhaps to import instances from `Data.Traversable' To import instances alone, use: import Data.Traversable() | 10 | import Data.Traversable(traverse) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [11 of 13] Compiling SMTLib2.Int ( src/SMTLib2/Int.hs, dist/build/SMTLib2/Int.dyn_o ) [12 of 13] Compiling SMTLib2.PP ( src/SMTLib2/PP.hs, dist/build/SMTLib2/PP.dyn_o ) [13 of 13] Compiling SMTLib2 ( src/SMTLib2.hs, dist/build/SMTLib2.dyn_o ) Unregistering smtLib-1.1... ==> Entering fakeroot environment... ==> Starting package()... Installing library in /tmp/archlinux-ci/haskell-smtlib-archlinuxrb-build-uhgvoyvX/haskell-smtlib/pkg/haskell-smtlib/usr/lib/ghc-9.2.8/site-local/smtLib-1.1 ==> 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-smtlib"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Creating package "haskell-smtlib-debug"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: haskell-smtlib 1.1-15 (Thu Mar 7 20:55:56 2024)