==> Cloning haskell-tamarin-prover-sapic ... Cloning into 'haskell-tamarin-prover-sapic'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring haskell-tamarin-prover-sapic :: 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 392k 0 --:--:-- --:--:-- --:--:-- 393k % 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 21.6M 0 --:--:-- --:--:-- --:--:-- 21.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 142k 100 142k 0 0 423k 0 --:--:-- --:--:-- --:--:-- 424k :: Starting full system upgrade... there is nothing to do ==> Making package: haskell-tamarin-prover-sapic 1.8.0-40 (Fri Mar 8 00:52:33 2024) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (66) haskell-assoc-1.0.2-256 haskell-attoparsec-0.14.4-73 haskell-attoparsec-aeson-2.1.0.0-26 haskell-base-compat-0.12.2-2 haskell-base-compat-batteries-0.12.2-81 haskell-base-orphans-0.8.8.2-12 haskell-base64-bytestring-1.2.1.0-103 haskell-bifunctors-5.6-67 haskell-blaze-builder-0.4.2.3-2 haskell-call-stack-0.4.0-182 haskell-cmdargs-0.10.22-2 haskell-comonad-5.0.8-251 haskell-contravariant-1.5.5-4 haskell-data-array-byte-0.1.0.1-53 haskell-data-fix-0.3.2-101 haskell-distributive-0.6.2.1-208 haskell-erf-2.0.0.0-25 haskell-foldable1-classes-compat-0.1-67 haskell-generically-0.1.1-2 haskell-ghc-bignum-orphans-0.1.1-2 haskell-hashable-1.4.3.0-44 haskell-hunit-1.6.2.0-225 haskell-indexed-traversable-0.1.3-59 haskell-indexed-traversable-instances-0.1.1.2-39 haskell-integer-logarithms-1.0.3.1-7 haskell-onetuple-0.3.1-74 haskell-primitive-0.7.4.0-109 haskell-quickcheck-2.14.3-62 haskell-random-1.2.1.2-6 haskell-regex-base-0.94.0.2-3 haskell-regex-pcre-0.95.0.0-14 haskell-regex-posix-0.96.0.1-4 haskell-scientific-0.3.7.0-112 haskell-semialign-1.2.0.1-155 haskell-semigroupoids-5.3.7-137 haskell-sha-1.6.4.4-20 haskell-split-0.2.5-5 haskell-splitmix-0.1.0.5-20 haskell-statevar-1.2.2-3 haskell-strict-0.4.0.1-230 haskell-syb-0.7.2.4-7 haskell-tagged-0.8.8-2 haskell-text-short-0.1.5-78 haskell-th-abstraction-0.4.5.0-2 haskell-these-1.1.1.1-257 haskell-time-compat-1.9.6.1-96 haskell-transformers-compat-0.7.2-2 haskell-unordered-containers-0.2.20-13 haskell-uuid-types-1.0.5.1-15 haskell-vector-0.13.1.0-28 haskell-vector-stream-0.1.0.1-2 haskell-witherable-0.4.2-96 numactl-2.0.18-1 pcre-8.45-4 ghc-libs-9.2.8-1 haskell-aeson-2.1.2.1-42 haskell-aeson-pretty-0.8.10-2 haskell-dlist-1.0-240 haskell-fclabels-2.0.5.1-111 haskell-parallel-3.2.2.0-18 haskell-raw-strings-qq-1.1-222 haskell-safe-0.3.21-4 haskell-tamarin-prover-term-1.8.0-24 haskell-tamarin-prover-theory-1.8.0-40 haskell-tamarin-prover-utils-1.8.0-24 haskell-uniplate-1.6.13-218 Total Download Size: 28.21 MiB Total Installed Size: 200.10 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 54.1M 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 191M 0 --:--:-- --:--:-- --:--:-- 192M % 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 29.7M 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 9396 100 9396 0 0 22493 0 --:--:-- --:--:-- --:--:-- 22532 % 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 19.9M 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 35865 100 35865 0 0 37.7M 0 --:--:-- --:--:-- --:--:-- 34.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 201k 100 201k 0 0 144M 0 --:--:-- --:--:-- --:--:-- 196M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 36 480k 36 175k 0 0 498k 0 --:--:-- --:--:-- --:--:-- 497k 100 480k 100 480k 0 0 1359k 0 --:--:-- --:--:-- --:--:-- 1358k % 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 33.5M 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 7787k 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 91.8M 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 12.1M 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 139M 0 --:--:-- --:--:-- --:--:-- 229M % 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 92.3M 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 168M 0 --:--:-- --:--:-- --:--:-- 313M % 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 80917 100 80917 0 0 79.3M 0 --:--:-- --:--:-- --:--:-- 77.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 79236 100 79236 0 0 219k 0 --:--:-- --:--:-- --:--:-- 220k % 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 36725 100 36725 0 0 97464 0 --:--:-- --:--:-- --:--:-- 97672 % 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 50.1M 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 19781 100 19781 0 0 26.1M 0 --:--:-- --:--:-- --:--:-- 18.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 58.4M 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 69719 100 69719 0 0 70.5M 0 --:--:-- --:--:-- --:--:-- 66.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 102k 100 102k 0 0 100M 0 --:--:-- --:--:-- --:--:-- 100M % 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 142M 0 --:--:-- --:--:-- --:--:-- 210M % 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 68462 100 68462 0 0 70.5M 0 --:--:-- --:--:-- --:--:-- 65.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 1004k 100 1004k 0 0 173M 0 --:--:-- --:--:-- --:--:-- 196M % 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 22610 100 22610 0 0 27.3M 0 --:--:-- --:--:-- --:--:-- 21.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 41.1M 0 --:--:-- --:--:-- --:--:-- 35.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 109k 100 109k 0 0 103M 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 93829 100 93829 0 0 89.6M 0 --:--:-- --:--:-- --:--:-- 89.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 135k 100 135k 0 0 116M 0 --:--:-- --:--:-- --:--:-- 132M % 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 166M 0 --:--:-- --:--:-- --:--:-- 177M % 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 26.6M 0 --:--:-- --:--:-- --:--:-- 18.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 57805 100 57805 0 0 60.2M 0 --:--:-- --:--:-- --:--:-- 55.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 165M 0 --:--:-- --:--:-- --:--:-- 318M % 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 16971 100 16971 0 0 19.9M 0 --:--:-- --:--:-- --:--:-- 16.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 91494 100 91494 0 0 89.4M 0 --:--:-- --:--:-- --:--:-- 87.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 119k 100 119k 0 0 109M 0 --:--:-- --:--:-- --:--:-- 117M % 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 154k 100 154k 0 0 128M 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 69912 100 69912 0 0 180k 0 --:--:-- --:--:-- --:--:-- 180k % 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 62691 100 62691 0 0 171k 0 --:--:-- --:--:-- --:--:-- 171k % 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 62903 100 62903 0 0 162k 0 --:--:-- --:--:-- --:--:-- 162k 100 62903 100 62903 0 0 162k 0 --:--:-- --:--:-- --:--:-- 162k % 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 111k 100 111k 0 0 100M 0 --:--:-- --:--:-- --:--:-- 108M % 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 1080k 100 1080k 0 0 174M 0 --:--:-- --:--:-- --:--:-- 175M % 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 4691 100 4691 0 0 5926k 0 --:--:-- --:--:-- --:--:-- 4581k % 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 347k 100 347k 0 0 172M 0 --:--:-- --:--:-- --:--:-- 339M % 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 34990 100 34990 0 0 43.1M 0 --:--:-- --:--:-- --:--:-- 33.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 98k 100 98k 0 0 93.5M 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 40468 100 40468 0 0 45.0M 0 --:--:-- --:--:-- --:--:-- 38.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 59679 100 59679 0 0 68.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 90.2M 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 245k 100 245k 0 0 154M 0 --:--:-- --:--:-- --:--:-- 240M % 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 12104 100 12104 0 0 35402 0 --:--:-- --:--:-- --:--:-- 35495 % 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 88.0M 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 40.3M 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 64.6M 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 0 209k 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 209k 100 209k 0 0 306k 0 --:--:-- --:--:-- --:--:-- 306k % 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 18.9M 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 77.8M 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 666k 100 666k 0 0 1928k 0 --:--:-- --:--:-- --:--:-- 1931k % 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 63696 100 63696 0 0 63.3M 0 --:--:-- --:--:-- --:--:-- 60.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 1000k 100 1000k 0 0 172M 0 --:--:-- --:--:-- --:--:-- 195M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 9 83692 9 8192 0 0 47750 0 0:00:01 --:--:-- 0:00:01 47627 100 83692 100 83692 0 0 474k 0 --:--:-- --:--:-- --:--:-- 472k % 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 78188 100 78188 0 0 66.3M 0 --:--:-- --:--:-- --:--:-- 74.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 35560 100 35560 0 0 42.9M 0 --:--:-- --:--:-- --:--:-- 33.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 97 2648k 97 2582k 0 0 3026k 0 --:--:-- --:--:-- --:--:-- 3024k 100 2648k 100 2648k 0 0 3101k 0 --:--:-- --:--:-- --:--:-- 3100k 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-base-orphans... installing haskell-onetuple... installing haskell-erf... installing haskell-splitmix... installing haskell-random... installing haskell-quickcheck... 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-base-compat... installing haskell-base-compat-batteries... installing haskell-data-fix... installing haskell-dlist... installing haskell-generically... installing haskell-tagged... installing haskell-foldable1-classes-compat... installing haskell-indexed-traversable... installing haskell-unordered-containers... installing haskell-vector-stream... installing haskell-vector... installing haskell-indexed-traversable-instances... installing haskell-distributive... installing haskell-transformers-compat... installing haskell-comonad... installing haskell-th-abstraction... installing haskell-bifunctors... installing haskell-statevar... installing haskell-contravariant... installing haskell-semigroupoids... installing haskell-assoc... installing haskell-these... installing haskell-semialign... installing haskell-strict... installing haskell-text-short... installing haskell-time-compat... installing haskell-uuid-types... installing haskell-witherable... installing haskell-aeson... installing haskell-attoparsec-aeson... installing haskell-cmdargs... installing haskell-aeson-pretty... installing haskell-fclabels... installing haskell-parallel... installing haskell-safe... installing haskell-syb... installing haskell-uniplate... installing haskell-raw-strings-qq... installing haskell-sha... installing haskell-base64-bytestring... installing haskell-blaze-builder... installing haskell-tamarin-prover-utils... installing haskell-call-stack... installing haskell-hunit... installing haskell-tamarin-prover-term... installing haskell-regex-base... installing pcre... installing haskell-regex-pcre... installing haskell-regex-posix... installing haskell-split... installing haskell-tamarin-prover-theory... :: 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 74 33.7M 74 24.9M 0 0 194M 0 --:--:-- --:--:-- --:--:-- 193M 100 33.7M 100 33.7M 0 0 195M 0 --:--:-- --:--:-- --:--:-- 194M 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 657k 0 657k 0 0 1224k 0 --:--:-- --:--:-- --:--:-- 1224k 100 5200k 0 5200k 0 0 3372k 0 --:--:-- 0:00:01 --:--:-- 4524k 100 8227k 0 8227k 0 0 3241k 0 --:--:-- 0:00:02 --:--:-- 3783k 100 16.6M 0 16.6M 0 0 4816k 0 --:--:-- 0:00:03 --:--:-- 5458k 100 16.6M 0 16.6M 0 0 4816k 0 --:--:-- 0:00:03 --:--:-- 5458k ==> 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-sapic-1.8.0... Preprocessing library for tamarin-prover-sapic-1.8.0.. Building library for tamarin-prover-sapic-1.8.0.. [ 1 of 18] Compiling Sapic.Annotation ( src/Sapic/Annotation.hs, dist/build/Sapic/Annotation.dyn_o ) [ 2 of 18] Compiling Sapic.Bindings ( src/Sapic/Bindings.hs, dist/build/Sapic/Bindings.dyn_o ) [ 3 of 18] Compiling Sapic.Exceptions ( src/Sapic/Exceptions.hs, dist/build/Sapic/Exceptions.dyn_o ) src/Sapic/Exceptions.hs:26:1: warning: [-Wunused-imports] The import of `Sapic.Annotation' is redundant except perhaps to import instances from `Sapic.Annotation' To import instances alone, use: import Sapic.Annotation() | 26 | import Sapic.Annotation --toAnProcess | ^^^^^^^^^^^^^^^^^^^^^^^ src/Sapic/Exceptions.hs:96:10: warning: [-Wunused-matches] Defined but not used: `a' | 96 | show a@(ProcessNotWellformed e p) = "Process not well-formed: " ++ Pretty.render (text (show e) $-$ nest 2 (maybe emptyDoc prettySapic p)) | ^ [ 4 of 18] Compiling Sapic.Facts ( src/Sapic/Facts.hs, dist/build/Sapic/Facts.dyn_o ) [ 5 of 18] Compiling Sapic.Compression ( src/Sapic/Compression.hs, dist/build/Sapic/Compression.dyn_o ) [ 6 of 18] Compiling Sapic.LetDestructors ( src/Sapic/LetDestructors.hs, dist/build/Sapic/LetDestructors.dyn_o ) [ 7 of 18] Compiling Sapic.Locks ( src/Sapic/Locks.hs, dist/build/Sapic/Locks.dyn_o ) [ 8 of 18] Compiling Sapic.ProcessUtils ( src/Sapic/ProcessUtils.hs, dist/build/Sapic/ProcessUtils.dyn_o ) [ 9 of 18] Compiling Sapic.Basetranslation ( src/Sapic/Basetranslation.hs, dist/build/Sapic/Basetranslation.dyn_o ) [10 of 18] Compiling Sapic.ProgressFunction ( src/Sapic/ProgressFunction.hs, dist/build/Sapic/ProgressFunction.dyn_o ) [11 of 18] Compiling Sapic.ProgressTranslation ( src/Sapic/ProgressTranslation.hs, dist/build/Sapic/ProgressTranslation.dyn_o ) [12 of 18] Compiling Sapic.ReliableChannelTranslation ( src/Sapic/ReliableChannelTranslation.hs, dist/build/Sapic/ReliableChannelTranslation.dyn_o ) [13 of 18] Compiling Sapic.Report ( src/Sapic/Report.hs, dist/build/Sapic/Report.dyn_o ) [14 of 18] Compiling Sapic.SecretChannels ( src/Sapic/SecretChannels.hs, dist/build/Sapic/SecretChannels.dyn_o ) [15 of 18] Compiling Sapic.States ( src/Sapic/States.hs, dist/build/Sapic/States.dyn_o ) [16 of 18] Compiling Sapic.Typing ( src/Sapic/Typing.hs, dist/build/Sapic/Typing.dyn_o ) [17 of 18] Compiling Sapic.Warnings ( src/Sapic/Warnings.hs, dist/build/Sapic/Warnings.dyn_o ) [18 of 18] Compiling Sapic ( src/Sapic.hs, dist/build/Sapic.dyn_o ) Unregistering tamarin-prover-sapic-1.8.0... ==> Entering fakeroot environment... ==> Starting package()... Installing library in /tmp/archlinux-ci/haskell-tamarin-prover-sapic-archlinuxrb-build-XbnIwTQ4/haskell-tamarin-prover-sapic/pkg/haskell-tamarin-prover-sapic/usr/lib/ghc-9.2.8/site-local/tamarin-prover-sapic-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-sapic"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Creating package "haskell-tamarin-prover-sapic-debug"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: haskell-tamarin-prover-sapic 1.8.0-40 (Fri Mar 8 00:53:08 2024)