==> Cloning haskell-tamarin-prover-theory ... Cloning into 'haskell-tamarin-prover-theory'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring haskell-tamarin-prover-theory :: 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 400k 0 --:--:-- --:--:-- --:--:-- 401k % 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 8561k 100 8561k 0 0 22.1M 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 142k 100 142k 0 0 417k 0 --:--:-- --:--:-- --:--:-- 416k 100 142k 100 142k 0 0 417k 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/ SOURCE_DATE_EPOCH=1709897755 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1709897755' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' printenv 2>&1 SCHROOT_SESSION_ID=archlinux-haskell-tamarin-prover-theory-archlinuxrb-build-iwHehybS PWD=/tmp/archlinux-ci/haskell-tamarin-prover-theory-archlinuxrb-build-iwHehybS/haskell-tamarin-prover-theory 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-theory 1.8.0-40 (Fri Mar 8 11:36:16 2024) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (64) haskell-assoc-1.0.2-256 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-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-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-attoparsec-0.14.4-73 haskell-dlist-1.0-240 haskell-fclabels-2.0.5.1-111 haskell-parallel-3.2.2.0-18 haskell-regex-pcre-0.95.0.0-14 haskell-regex-posix-0.96.0.1-4 haskell-safe-0.3.21-4 haskell-split-0.2.5-5 haskell-tamarin-prover-term-1.8.0-24 haskell-tamarin-prover-utils-1.8.0-24 haskell-uniplate-1.6.13-218 Total Download Size: 25.61 MiB Total Installed Size: 180.53 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 55.0M 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 192M 0 --:--:-- --:--:-- --:--:-- 194M % 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 25.2M 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 10.6M 0 --:--:-- --:--:-- --:--:-- 9175k % 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 14.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 29.3M 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 110M 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 480k 100 480k 0 0 175M 0 --:--:-- --:--:-- --:--:-- 234M % 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 24.9M 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 6623k 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 80.0M 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 23.0M 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 121M 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 68.9M 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 152M 0 --:--:-- --:--:-- --:--:-- 156M % 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 62.1M 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 57.5M 0 --:--:-- --:--:-- --:--:-- 75.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 35.7M 0 --:--:-- --:--:-- --:--:-- 35.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 49966 100 49966 0 0 47.8M 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 20.0M 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 46.8M 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 59.7M 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 73.2M 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 119M 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 54.8M 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 170M 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 17.9M 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 37.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 87.2M 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 64.3M 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 88.5M 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 153M 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 21.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 58.0M 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 159M 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 18.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 78.3M 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 97.1M 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 99.7M 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 65.9M 0 --:--:-- --:--:-- --:--:-- 66.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 62691 100 62691 0 0 49.4M 0 --:--:-- --:--:-- --:--:-- 59.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 62903 100 62903 0 0 59.3M 0 --:--:-- --:--:-- --:--:-- 59.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 91.3M 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 168M 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 5769k 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 146M 0 --:--:-- --:--:-- --:--:-- 169M % 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 99357 0 --:--:-- --:--:-- --:--:-- 99121 100 34990 100 34990 0 0 99341 0 --:--:-- --:--:-- --:--:-- 99121 % 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 77.2M 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 34.9M 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 63696 100 63696 0 0 43.7M 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 166M 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 100 83692 100 83692 0 0 73.8M 0 --:--:-- --:--:-- --:--:-- 79.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 78188 100 78188 0 0 66.9M 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 59679 100 59679 0 0 58.7M 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 35560 100 35560 0 0 39.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 100 87549 100 87549 0 0 70.8M 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 144M 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 96728 100 96728 0 0 78.1M 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 24.6M 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 47.4M 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 100 209k 100 209k 0 0 111M 0 --:--:-- --:--:-- --:--:-- 204M % 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 17.5M 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 61.4M 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 129M 0 --:--:-- --:--:-- --:--:-- 162M 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-regex-base... installing pcre... installing haskell-regex-pcre... installing haskell-regex-posix... installing haskell-safe... installing haskell-split... installing haskell-syb... installing haskell-uniplate... 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... :: 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 (2) ghc-9.2.8-1 uusi-0.4.3.0-33 Total Download Size: 33.79 MiB Total Installed Size: 232.84 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 % 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 64446 100 64446 0 0 60.8M 0 --:--:-- --:--:-- --:--:-- 61.4M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing ghc... installing uusi... :: 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 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 582k 0 582k 0 0 545k 0 --:--:-- 0:00:01 --:--:-- 545k 100 5262k 0 5262k 0 0 2549k 0 --:--:-- 0:00:02 --:--:-- 4698k 100 8560k 0 8560k 0 0 2780k 0 --:--:-- 0:00:03 --:--:-- 3968k 100 16.6M 0 16.6M 0 0 4372k 0 --:--:-- 0:00:03 --:--:-- 5819k ==> 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()... Pending action(s): Replace["regex-pcre-builtin" |-> "regex-pcre":>=0] Parsing cabal file from tamarin-prover-theory.cabal... Write file: tamarin-prover-theory.cabal ==> Starting build()... Configuring tamarin-prover-theory-1.8.0... Preprocessing library for tamarin-prover-theory-1.8.0.. Building library for tamarin-prover-theory-1.8.0.. [ 1 of 76] Compiling Items.ExportInfo ( src/Items/ExportInfo.hs, dist/build/Items/ExportInfo.dyn_o ) [ 2 of 76] Compiling Theory.Model.Fact ( src/Theory/Model/Fact.hs, dist/build/Theory/Model/Fact.dyn_o ) [ 3 of 76] Compiling Items.OptionItem ( src/Items/OptionItem.hs, dist/build/Items/OptionItem.dyn_o ) [ 4 of 76] Compiling Theory.Module ( src/Theory/Module.hs, dist/build/Theory/Module.dyn_o ) [ 5 of 76] Compiling Theory.Sapic.Position ( src/Theory/Sapic/Position.hs, dist/build/Theory/Sapic/Position.dyn_o ) [ 6 of 76] Compiling Theory.Text.Pretty ( src/Theory/Text/Pretty.hs, dist/build/Theory/Text/Pretty.dyn_o ) [ 7 of 76] Compiling Theory.Model.Signature ( src/Theory/Model/Signature.hs, dist/build/Theory/Model/Signature.dyn_o ) [ 8 of 76] Compiling Theory.Model.Atom ( src/Theory/Model/Atom.hs, dist/build/Theory/Model/Atom.dyn_o ) [ 9 of 76] Compiling Theory.Model.Formula ( src/Theory/Model/Formula.hs, dist/build/Theory/Model/Formula.dyn_o ) [10 of 76] Compiling Theory.Sapic.Term ( src/Theory/Sapic/Term.hs, dist/build/Theory/Sapic/Term.dyn_o ) [11 of 76] Compiling Theory.Sapic.Annotation ( src/Theory/Sapic/Annotation.hs, dist/build/Theory/Sapic/Annotation.dyn_o ) src/Theory/Sapic/Annotation.hs:57:1: warning: [-Worphans] Orphan instance: instance Data (Subst Name LVar) To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. | 57 | deriving instance Data (Subst Name LVar) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Theory/Sapic/Annotation.hs:62:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical `mappend' definition detected in the instance declaration for `Monoid ProcessParsedAnnotation'. `mappend' will eventually be removed in favour of `(<>)' Either remove definition for `mappend' (recommended) or define as `mappend = (<>)' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 62 | mappend p1 p2 = ProcessParsedAnnotation | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [12 of 76] Compiling Theory.Sapic.Substitution ( src/Theory/Sapic/Substitution.hs, dist/build/Theory/Sapic/Substitution.dyn_o ) [13 of 76] Compiling Theory.Sapic.Pattern ( src/Theory/Sapic/Pattern.hs, dist/build/Theory/Sapic/Pattern.dyn_o ) [14 of 76] Compiling Theory.Sapic.Process ( src/Theory/Sapic/Process.hs, dist/build/Theory/Sapic/Process.dyn_o ) [15 of 76] Compiling Theory.Sapic.PlainProcess ( src/Theory/Sapic/PlainProcess.hs, dist/build/Theory/Sapic/PlainProcess.dyn_o ) [16 of 76] Compiling Theory.Sapic ( src/Theory/Sapic.hs, dist/build/Theory/Sapic.dyn_o ) [17 of 76] Compiling Items.ProcessItem ( src/Items/ProcessItem.hs, dist/build/Items/ProcessItem.dyn_o ) [18 of 76] Compiling Theory.Model.Rule ( src/Theory/Model/Rule.hs, dist/build/Theory/Model/Rule.dyn_o ) [19 of 76] Compiling Theory.Sapic.Print ( src/Theory/Sapic/Print.hs, dist/build/Theory/Sapic/Print.dyn_o ) [20 of 76] Compiling Theory.Model.Restriction ( src/Theory/Model/Restriction.hs, dist/build/Theory/Model/Restriction.dyn_o ) [21 of 76] Compiling Theory.Model ( src/Theory/Model.hs, dist/build/Theory/Model.dyn_o ) [22 of 76] Compiling Theory.Syntactic.Predicate ( src/Theory/Syntactic/Predicate.hs, dist/build/Theory/Syntactic/Predicate.dyn_o ) [23 of 76] Compiling Theory.Constraint.System.Guarded ( src/Theory/Constraint/System/Guarded.hs, dist/build/Theory/Constraint/System/Guarded.dyn_o ) [24 of 76] Compiling Items.CaseTestItem ( src/Items/CaseTestItem.hs, dist/build/Items/CaseTestItem.dyn_o ) [25 of 76] Compiling Theory.Tools.AbstractInterpretation ( src/Theory/Tools/AbstractInterpretation.hs, dist/build/Theory/Tools/AbstractInterpretation.dyn_o ) [26 of 76] Compiling Theory.Tools.EquationStore ( src/Theory/Tools/EquationStore.hs, dist/build/Theory/Tools/EquationStore.dyn_o ) [27 of 76] Compiling Theory.Constraint.System.Constraints ( src/Theory/Constraint/System/Constraints.hs, dist/build/Theory/Constraint/System/Constraints.dyn_o ) [28 of 76] Compiling Theory.Constraint.Solver.AnnotatedGoals ( src/Theory/Constraint/Solver/AnnotatedGoals.hs, dist/build/Theory/Constraint/Solver/AnnotatedGoals.dyn_o ) [29 of 76] Compiling Theory.Tools.InjectiveFactInstances ( src/Theory/Tools/InjectiveFactInstances.hs, dist/build/Theory/Tools/InjectiveFactInstances.dyn_o ) [30 of 76] Compiling Theory.Tools.IntruderRules ( src/Theory/Tools/IntruderRules.hs, dist/build/Theory/Tools/IntruderRules.dyn_o ) [31 of 76] Compiling Theory.Tools.LoopBreakers ( src/Theory/Tools/LoopBreakers.hs, dist/build/Theory/Tools/LoopBreakers.dyn_o ) [32 of 76] Compiling Theory.Tools.RuleVariants ( src/Theory/Tools/RuleVariants.hs, dist/build/Theory/Tools/RuleVariants.dyn_o ) [33 of 76] Compiling Theory.Tools.SubtermStore ( src/Theory/Tools/SubtermStore.hs, dist/build/Theory/Tools/SubtermStore.dyn_o ) [34 of 76] Compiling Theory.Constraint.System ( src/Theory/Constraint/System.hs, dist/build/Theory/Constraint/System.dyn_o ) [35 of 76] Compiling Theory.Constraint.System.JSON ( src/Theory/Constraint/System/JSON.hs, dist/build/Theory/Constraint/System/JSON.dyn_o ) [36 of 76] Compiling Theory.Constraint.System.Dot ( src/Theory/Constraint/System/Dot.hs, dist/build/Theory/Constraint/System/Dot.dyn_o ) [37 of 76] Compiling Theory.Constraint.Solver.Contradictions ( src/Theory/Constraint/Solver/Contradictions.hs, dist/build/Theory/Constraint/Solver/Contradictions.dyn_o ) [38 of 76] Compiling Theory.Constraint.Solver.Reduction ( src/Theory/Constraint/Solver/Reduction.hs, dist/build/Theory/Constraint/Solver/Reduction.dyn_o ) [39 of 76] Compiling Theory.Constraint.Solver.Goals ( src/Theory/Constraint/Solver/Goals.hs, dist/build/Theory/Constraint/Solver/Goals.dyn_o ) [40 of 76] Compiling Theory.Constraint.Solver.Simplify ( src/Theory/Constraint/Solver/Simplify.hs, dist/build/Theory/Constraint/Solver/Simplify.dyn_o ) [41 of 76] Compiling Theory.Constraint.Solver.Sources ( src/Theory/Constraint/Solver/Sources.hs, dist/build/Theory/Constraint/Solver/Sources.dyn_o ) src/Theory/Constraint/Solver/Sources.hs:71:1: warning: [-Wunused-imports] The import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() | 71 | import Data.Foldable (asum) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [42 of 76] Compiling Theory.Constraint.Solver.ProofMethod ( src/Theory/Constraint/Solver/ProofMethod.hs, dist/build/Theory/Constraint/Solver/ProofMethod.dyn_o ) [43 of 76] Compiling Theory.Constraint.Solver ( src/Theory/Constraint/Solver.hs, dist/build/Theory/Constraint/Solver.dyn_o ) [44 of 76] Compiling Theory.Proof ( src/Theory/Proof.hs, dist/build/Theory/Proof.dyn_o ) [45 of 76] Compiling Pretty ( src/Pretty.hs, dist/build/Pretty.dyn_o ) [46 of 76] Compiling Items.RuleItem ( src/Items/RuleItem.hs, dist/build/Items/RuleItem.dyn_o ) [47 of 76] Compiling Rule ( src/Rule.hs, dist/build/Rule.dyn_o ) [48 of 76] Compiling Items.LemmaItem ( src/Items/LemmaItem.hs, dist/build/Items/LemmaItem.dyn_o ) [49 of 76] Compiling Lemma ( src/Lemma.hs, dist/build/Lemma.dyn_o ) [50 of 76] Compiling Theory.ProofSkeleton ( src/Theory/ProofSkeleton.hs, dist/build/Theory/ProofSkeleton.dyn_o ) [51 of 76] Compiling Items.AccLemmaItem ( src/Items/AccLemmaItem.hs, dist/build/Items/AccLemmaItem.dyn_o ) [52 of 76] Compiling Items.TheoryItem ( src/Items/TheoryItem.hs, dist/build/Items/TheoryItem.dyn_o ) [53 of 76] Compiling TheoryObject ( src/TheoryObject.hs, dist/build/TheoryObject.dyn_o ) [54 of 76] Compiling Items.OpenTheoryItem ( src/Items/OpenTheoryItem.hs, dist/build/Items/OpenTheoryItem.dyn_o ) [55 of 76] Compiling OpenTheory ( src/OpenTheory.hs, dist/build/OpenTheory.dyn_o ) [56 of 76] Compiling ClosedTheory ( src/ClosedTheory.hs, dist/build/ClosedTheory.dyn_o ) [57 of 76] Compiling Prover ( src/Prover.hs, dist/build/Prover.dyn_o ) [58 of 76] Compiling Theory ( src/Theory.hs, dist/build/Theory.dyn_o ) [59 of 76] Compiling Theory.Tools.Wellformedness ( src/Theory/Tools/Wellformedness.hs, dist/build/Theory/Tools/Wellformedness.dyn_o ) [60 of 76] Compiling Theory.Tools.MessageDerivationChecks ( src/Theory/Tools/MessageDerivationChecks.hs, dist/build/Theory/Tools/MessageDerivationChecks.dyn_o ) [61 of 76] Compiling Theory.Text.Parser.Token ( src/Theory/Text/Parser/Token.hs, dist/build/Theory/Text/Parser/Token.dyn_o ) src/Theory/Text/Parser/Token.hs:128:1: warning: [-Wunused-imports] The import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() | 128 | import Data.Foldable (asum) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [62 of 76] Compiling Theory.Text.Parser.Term ( src/Theory/Text/Parser/Term.hs, dist/build/Theory/Text/Parser/Term.dyn_o ) [63 of 76] Compiling Theory.Text.Parser.Let ( src/Theory/Text/Parser/Let.hs, dist/build/Theory/Text/Parser/Let.dyn_o ) [64 of 76] Compiling Theory.Text.Parser.Fact ( src/Theory/Text/Parser/Fact.hs, dist/build/Theory/Text/Parser/Fact.dyn_o ) [65 of 76] Compiling Theory.Text.Parser.Tactics ( src/Theory/Text/Parser/Tactics.hs, dist/build/Theory/Text/Parser/Tactics.dyn_o ) [66 of 76] Compiling Theory.Text.Parser.Macro ( src/Theory/Text/Parser/Macro.hs, dist/build/Theory/Text/Parser/Macro.dyn_o ) [67 of 76] Compiling Theory.Text.Parser.Formula ( src/Theory/Text/Parser/Formula.hs, dist/build/Theory/Text/Parser/Formula.dyn_o ) src/Theory/Text/Parser/Formula.hs:21:1: warning: [-Wunused-imports] The import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() | 21 | import Data.Foldable (asum) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [68 of 76] Compiling Theory.Text.Parser.Rule ( src/Theory/Text/Parser/Rule.hs, dist/build/Theory/Text/Parser/Rule.dyn_o ) src/Theory/Text/Parser/Rule.hs:30:1: warning: [-Wunused-imports] The import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() | 30 | import Data.Foldable (asum) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [69 of 76] Compiling Theory.Text.Parser.Sapic ( src/Theory/Text/Parser/Sapic.hs, dist/build/Theory/Text/Parser/Sapic.dyn_o ) [70 of 76] Compiling Theory.Text.Parser.Restriction ( src/Theory/Text/Parser/Restriction.hs, dist/build/Theory/Text/Parser/Restriction.dyn_o ) [71 of 76] Compiling Theory.Text.Parser.Proof ( src/Theory/Text/Parser/Proof.hs, dist/build/Theory/Text/Parser/Proof.dyn_o ) src/Theory/Text/Parser/Proof.hs:22:1: warning: [-Wunused-imports] The import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() | 22 | import Data.Foldable (asum) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [72 of 76] Compiling Theory.Text.Parser.Exceptions ( src/Theory/Text/Parser/Exceptions.hs, dist/build/Theory/Text/Parser/Exceptions.dyn_o ) [73 of 76] Compiling Theory.Text.Parser.Signature ( src/Theory/Text/Parser/Signature.hs, dist/build/Theory/Text/Parser/Signature.dyn_o ) src/Theory/Text/Parser/Signature.hs:29:1: warning: [-Wunused-imports] The import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() | 29 | import Data.Foldable (asum) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [74 of 76] Compiling Theory.Text.Parser.Lemma ( src/Theory/Text/Parser/Lemma.hs, dist/build/Theory/Text/Parser/Lemma.dyn_o ) src/Theory/Text/Parser/Lemma.hs:31:1: warning: [-Wunused-imports] The import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() | 31 | import Data.Foldable (asum) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [75 of 76] Compiling Theory.Text.Parser.Accountability ( src/Theory/Text/Parser/Accountability.hs, dist/build/Theory/Text/Parser/Accountability.dyn_o ) [76 of 76] Compiling Theory.Text.Parser ( src/Theory/Text/Parser.hs, dist/build/Theory/Text/Parser.dyn_o ) src/Theory/Text/Parser.hs:32:1: warning: [-Wunused-imports] The import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() | 32 | import Data.Foldable (asum) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Unregistering tamarin-prover-theory-1.8.0... ==> Entering fakeroot environment... ==> Starting package()... Installing library in /tmp/archlinux-ci/haskell-tamarin-prover-theory-archlinuxrb-build-iwHehybS/haskell-tamarin-prover-theory/pkg/haskell-tamarin-prover-theory/usr/lib/ghc-9.2.8/site-local/tamarin-prover-theory-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-theory"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Creating package "haskell-tamarin-prover-theory-debug"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: haskell-tamarin-prover-theory 1.8.0-40 (Fri Mar 8 11:40:34 2024)