==> Cloning cryptol ... Cloning into 'cryptol'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring cryptol :: 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 8562k 100 8562k 0 0 21.7M 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 142k 100 142k 0 0 416k 0 --:--:-- --:--:-- --:--:-- 417k :: 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=1709957571 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1709957571' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' printenv 2>&1 SCHROOT_SESSION_ID=archlinux-cryptol-archlinuxrb-build-w8ek7fjH PWD=/tmp/archlinux-ci/cryptol-archlinuxrb-build-w8ek7fjH/cryptol 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: cryptol 3.0.0-51 (Sat Mar 9 04:13:24 2024) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (132) haskell-adjunctions-4.4.2-89 haskell-aeson-2.1.2.1-42 haskell-ansi-wl-pprint-0.6.9-416 haskell-assoc-1.0.2-256 haskell-attoparsec-0.14.4-73 haskell-base-compat-batteries-0.12.2-81 haskell-base-orphans-0.8.8.2-12 haskell-bifunctors-5.6-67 haskell-bimap-0.5.0-57 haskell-bitwise-1.0.0.1-191 haskell-blaze-builder-0.4.2.3-2 haskell-blaze-markup-0.8.3.0-9 haskell-boundedchan-1.0.3.0-3 haskell-call-stack-0.4.0-182 haskell-case-insensitive-1.2.1.0-202 haskell-chimera-0.4.0.0-6 haskell-clock-0.8.4-2 haskell-colour-2.3.6-208 haskell-comonad-5.0.8-251 haskell-concurrent-extra-0.7.0.12-49 haskell-config-value-0.8.3-2 haskell-constraints-0.13.4-48 haskell-contravariant-1.5.5-4 haskell-data-array-byte-0.1.0.1-53 haskell-data-fix-0.3.2-101 haskell-deriving-compat-0.6.5-20 haskell-distributive-0.6.2.1-208 haskell-dlist-1.0-240 haskell-erf-2.0.0.0-25 haskell-exact-pi-0.5.0.2-60 haskell-fingertree-0.1.5.0-68 haskell-foldable1-classes-compat-0.1-67 haskell-free-5.1.10-65 haskell-generically-0.1.1-2 haskell-ghc-bignum-orphans-0.1.1-2 haskell-hashable-1.4.3.0-44 haskell-hashtables-1.3.1-37 haskell-ieee754-0.8.0-24 haskell-indexed-traversable-0.1.3-59 haskell-indexed-traversable-instances-0.1.1.2-39 haskell-infinite-list-0.1.1-10 haskell-integer-logarithms-1.0.3.1-7 haskell-integer-roots-1.0.2.0-71 haskell-invariant-0.6.2-37 haskell-io-streams-1.5.2.2-49 haskell-kan-extensions-5.2.5-100 haskell-language-c99-util-0.2.0-2 haskell-lens-5.2.3-36 haskell-lexer-1.1.1-2 haskell-megaparsec-9.5.0-9 haskell-mod-0.2.0.1-46 haskell-network-3.1.4.0-19 haskell-newtype-generics-0.6.2-55 haskell-numtype-dk-0.5.0.3-3 haskell-onetuple-0.3.1-74 haskell-ordered-containers-0.2.3-2 haskell-parallel-3.2.2.0-18 haskell-parser-combinators-1.3.0-5 haskell-primitive-0.7.4.0-109 haskell-profunctors-5.6.2-168 haskell-quickcheck-2.14.3-62 haskell-random-1.2.1.2-6 haskell-reflection-2.1.7-23 haskell-s-cargot-0.1.5.0-25 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-semirings-0.6-152 haskell-splitmix-0.1.0.5-20 haskell-statevar-1.2.2-3 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-th-lift-0.8.4-2 haskell-th-lift-instances-0.1.20-46 haskell-these-1.1.1.1-257 haskell-time-compat-1.9.6.1-96 haskell-transformers-compat-0.7.2-2 haskell-type-equality-1-13 haskell-unbounded-delays-0.1.1.1-7 haskell-uniplate-1.6.13-218 haskell-unliftio-0.2.25.0-9 haskell-unliftio-core-0.2.1.0-2 haskell-unordered-containers-0.2.20-13 haskell-utf8-string-1.0.2-149 haskell-uuid-types-1.0.5.1-15 haskell-vector-stream-0.1.0.1-2 haskell-versions-5.0.5-26 haskell-void-0.7.3-202 haskell-witherable-0.4.2-96 haskell-zenc-0.1.2-161 haskell-zlib-0.6.3.0-59 haskell-zlib-bindings-0.1.1.5-157 libbf-2020.01.19-1 numactl-2.0.18-1 ghc-libs-9.2.8-1 haskell-ansi-terminal-0.11.4-64 haskell-arithmoi-0.13.0.0-42 haskell-async-2.2.5-25 haskell-base-compat-0.12.2-2 haskell-blaze-html-0.9.1.2-225 haskell-bv-sized-1.0.5-72 haskell-criterion-measurement-0.2.1.0-52 haskell-cryptohash-sha1-0.11.101.0-82 haskell-extra-1.7.14-33 haskell-gitrev-1.3.1-32 haskell-graphscc-1.0.4-26 haskell-heredoc-0.2.0.0-24 haskell-hgmp-0.1.2.1-16 haskell-language-c99-0.2.0-3 haskell-language-c99-simple-0.3.0-2 haskell-libbf-0.6.5.1-42 haskell-libffi-0.2.1-2 haskell-memotrie-0.6.10-217 haskell-monad-control-1.0.3.1-101 haskell-monadlib-3.10.1-2 haskell-optparse-applicative-0.17.1.0-27 haskell-panic-0.4.0.1-25 haskell-parameterized-utils-2.1.8.0-10 haskell-pretty-show-1.10-15 haskell-prettyprinter-1.7.1-160 haskell-sbv-9.1-37 haskell-simple-smt-0.9.7-3 haskell-strict-0.4.0.1-230 haskell-temporary-1.3-582 haskell-tf-random-0.5-696 haskell-transformers-base-0.4.6-101 haskell-vector-0.13.1.0-28 haskell-what4-1.5-12 z3-4.12.5-1 Total Download Size: 48.84 MiB Total Installed Size: 313.39 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 83803 100 83803 0 0 47.8M 0 --:--:-- --:--:-- --:--:-- 79.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 16.1M 100 16.1M 0 0 194M 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 24 8750k 24 2131k 0 0 11.0M 0 --:--:-- --:--:-- --:--:-- 11.0M 100 8750k 100 8750k 0 0 13.3M 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 142k 100 142k 0 0 92.3M 0 --:--:-- --:--:-- --:--:-- 138M % Total % 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 80.4M 0 --:--:-- --:--:-- --:--:-- 110M % Total % 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.7M 0 --:--:-- --:--:-- --:--:-- 26.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 55312 100 55312 0 0 46.0M 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 37077 100 37077 0 0 35.2M 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 69719 100 69719 0 0 57.9M 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 77.7M 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 109k 100 109k 0 0 82.5M 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 75.7M 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 19841 100 19841 0 0 20.7M 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 42.2M 0 --:--:-- --:--:-- --:--:-- 55.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 135k 100 135k 0 0 94.7M 0 --:--:-- --:--:-- --:--:-- 132M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 363k 100 363k 0 0 166M 0 --:--:-- --:--:-- --:--:-- 177M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 264k 100 264k 0 0 154M 0 --:--:-- --:--:-- --:--:-- 258M % Total % 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 26.0M 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 5916k 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 75.6M 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 216k 100 216k 0 0 140M 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 326k 100 326k 0 0 179M 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 22558 100 22558 0 0 22.2M 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 489k 100 489k 0 0 187M 0 --:--:-- --:--:-- --:--:-- 238M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 7384 100 7384 0 0 5462k 0 --:--:-- --:--:-- --:--:-- 7210k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 150k 100 150k 0 0 96.4M 0 --:--:-- --:--:-- --:--:-- 147M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 59878 100 59878 0 0 52.1M 0 --:--:-- --:--:-- --:--:-- 57.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 235k 100 235k 0 0 140M 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 68462 100 68462 0 0 57.9M 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 172M 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 101k 100 101k 0 0 80.3M 0 --:--:-- --:--:-- --:--:-- 99.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 7084 100 7084 0 0 5094k 0 --:--:-- --:--:-- --:--:-- 6917k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 192k 100 192k 0 0 133M 0 --:--:-- --:--:-- --:--:-- 187M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 25989 100 25989 0 0 22.2M 0 --:--:-- --:--:-- --:--:-- 24.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 33316 100 33316 0 0 30.9M 0 --:--:-- --:--:-- --:--:-- 31.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 24084 100 24084 0 0 25.4M 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 97314 100 97314 0 0 84.2M 0 --:--:-- --:--:-- --:--:-- 92.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 80917 100 80917 0 0 57.4M 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 64.0M 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 203k 100 203k 0 0 128M 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 76568 100 76568 0 0 64.3M 0 --:--:-- --:--:-- --:--:-- 73.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 35865 100 35865 0 0 34.9M 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 133M 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 2 653k 2 14093 0 0 39676 0 0:00:16 --:--:-- 0:00:16 39587 9 653k 9 66221 0 0 61350 0 0:00:10 0:00:01 0:00:09 61315 16 653k 16 107k 0 0 52661 0 0:00:12 0:00:02 0:00:10 52645 25 653k 25 166k 0 0 54402 0 0:00:12 0:00:03 0:00:09 54395 36 653k 36 238k 0 0 59808 0 0:00:11 0:00:04 0:00:07 59795 43 653k 43 285k 0 0 57862 0 0:00:11 0:00:05 0:00:06 59227 51 653k 51 338k 0 0 56910 0 0:00:11 0:00:06 0:00:05 55958 62 653k 62 408k 0 0 58820 0 0:00:11 0:00:07 0:00:04 61377 78 653k 78 511k 0 0 63747 0 0:00:10 0:00:08 0:00:02 69522 87 653k 87 569k 0 0 63851 0 0:00:10 0:00:09 0:00:01 67135 95 653k 95 626k 0 0 63156 0 0:00:10 0:00:10 --:--:-- 68398 100 653k 100 653k 0 0 62711 0 0:00:10 0:00:10 --:--:-- 70440 % Total % 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 48.6M 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 61331 100 61331 0 0 59.9M 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 81188 100 81188 0 0 77.1M 0 --:--:-- --:--:-- --:--:-- 77.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 384k 100 384k 0 0 169M 0 --:--:-- --:--:-- --:--:-- 187M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 99k 100 99k 0 0 94.9M 0 --:--:-- --:--:-- --:--:-- 97.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 22536 100 22536 0 0 28.0M 0 --:--:-- --:--:-- --:--:-- 21.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 18879 100 18879 0 0 22.5M 0 --:--:-- --:--:-- --:--:-- 18.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 153k 100 153k 0 0 113M 0 --:--:-- --:--:-- --:--:-- 149M % Total % 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 21.1M 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 17193 100 17193 0 0 21.7M 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 9396 100 9396 0 0 55556 0 --:--:-- --:--:-- --:--:-- 55597 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 22610 100 22610 0 0 27.5M 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 150k 100 150k 0 0 118M 0 --:--:-- --:--:-- --:--:-- 146M % Total % 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 125M 0 --:--:-- --:--:-- --:--:-- 159M % Total % 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 44.0M 0 --:--:-- --:--:-- --:--:-- 38.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 216k 100 216k 0 0 135M 0 --:--:-- --:--:-- --:--:-- 211M % Total % 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 81.6M 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 154k 100 154k 0 0 119M 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 1290k 100 1290k 0 0 177M 0 --:--:-- --:--:-- --:--:-- 180M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 566k 100 566k 0 0 158M 0 --:--:-- --:--:-- --:--:-- 184M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 42330 100 42330 0 0 40.4M 0 --:--:-- --:--:-- --:--:-- 40.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 49 122k 49 61877 0 0 59606 0 0:00:02 0:00:01 0:00:01 59611 100 122k 100 122k 0 0 81015 0 0:00:01 0:00:01 --:--:-- 81024 % Total % 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 18.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 480k 100 480k 0 0 179M 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 98k 100 98k 0 0 87.7M 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 163M 0 --:--:-- --:--:-- --:--:-- 313M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 36725 100 36725 0 0 208k 0 --:--:-- --:--:-- --:--:-- 209k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 49966 100 49966 0 0 50.2M 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 23.1M 0 --:--:-- --:--:-- --:--:-- 18.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 119k 100 119k 0 0 89.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 69912 100 69912 0 0 201k 0 --:--:-- --:--:-- --:--:-- 200k 100 69912 100 69912 0 0 201k 0 --:--:-- --:--:-- --:--:-- 200k % Total % 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 179k 0 --:--:-- --:--:-- --:--:-- 179k % Total % 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 183k 0 --:--:-- --:--:-- --:--:-- 183k % Total % 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 89.4M 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 175M 0 --:--:-- --:--:-- --:--:-- 211M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 106k 100 106k 0 0 83.5M 0 --:--:-- --:--:-- --:--:-- 103M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 27788 100 27788 0 0 28.4M 0 --:--:-- --:--:-- --:--:-- 26.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 63482 100 63482 0 0 57.7M 0 --:--:-- --:--:-- --:--:-- 60.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 131k 100 131k 0 0 78.5M 0 --:--:-- --:--:-- --:--:-- 128M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 21393 100 21393 0 0 41704 0 --:--:-- --:--:-- --:--:-- 41783 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 15820 100 15820 0 0 15.4M 0 --:--:-- --:--:-- --:--:-- 15.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 32 136k 32 45949 0 0 89996 0 0:00:01 --:--:-- 0:00:01 89919 84 136k 84 115k 0 0 82103 0 0:00:01 0:00:01 --:--:-- 82072 100 136k 100 136k 0 0 83452 0 0:00:01 0:00:01 --:--:-- 83430 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 30 277k 30 86493 0 0 99k 0 0:00:02 --:--:-- 0:00:02 99k 70 277k 70 196k 0 0 105k 0 0:00:02 0:00:01 0:00:01 105k 100 277k 100 277k 0 0 110k 0 0:00:02 0:00:02 --:--:-- 110k % Total % 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 43.1M 0 --:--:-- --:--:-- --:--:-- 44.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 38039 100 38039 0 0 106k 0 --:--:-- --:--:-- --:--:-- 106k 100 38039 100 38039 0 0 106k 0 --:--:-- --:--:-- --:--:-- 106k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 88702 100 88702 0 0 127k 0 --:--:-- --:--:-- --:--:-- 127k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 60990 100 60990 0 0 63.7M 0 --:--:-- --:--:-- --:--:-- 58.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 86611 100 86611 0 0 81.2M 0 --:--:-- --:--:-- --:--:-- 82.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 39616 100 39616 0 0 47.1M 0 --:--:-- --:--:-- --:--:-- 37.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 20649 100 20649 0 0 26.9M 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 61523 100 61523 0 0 64.6M 0 --:--:-- --:--:-- --:--:-- 58.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 30779 100 30779 0 0 37.3M 0 --:--:-- --:--:-- --:--:-- 29.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 0 119k 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 119k 100 119k 0 0 141k 0 --:--:-- --:--:-- --:--:-- 140k % Total % 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 53.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 243k 100 243k 0 0 157M 0 --:--:-- --:--:-- --:--:-- 238M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 189k 100 189k 0 0 129M 0 --:--:-- --:--:-- --:--:-- 184M % Total % 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 112M 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 199k 100 199k 0 0 138M 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 87549 100 87549 0 0 83.7M 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 145M 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 4142k 100 4142k 0 0 190M 0 --:--:-- --:--:-- --:--:-- 192M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 77082 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 77082 100 77082 0 0 132k 0 --:--:-- --:--:-- --:--:-- 132k % Total % 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 20.4M 0 --:--:-- --:--:-- --:--:-- 17.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 61650 100 61650 0 0 61.8M 0 --:--:-- --:--:-- --:--:-- 58.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 38010 100 38010 0 0 41.5M 0 --:--:-- --:--:-- --:--:-- 36.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 17456 100 17456 0 0 96733 0 --:--:-- --:--:-- --:--:-- 96977 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 15332 100 15332 0 0 18.0M 0 --:--:-- --:--:-- --:--:-- 14.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 53998 100 53998 0 0 312k 0 --:--:-- --:--:-- --:--:-- 313k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 265k 100 265k 0 0 149M 0 --:--:-- --:--:-- --:--:-- 259M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 37 315k 37 119k 0 0 351k 0 --:--:-- --:--:-- --:--:-- 351k 100 315k 100 315k 0 0 926k 0 --:--:-- --:--:-- --:--:-- 925k % Total % 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 116M 0 --:--:-- --:--:-- --:--:-- 153M % Total % 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 154M 0 --:--:-- --:--:-- --:--:-- 279M % Total % 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 106M 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 35935 100 35935 0 0 38.2M 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 169k 100 169k 0 0 120M 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 33942 100 33942 0 0 37.9M 0 --:--:-- --:--:-- --:--:-- 32.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 48384 100 48384 0 0 53.2M 0 --:--:-- --:--:-- --:--:-- 46.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 368k 100 368k 0 0 164M 0 --:--:-- --:--:-- --:--:-- 180M % Total % 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 91.3M 0 --:--:-- --:--:-- --:--:-- 98.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 19 202k 19 41357 0 0 60279 0 0:00:03 --:--:-- 0:00:03 60199 98 202k 98 200k 0 0 118k 0 0:00:01 0:00:01 --:--:-- 118k 100 202k 100 202k 0 0 119k 0 0:00:01 0:00:01 --:--:-- 119k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 38614 100 38614 0 0 37.2M 0 --:--:-- --:--:-- --:--:-- 36.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 32309 100 32309 0 0 35.3M 0 --:--:-- --:--:-- --:--:-- 30.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 23.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 194k 100 194k 0 0 129M 0 --:--:-- --:--:-- --:--:-- 189M % Total % 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 72.7M 0 --:--:-- --:--:-- --:--:-- 70.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 148k 100 148k 0 0 173k 0 --:--:-- --:--:-- --:--:-- 173k 100 148k 100 148k 0 0 173k 0 --:--:-- --:--:-- --:--:-- 173k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 13742 100 13742 0 0 74641 0 --:--:-- --:--:-- --:--:-- 74684 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 6 2701k 6 170k 0 0 199k 0 0:00:13 --:--:-- 0:00:13 199k 18 2701k 18 491k 0 0 263k 0 0:00:10 0:00:01 0:00:09 263k 34 2701k 34 925k 0 0 321k 0 0:00:08 0:00:02 0:00:06 321k 56 2701k 56 1525k 0 0 392k 0 0:00:06 0:00:03 0:00:03 392k 90 2701k 90 2438k 0 0 498k 0 0:00:05 0:00:04 0:00:01 498k 100 2701k 100 2701k 0 0 533k 0 0:00:05 0:00:05 --:--:-- 601k 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 z3... installing haskell-colour... installing haskell-ansi-terminal... installing haskell-base-orphans... installing haskell-tagged... installing haskell-distributive... installing haskell-foldable1-classes-compat... installing haskell-indexed-traversable... installing haskell-transformers-compat... installing haskell-comonad... installing haskell-statevar... installing haskell-contravariant... installing haskell-th-abstraction... installing haskell-bifunctors... installing haskell-profunctors... installing haskell-data-array-byte... installing haskell-ghc-bignum-orphans... installing haskell-hashable... installing haskell-unordered-containers... installing haskell-semigroupoids... installing haskell-transformers-base... installing haskell-free... installing haskell-void... installing haskell-adjunctions... installing haskell-infinite-list... installing haskell-primitive... installing haskell-vector-stream... installing haskell-vector... installing haskell-chimera... installing haskell-type-equality... installing haskell-constraints... installing haskell-numtype-dk... installing haskell-exact-pi... installing haskell-integer-logarithms... installing haskell-integer-roots... installing haskell-base-compat... installing haskell-base-compat-batteries... installing haskell-semirings... installing haskell-mod... installing haskell-splitmix... installing haskell-random... installing haskell-arithmoi... installing haskell-async... installing haskell-blaze-builder... installing haskell-blaze-markup... installing haskell-blaze-html... installing haskell-bitwise... installing haskell-gitrev... installing haskell-panic... installing haskell-hashtables... installing haskell-assoc... installing haskell-call-stack... installing haskell-onetuple... installing haskell-indexed-traversable-instances... installing haskell-invariant... installing haskell-kan-extensions... installing haskell-parallel... installing haskell-reflection... installing haskell-these... installing haskell-strict... installing haskell-lens... installing haskell-parameterized-utils... installing haskell-th-lift... installing haskell-bv-sized... installing haskell-erf... installing haskell-quickcheck... installing haskell-scientific... installing haskell-attoparsec... installing haskell-data-fix... installing haskell-dlist... installing haskell-generically... installing haskell-semialign... installing haskell-text-short... installing haskell-time-compat... installing haskell-uuid-types... installing haskell-witherable... installing haskell-aeson... installing haskell-criterion-measurement... installing haskell-cryptohash-sha1... installing haskell-clock... installing haskell-extra... installing haskell-graphscc... installing haskell-heredoc... installing haskell-hgmp... installing haskell-language-c99... installing haskell-ieee754... installing haskell-language-c99-util... installing haskell-language-c99-simple... installing libbf... installing haskell-libbf... installing haskell-libffi... installing haskell-newtype-generics... installing haskell-memotrie... installing haskell-monad-control... installing haskell-monadlib... installing haskell-ansi-wl-pprint... installing haskell-optparse-applicative... installing haskell-lexer... installing haskell-pretty-show... installing haskell-prettyprinter... installing haskell-syb... installing haskell-uniplate... installing haskell-sbv... installing haskell-simple-smt... installing haskell-temporary... installing haskell-tf-random... installing haskell-bimap... installing haskell-boundedchan... installing haskell-unbounded-delays... installing haskell-concurrent-extra... installing haskell-config-value... installing haskell-deriving-compat... installing haskell-fingertree... installing haskell-network... installing haskell-zlib... installing haskell-zlib-bindings... installing haskell-io-streams... installing haskell-case-insensitive... installing haskell-parser-combinators... installing haskell-megaparsec... installing haskell-ordered-containers... installing haskell-s-cargot... installing haskell-th-lift-instances... installing haskell-safe-exceptions... installing haskell-unliftio-core... installing haskell-unliftio... installing haskell-utf8-string... installing haskell-versions... installing haskell-zenc... installing haskell-what4... Optional dependencies for haskell-what4 cvc4 yices z3 [installed] :: 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 (4) alex-3.2.7.4-2 ghc-9.2.8-1 happy-1.20.1.1-2 uusi-0.4.3.0-33 Total Download Size: 34.14 MiB Total Installed Size: 234.76 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 194M 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 64446 100 64446 0 0 59.3M 0 --:--:-- --:--:-- --:--:-- 61.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 148k 100 148k 0 0 122M 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 200k 100 200k 0 0 143M 0 --:--:-- --:--:-- --:--:-- 196M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing ghc... installing uusi... installing alex... installing happy... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> Retrieving sources... -> Downloading cryptol-3.0.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 515k 0 515k 0 0 673k 0 --:--:-- --:--:-- --:--:-- 673k ==> Validating source files with sha512sums... cryptol-3.0.0.tar.gz ... Passed ==> Extracting sources... -> Extracting cryptol-3.0.0.tar.gz with bsdtar ==> Starting prepare()... Pending action(s): SetVersion["what4", >=0] Parsing cabal file from cryptol.cabal... Write file: cryptol.cabal ==> Starting build()... Configuring cryptol-3.0.0... Error: The following packages are broken because other packages they depend on are missing. These broken packages must be rebuilt before they can be used. installed package parameterized-utils-2.1.8.0 is broken due to missing package lens-5.2.3-3VDCuwwg1pJufihLJUDrJ installed package what4-1.5 is broken due to missing package lens-5.2.3-3VDCuwwg1pJufihLJUDrJ ==> ERROR: A failure occurred in build(). Aborting...