==> Cloning idris ... Cloning into 'idris'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring idris :: Synchronizing package databases... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 133k 100 133k 0 0 394k 0 --:--:-- --:--:-- --:--:-- 394k 100 133k 100 133k 0 0 394k 0 --:--:-- --:--:-- --:--:-- 394k % 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 8560k 100 8560k 0 0 21.3M 0 --:--:-- --:--:-- --:--:-- 21.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 142k 100 142k 0 0 414k 0 --:--:-- --:--:-- --:--:-- 415k :: Starting full system upgrade... resolving dependencies... looking for conflicting packages... Packages (1) cryptsetup-2.7.1-1 Total Download Size: 0.73 MiB Total Installed Size: 2.81 MiB Net Upgrade Size: 0.01 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 750k 100 750k 0 0 58.6M 0 --:--:-- --:--:-- --:--:-- 61.0M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... upgrading cryptsetup... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp/archlinux-ci/ SOURCE_DATE_EPOCH=1709917619 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1709917619' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' printenv 2>&1 SCHROOT_SESSION_ID=archlinux-idris-archlinuxrb-build-KJO4D0ua PWD=/tmp/archlinux-ci/idris-archlinuxrb-build-KJO4D0ua/idris 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: idris 1.3.4-197 (Fri Mar 8 17:07:26 2024) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (132) haskell-appar-0.1.8-14 haskell-asn1-encoding-0.9.6-229 haskell-asn1-parse-0.9.5-229 haskell-asn1-types-0.3.4-208 haskell-assoc-1.0.2-256 haskell-attoparsec-0.14.4-73 haskell-auto-update-0.1.6-336 haskell-base-compat-0.12.2-2 haskell-base-compat-batteries-0.12.2-81 haskell-base-orphans-0.8.8.2-12 haskell-basement-0.0.16-2 haskell-bifunctors-5.6-67 haskell-blaze-builder-0.4.2.3-2 haskell-bsb-http-chunked-0.0.0.4-380 haskell-byteorder-1.0.4-25 haskell-call-stack-0.4.0-182 haskell-case-insensitive-1.2.1.0-202 haskell-colour-2.3.6-208 haskell-comonad-5.0.8-251 haskell-contravariant-1.5.5-4 haskell-cookie-0.4.6-2 haskell-crypton-0.34-10 haskell-crypton-x509-1.7.6-27 haskell-css-text-0.1.3.0-283 haskell-data-array-byte-0.1.0.1-53 haskell-data-default-0.7.1.1-305 haskell-data-default-class-0.1.2.0-25 haskell-data-default-instances-containers-0.0.1-37 haskell-data-default-instances-dlist-0.0.1-318 haskell-data-default-instances-old-locale-0.0.1-37 haskell-data-fix-0.3.2-101 haskell-digest-0.0.1.7-2 haskell-distributive-0.6.2.1-208 haskell-dlist-1.0-240 haskell-easy-file-0.2.5-20 haskell-erf-2.0.0.0-25 haskell-fast-logger-3.1.2-68 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-hinotify-0.4.1-170 haskell-hourglass-0.2.12-245 haskell-http-date-0.0.11-135 haskell-http-types-0.12.3-341 haskell-http2-4.1.0-13 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-iproute-1.7.12-81 haskell-memory-0.18.0-7 haskell-monad-control-1.0.3.1-101 haskell-network-byte-order-0.1.7-2 haskell-network-uri-2.6.4.2-29 haskell-old-locale-1.0.0.7-31 haskell-old-time-1.1.0.4-2 haskell-onetuple-0.3.1-74 haskell-pem-0.2.4-285 haskell-primitive-0.7.4.0-109 haskell-psqueues-0.2.8.0-9 haskell-quickcheck-2.14.3-62 haskell-random-1.2.1.2-6 haskell-recv-0.1.0-29 haskell-regex-base-0.94.0.2-3 haskell-resourcet-1.2.6-50 haskell-safe-exceptions-0.1.7.4-20 haskell-scientific-0.3.7.0-112 haskell-semialign-1.2.0.1-155 haskell-semigroupoids-5.3.7-137 haskell-simple-sendfile-0.2.32-29 haskell-splitmix-0.1.0.5-20 haskell-statevar-1.2.2-3 haskell-streaming-commons-0.2.2.6-25 haskell-strict-0.4.0.1-230 haskell-syb-0.7.2.4-7 haskell-tagged-0.8.8-2 haskell-tagsoup-0.14.8-225 haskell-temporary-1.3-582 haskell-text-short-0.1.5-78 haskell-th-abstraction-0.4.5.0-2 haskell-th-compat-0.1.4-42 haskell-these-1.1.1.1-257 haskell-time-compat-1.9.6.1-96 haskell-time-manager-0.0.1-32 haskell-transformers-base-0.4.6-101 haskell-transformers-compat-0.7.2-2 haskell-unix-compat-0.7.1-11 haskell-unix-time-0.4.12-4 haskell-unliftio-0.2.25.0-9 haskell-unliftio-core-0.2.1.0-2 haskell-uuid-types-1.0.5.1-15 haskell-vault-0.3.1.5-180 haskell-vector-stream-0.1.0.1-2 haskell-wai-3.2.4-13 haskell-wai-extra-3.1.14-24 haskell-wai-logger-2.4.0-417 haskell-warp-3.3.30-47 haskell-witherable-0.4.2-96 haskell-word8-0.1.3-23 haskell-xss-sanitize-0.3.7.2-22 haskell-zlib-0.6.3.0-59 numactl-2.0.18-1 ghc-libs-9.2.8-1 haskell-aeson-2.1.2.1-42 haskell-annotated-wl-pprint-0.7.0-26 haskell-ansi-terminal-0.11.4-64 haskell-ansi-wl-pprint-0.6.9-416 haskell-async-2.2.5-25 haskell-base64-bytestring-1.2.1.0-103 haskell-blaze-html-0.9.1.2-225 haskell-blaze-markup-0.8.3.0-9 haskell-cheapskate-0.1.1.2-631 haskell-code-page-0.2.1-6 haskell-fingertree-0.1.5.0-68 haskell-fsnotify-0.4.0.0-63 haskell-ieee754-0.8.0-24 haskell-libffi-0.2.1-2 haskell-megaparsec-9.5.0-9 haskell-network-3.1.4.0-19 haskell-optparse-applicative-0.17.1.0-27 haskell-parser-combinators-1.3.0-5 haskell-regex-tdfa-1.3.2.2-39 haskell-safe-0.3.21-4 haskell-split-0.2.5-5 haskell-terminal-size-0.3.4-2 haskell-uniplate-1.6.13-218 haskell-unordered-containers-0.2.20-13 haskell-utf8-string-1.0.2-149 haskell-vector-0.13.1.0-28 haskell-vector-binary-instances-0.2.5.2-117 haskell-zip-archive-0.4.3-26 Total Download Size: 33.43 MiB Total Installed Size: 226.09 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 12.9M 0 --:--:-- --:--:-- --:--:-- 13.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 16.1M 100 16.1M 0 0 143M 0 --:--:-- --:--:-- --:--:-- 144M % 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 4709k 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 1657k 0 --:--:-- --:--:-- --:--:-- 1835k % 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 2636k 0 --:--:-- --:--:-- --:--:-- 3054k % 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 5294k 0 --:--:-- --:--:-- --:--:-- 5837k % 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 25.8M 0 --:--:-- --:--:-- --:--:-- 28.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 480k 100 480k 0 0 33.7M 0 --:--:-- --:--:-- --:--:-- 36.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 2044k 0 --:--:-- --:--:-- --:--:-- 2102k % 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 967k 0 --:--:-- --:--:-- --:--:-- 1143k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 93418 100 93418 0 0 61.3M 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 3899k 0 --:--:-- --:--:-- --:--:-- 4703k % 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 32.6M 0 --:--:-- --:--:-- --:--:-- 38.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 98k 100 98k 0 0 14.3M 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 45.9M 0 --:--:-- --:--:-- --:--:-- 52.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 12.5M 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 5621k 0 --:--:-- --:--:-- --:--:-- 5977k % 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 8036k 0 --:--:-- --:--:-- --:--:-- 8132k % 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 3363k 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 22.5M 0 --:--:-- --:--:-- --:--:-- 26.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 69719 100 69719 0 0 15.3M 0 --:--:-- --:--:-- --:--:-- 16.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 102k 100 102k 0 0 30.9M 0 --:--:-- --:--:-- --:--:-- 33.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 216k 100 216k 0 0 30.0M 0 --:--:-- --:--:-- --:--:-- 35.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 10.5M 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 85.3M 0 --:--:-- --:--:-- --:--:-- 89.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 22610 100 22610 0 0 3875k 0 --:--:-- --:--:-- --:--:-- 4416k % 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 26.6M 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 17.0M 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 14.1M 0 --:--:-- --:--:-- --:--:-- 14.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 135k 100 135k 0 0 14.7M 0 --:--:-- --:--:-- --:--:-- 16.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 363k 100 363k 0 0 109M 0 --:--:-- --:--:-- --:--:-- 118M % 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 1179k 0 --:--:-- --:--:-- --:--:-- 1210k % 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 9436k 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 326k 100 326k 0 0 42.9M 0 --:--:-- --:--:-- --:--:-- 45.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 16971 100 16971 0 0 2882k 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.7M 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 21.7M 0 --:--:-- --:--:-- --:--:-- 23.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 154k 100 154k 0 0 20.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 69912 100 69912 0 0 6731k 0 --:--:-- --:--:-- --:--:-- 6827k % 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 33.1M 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 10.1M 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 19.8M 0 --:--:-- --:--:-- --:--:-- 21.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 1080k 100 1080k 0 0 79.5M 0 --:--:-- --:--:-- --:--:-- 81.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 39501 100 39501 0 0 2528k 0 --:--:-- --:--:-- --:--:-- 2571k % 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 11.5M 0 --:--:-- --:--:-- --:--:-- 12.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 113k 100 113k 0 0 14.2M 0 --:--:-- --:--:-- --:--:-- 15.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 52775 100 52775 0 0 27.0M 0 --:--:-- --:--:-- --:--:-- 50.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 57780 100 57780 0 0 3421k 0 --:--:-- --:--:-- --:--:-- 3526k % 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 6169k 0 --:--:-- --:--:-- --:--:-- 6847k % 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 8454k 0 --:--:-- --:--:-- --:--:-- 8556k % 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 81188 100 81188 0 0 5093k 0 --:--:-- --:--:-- --:--:-- 5285k % 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 384k 100 384k 0 0 92.4M 0 --:--:-- --:--:-- --:--:-- 125M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 16534 100 16534 0 0 2690k 0 --:--:-- --:--:-- --:--:-- 3229k % 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 8209 100 8209 0 0 1418k 0 --:--:-- --:--:-- --:--:-- 1603k % 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 7257 100 7257 0 0 4519k 0 --:--:-- --:--:-- --:--:-- 7086k % 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 26650 100 26650 0 0 2482k 0 --:--:-- --:--:-- --:--:-- 2602k % 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 7103 100 7103 0 0 1290k 0 --:--:-- --:--:-- --:--:-- 1387k % 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 7265 100 7265 0 0 1187k 0 --:--:-- --:--:-- --:--:-- 1418k % 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 33942 100 33942 0 0 5913k 0 --:--:-- --:--:-- --:--:-- 6629k % 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 117k 100 117k 0 0 55.1M 0 --:--:-- --:--:-- --:--:-- 57.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 87549 100 87549 0 0 40.2M 0 --:--:-- --:--:-- --:--:-- 41.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 245k 100 245k 0 0 31.6M 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 286k 100 286k 0 0 42.7M 0 --:--:-- --:--:-- --:--:-- 46.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 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 42800 100 42800 0 0 2003k 0 --:--:-- --:--:-- --:--:-- 1990k % 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 34002 100 34002 0 0 3416k 0 --:--:-- --:--:-- --:--:-- 3689k % 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 34343 100 34343 0 0 20.4M 0 --:--:-- --:--:-- --:--:-- 32.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 31201 100 31201 0 0 5210k 0 --:--:-- --:--:-- --:--:-- 6093k % 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 32737 100 32737 0 0 5021k 0 --:--:-- --:--:-- --:--:-- 5328k % 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 15474 100 15474 0 0 1010k 0 --:--:-- --:--:-- --:--:-- 1079k % 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 75532 100 75532 0 0 11.9M 0 --:--:-- --:--:-- --:--:-- 14.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 40304 100 40304 0 0 3922k 0 --:--:-- --:--:-- --:--:-- 4373k % 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 76504 100 76504 0 0 4850k 0 --:--:-- --:--:-- --:--:-- 4980k % 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 26450 100 26450 0 0 10.2M 0 --:--:-- --:--:-- --:--:-- 12.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 18329 100 18329 0 0 3014k 0 --:--:-- --:--:-- --:--:-- 3579k % 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 163k 100 163k 0 0 22.6M 0 --:--:-- --:--:-- --:--:-- 22.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 19362 100 19362 0 0 12.7M 0 --:--:-- --:--:-- --:--:-- 18.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 75877 100 75877 0 0 11.8M 0 --:--:-- --:--:-- --:--:-- 12.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 120k 100 120k 0 0 18.0M 0 --:--:-- --:--:-- --:--:-- 19.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 158k 100 158k 0 0 21.8M 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 35456 100 35456 0 0 5506k 0 --:--:-- --:--:-- --:--:-- 5770k % 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 12805 100 12805 0 0 2201k 0 --:--:-- --:--:-- --:--:-- 2500k % 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 267k 100 267k 0 0 36.8M 0 --:--:-- --:--:-- --:--:-- 37.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 834k 100 834k 0 0 93.7M 0 --:--:-- --:--:-- --:--:-- 101M % 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 29.3M 0 --:--:-- --:--:-- --:--:-- 32.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 89163 100 89163 0 0 51.2M 0 --:--:-- --:--:-- --:--:-- 85.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 95491 100 95491 0 0 14.3M 0 --:--:-- --:--:-- --:--:-- 15.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 18999 100 18999 0 0 1227k 0 --:--:-- --:--:-- --:--:-- 1236k % 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 1661k 100 1661k 0 0 92.9M 0 --:--:-- --:--:-- --:--:-- 95.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 24045 100 24045 0 0 15.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 272k 100 272k 0 0 37.3M 0 --:--:-- --:--:-- --:--:-- 38.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 41974 100 41974 0 0 6833k 0 --:--:-- --:--:-- --:--:-- 8198k % 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 32720 100 32720 0 0 5227k 0 --:--:-- --:--:-- --:--:-- 5325k % 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 13.6M 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 32309 100 32309 0 0 5552k 0 --:--:-- --:--:-- --:--:-- 6310k % 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 194k 100 194k 0 0 29.2M 0 --:--:-- --:--:-- --:--:-- 31.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 19331 100 19331 0 0 3005k 0 --:--:-- --:--:-- --:--:-- 3146k % 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 550k 100 550k 0 0 54.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 20834 100 20834 0 0 1952k 0 --:--:-- --:--:-- --:--:-- 2034k % 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 21036 100 21036 0 0 3603k 0 --:--:-- --:--:-- --:--:-- 4108k % 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 23712 100 23712 0 0 4030k 0 --:--:-- --:--:-- --:--:-- 4631k % 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 254k 100 254k 0 0 24.2M 0 --:--:-- --:--:-- --:--:-- 24.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 17193 100 17193 0 0 2846k 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 29.4M 0 --:--:-- --:--:-- --:--:-- 36.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 269k 100 269k 0 0 13.6M 0 --:--:-- --:--:-- --:--:-- 13.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 48971 100 48971 0 0 7989k 0 --:--:-- --:--:-- --:--:-- 9564k % 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 25400 100 25400 0 0 4621k 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 100 107k 100 107k 0 0 16.4M 0 --:--:-- --:--:-- --:--:-- 17.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 790k 100 790k 0 0 63.4M 0 --:--:-- --:--:-- --:--:-- 64.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 74082 100 74082 0 0 10.9M 0 --:--:-- --:--:-- --:--:-- 11.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 139k 100 139k 0 0 403k 0 --:--:-- --:--:-- --:--:-- 404k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 12 303k 12 38669 0 0 73770 0 0:00:04 --:--:-- 0:00:04 73655 100 303k 100 303k 0 0 292k 0 0:00:01 0:00:01 --:--:-- 292k % 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 18920 100 18920 0 0 2139k 0 --:--:-- --:--:-- --:--:-- 2309k % 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 156k 100 156k 0 0 22.8M 0 --:--:-- --:--:-- --:--:-- 25.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 65166 100 65166 0 0 4054k 0 --:--:-- --:--:-- --:--:-- 4242k % 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 22558 100 22558 0 0 2229k 0 --:--:-- --:--:-- --:--:-- 2447k % 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 30779 100 30779 0 0 6772k 0 --:--:-- --:--:-- --:--:-- 7514k % 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 83777 100 83777 0 0 52.6M 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 47061 100 47061 0 0 3152k 0 --:--:-- --:--:-- --:--:-- 3282k % 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 39616 100 39616 0 0 205k 0 --:--:-- --:--:-- --:--:-- 205k % 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 48384 100 48384 0 0 5343k 0 --:--:-- --:--:-- --:--:-- 5906k % 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 368k 100 368k 0 0 65.6M 0 --:--:-- --:--:-- --:--:-- 60.0M 100 368k 100 368k 0 0 51.4M 0 --:--:-- --:--:-- --:--:-- 51.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 243k 100 243k 0 0 78.7M 0 --:--:-- --:--:-- --:--:-- 119M % 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 4164k 0 --:--:-- --:--:-- --:--:-- 4443k % 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 442k 100 442k 0 0 46.3M 0 --:--:-- --:--:-- --:--:-- 48.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 59679 100 59679 0 0 3740k 0 --:--:-- --:--:-- --:--:-- 3885k % 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 3947k 0 --:--:-- --:--:-- --:--:-- 4340k % 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 35235 100 35235 0 0 2239k 0 --:--:-- --:--:-- --:--:-- 2293k % 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 25013 100 25013 0 0 11.8M 0 --:--:-- --:--:-- --:--:-- 23.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 14214 100 14214 0 0 815k 0 --:--:-- --:--:-- --:--:-- 867k % 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 18807 100 18807 0 0 3705k 0 --:--:-- --:--:-- --:--:-- 4591k % 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 101k 100 101k 0 0 15.1M 0 --:--:-- --:--:-- --:--:-- 16.5M 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-annotated-wl-pprint... installing haskell-colour... installing haskell-ansi-terminal... installing haskell-ansi-wl-pprint... installing haskell-async... installing haskell-base64-bytestring... installing haskell-blaze-builder... installing haskell-blaze-markup... installing haskell-blaze-html... installing haskell-data-default-class... installing haskell-data-default-instances-containers... installing haskell-data-default-instances-dlist... installing haskell-old-locale... installing haskell-data-default-instances-old-locale... installing haskell-data-default... installing haskell-case-insensitive... installing haskell-http-types... installing haskell-syb... installing haskell-uniplate... installing haskell-network... installing haskell-vault... installing haskell-wai... installing haskell-cookie... installing haskell-auto-update... installing haskell-easy-file... installing haskell-unix-compat... installing haskell-old-time... installing haskell-unix-time... installing haskell-fast-logger... installing haskell-appar... installing haskell-byteorder... installing haskell-iproute... installing haskell-unliftio-core... installing haskell-resourcet... installing haskell-zlib... installing haskell-streaming-commons... installing haskell-wai-logger... installing haskell-bsb-http-chunked... installing haskell-hourglass... installing haskell-basement... installing haskell-memory... installing haskell-asn1-types... installing haskell-asn1-encoding... installing haskell-asn1-parse... installing haskell-crypton... installing haskell-pem... installing haskell-crypton-x509... installing haskell-http-date... installing haskell-network-byte-order... installing haskell-psqueues... installing haskell-safe-exceptions... installing haskell-unliftio... installing haskell-time-manager... installing haskell-http2... installing haskell-recv... installing haskell-simple-sendfile... installing haskell-word8... installing haskell-warp... installing haskell-call-stack... installing haskell-hunit... installing haskell-wai-extra... installing haskell-css-text... installing haskell-th-compat... installing haskell-network-uri... installing haskell-tagsoup... installing haskell-utf8-string... installing haskell-xss-sanitize... installing haskell-cheapskate... installing haskell-code-page... installing haskell-fingertree... installing haskell-hinotify... installing haskell-transformers-base... installing haskell-monad-control... installing haskell-fsnotify... installing haskell-ieee754... installing haskell-libffi... installing haskell-parser-combinators... installing haskell-megaparsec... installing haskell-optparse-applicative... installing haskell-regex-base... installing haskell-regex-tdfa... installing haskell-safe... installing haskell-split... installing haskell-terminal-size... installing haskell-vector-binary-instances... installing haskell-digest... installing haskell-temporary... installing haskell-zip-archive... :: 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 (10) c-ares-1.27.0-1 haskell-typed-process-0.2.11.1-14 libngtcp2-1.3.0-1 libuv-1.48.0-1 ghc-9.2.8-1 haskell-tasty-1.4.3-70 haskell-tasty-golden-2.3.5-87 haskell-tasty-rerun-1.1.19-17 nodejs-21.7.0-1 uusi-0.4.3.0-33 Total Download Size: 46.82 MiB Total Installed Size: 283.37 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 165M 0 --:--:-- --:--:-- --:--:-- 165M % 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 3929k 0 --:--:-- --:--:-- --:--:-- 4195k % 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 254k 100 254k 0 0 33.3M 0 --:--:-- --:--:-- --:--:-- 35.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 65895 100 65895 0 0 34.0M 0 --:--:-- --:--:-- --:--:-- 62.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 51105 100 51105 0 0 8188k 0 --:--:-- --:--:-- --:--:-- 8317k % 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 49718 100 49718 0 0 6091k 0 --:--:-- --:--:-- --:--:-- 6936k % 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 242k 100 242k 0 0 30.7M 0 --:--:-- --:--:-- --:--:-- 33.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 148k 100 148k 0 0 21.5M 0 --:--:-- --:--:-- --:--:-- 24.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 250k 100 250k 0 0 33.6M 0 --:--:-- --:--:-- --:--:-- 34.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 11.9M 100 11.9M 0 0 46.9M 0 --:--:-- --:--:-- --:--:-- 47.0M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing ghc... installing uusi... installing haskell-tasty... installing haskell-typed-process... installing haskell-tasty-golden... installing haskell-tasty-rerun... installing libuv... installing libngtcp2... installing c-ares... installing nodejs... Optional dependencies for nodejs npm: nodejs package manager :: Running post-transaction hooks... (1/2) Arming ConditionNeedsUpdate... (2/2) Registering Haskell modules... ==> Retrieving sources... -> Downloading idris-1.3.4.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 2386k 0 2386k 0 0 4341k 0 --:--:-- --:--:-- --:--:-- 6519k ==> Validating source files with sha512sums... idris-1.3.4.tar.gz ... Passed ==> Extracting sources... -> Extracting idris-1.3.4.tar.gz with bsdtar ==> Starting prepare()... Pending action(s): SetVersion["Cabal", >=0] SetVersion["aeson", >=0] SetVersion["bytestring", >=0] SetVersion["fsnotify", >=0] SetVersion["network", >=0] SetVersion["libffi", >=0] SetVersion["optparse-applicative", >=0] SetVersion["vector", >=0] Parsing cabal file from idris.cabal... Write file: idris.cabal ==> Starting build()... Configuring idris-1.3.4... Setup: Encountered missing or private dependencies: vector-binary-instances <0.3 ==> ERROR: A failure occurred in build(). Aborting...