==> 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 389k 0 --:--:-- --:--:-- --:--:-- 389k % 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.2M 0 --:--:-- --:--:-- --:--:-- 20.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 50 142k 50 73374 0 0 208k 0 --:--:-- --:--:-- --:--:-- 208k 100 142k 100 142k 0 0 407k 0 --:--:-- --:--:-- --:--:-- 407k :: 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=1709859062 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1709859062' 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-tamarin-prover-sapic-archlinuxrb-build-XbnIwTQ4 PWD=/tmp/archlinux-ci/haskell-tamarin-prover-sapic-archlinuxrb-build-XbnIwTQ4/haskell-tamarin-prover-sapic 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-tamarin-prover-sapic 1.8.0-40 (Thu Apr 10 07:14:26 2025) ==> 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 42.3M 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 105M 0 --:--:-- --:--:-- --:--:-- 105M % 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 4625k 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 9396 100 9396 0 0 1319k 0 --:--:-- --:--:-- --:--:-- 1529k % 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 6928k 0 --:--:-- --:--:-- --:--:-- 7635k % 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 6232k 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 60.1M 0 --:--:-- --:--:-- --:--:-- 65.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 480k 100 480k 0 0 50.5M 0 --:--:-- --:--:-- --:--:-- 52.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 30141 100 30141 0 0 1871k 0 --:--:-- --:--:-- --:--:-- 1962k % 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 900k 0 --:--:-- --:--:-- --:--:-- 952k % 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 13.2M 0 --:--:-- --:--:-- --:--:-- 14.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 24084 100 24084 0 0 3870k 0 --:--:-- --:--:-- --:--:-- 3919k % 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 27.7M 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 98k 100 98k 0 0 14.2M 0 --:--:-- --:--:-- --:--:-- 16.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 321k 100 321k 0 0 36.0M 0 --:--:-- --:--:-- --:--:-- 39.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 80917 100 80917 0 0 11.3M 0 --:--:-- --:--:-- --:--:-- 12.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 79236 100 79236 0 0 11.3M 0 --:--:-- --:--:-- --:--:-- 12.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 36725 100 36725 0 0 2062k 0 --:--:-- --:--:-- --:--:-- 2109k % 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 8396k 0 --:--:-- --:--:-- --:--:-- 9758k % 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 3356k 0 --:--:-- --:--:-- --:--:-- 3863k % 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 8703k 0 --:--:-- --:--:-- --:--:-- 9002k % 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 10.8M 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 102k 100 102k 0 0 15.5M 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 216k 100 216k 0 0 28.6M 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 68462 100 68462 0 0 9.9M 0 --:--:-- --:--:-- --:--:-- 10.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 1004k 100 1004k 0 0 37.8M 0 --:--:-- --:--:-- --:--:-- 39.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 22610 100 22610 0 0 5892k 0 --:--:-- --:--:-- --:--:-- 7360k % 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 6291k 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 109k 100 109k 0 0 15.2M 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 93829 100 93829 0 0 8812k 0 --:--:-- --:--:-- --:--:-- 9162k % 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 7355k 0 --:--:-- --:--:-- --:--:-- 7511k % 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 17.2M 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 19841 100 19841 0 0 3221k 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 9144k 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 326k 100 326k 0 0 16.7M 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 16971 100 16971 0 0 2895k 0 --:--:-- --:--:-- --:--:-- 3314k % 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 13.9M 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 119k 100 119k 0 0 17.7M 0 --:--:-- --:--:-- --:--:-- 19.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 154k 100 154k 0 0 20.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 69912 100 69912 0 0 3545k 0 --:--:-- --:--:-- --:--:-- 3593k % 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 11.7M 0 --:--:-- --:--:-- --:--:-- 11.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 62903 100 62903 0 0 9.9M 0 --:--:-- --:--:-- --:--:-- 11.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 111k 100 111k 0 0 16.5M 0 --:--:-- --:--:-- --:--:-- 18.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 1080k 100 1080k 0 0 69.7M 0 --:--:-- --:--:-- --:--:-- 70.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 4691 100 4691 0 0 840k 0 --:--:-- --:--:-- --:--:-- 916k % 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 25.6M 0 --:--:-- --:--:-- --:--:-- 26.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 34990 100 34990 0 0 5987k 0 --:--:-- --:--:-- --:--:-- 6833k % 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 16.1M 0 --:--:-- --:--:-- --:--:-- 19.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 40468 100 40468 0 0 9707k 0 --:--:-- --:--:-- --:--:-- 9879k % 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 10.2M 0 --:--:-- --:--:-- --:--:-- 11.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 87549 100 87549 0 0 4819k 0 --:--:-- --:--:-- --:--:-- 5029k % 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 60.8M 0 --:--:-- --:--:-- --:--:-- 80.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 12104 100 12104 0 0 28201 0 --:--:-- --:--:-- --:--:-- 28214 % 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 5139k 0 --:--:-- --:--:-- --:--:-- 5247k % 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 14.4M 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 61331 100 61331 0 0 26.4M 0 --:--:-- --:--:-- --:--:-- 29.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 11 209k 11 25677 0 0 115k 0 0:00:01 --:--:-- 0:00:01 115k 100 209k 100 209k 0 0 287k 0 --:--:-- --:--:-- --:--:-- 287k % 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 2886k 0 --:--:-- --:--:-- --:--:-- 3358k % 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 4298k 0 --:--:-- --:--:-- --:--:-- 4381k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 95 666k 95 633k 0 0 1696k 0 --:--:-- --:--:-- --:--:-- 1692k 100 666k 100 666k 0 0 1758k 0 --:--:-- --:--:-- --:--:-- 1757k % 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 3417k 0 --:--:-- --:--:-- --:--:-- 3455k % 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 63.1M 0 --:--:-- --:--:-- --:--:-- 65.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 83692 100 83692 0 0 289k 0 --:--:-- --:--:-- --:--:-- 289k % 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 13.6M 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 35560 100 35560 0 0 4483k 0 --:--:-- --:--:-- --:--:-- 4960k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 52 2648k 52 1402k 0 0 2471k 0 0:00:01 --:--:-- 0:00:01 2469k 100 2648k 100 2648k 0 0 4532k 0 --:--:-- --:--:-- --:--:-- 4526k 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 70 33.7M 70 23.8M 0 0 109M 0 --:--:-- --:--:-- --:--:-- 109M 100 33.7M 100 33.7M 0 0 108M 0 --:--:-- --:--:-- --:--:-- 108M 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 3728k 0 3728k 0 0 3762k 0 --:--:-- --:--:-- --:--:-- 3762k 100 7280k 0 7280k 0 0 3675k 0 --:--:-- 0:00:01 --:--:-- 3587k 100 13.1M 0 13.1M 0 0 4504k 0 --:--:-- 0:00:02 --:--:-- 4872k 100 16.6M 0 16.6M 0 0 5318k 0 --:--:-- 0:00:03 --:--:-- 6015k ==> 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-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 (Thu Apr 10 07:15:08 2025)