==> Cloning coq ... Cloning into 'coq'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring coq :: 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 390k 0 --:--:-- --:--:-- --:--:-- 390k 100 133k 100 133k 0 0 390k 0 --:--:-- --:--:-- --:--:-- 390k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 8559k 100 8559k 0 0 21.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 142k 100 142k 0 0 421k 0 --:--:-- --:--:-- --:--:-- 422k :: 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=1710208261 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1710208261' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' printenv 2>&1 SCHROOT_SESSION_ID=archlinux-coq-rb-build-fzlgTUjg PWD=/tmp/archlinux-ci/coq-rb-build-fzlgTUjg/coq 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: coq 8.19.1-2 (Tue Mar 12 01:51:36 2024) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (3) ocaml-compiler-libs-5.1.1-1 ocaml-5.1.1-1 ocaml-findlib-1.9.6-4 Total Download Size: 65.53 MiB Total Installed Size: 198.91 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 27.0M 100 27.0M 0 0 186M 0 --:--:-- --:--:-- --:--:-- 186M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 37.6M 100 37.6M 0 0 192M 0 --:--:-- --:--:-- --:--:-- 193M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 816k 100 816k 0 0 160M 0 --:--:-- --:--:-- --:--:-- 199M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing ocaml... Optional dependencies for ocaml ncurses: advanced ncurses features [installed] tk: advanced tk features installing ocaml-compiler-libs... installing ocaml-findlib... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... :: There are 4 providers available for java-environment>=6: :: Repository extra 1) jdk-openjdk 2) jdk11-openjdk 3) jdk17-openjdk 4) jdk8-openjdk Enter a number (default=1): looking for conflicting packages... warning: dependency cycle detected: warning: harfbuzz will be installed before its freetype2 dependency warning: dependency cycle detected: warning: mesa will be installed before its libglvnd dependency Packages (193) adobe-source-code-pro-fonts-2.042u+1.062i+1.026vf-1 adwaita-cursors-45.0-1 adwaita-icon-theme-45.0-1 aom-3.8.1-1 at-spi2-core-2.50.1-1 avahi-1:0.8+r194+g3f79789-1 bc-1.07.1-4 cairo-1.18.0-2 cantarell-fonts-1:0.303.1-1 dav1d-1.4.0-1 dconf-0.40.0-2 default-cursors-2-1 desktop-file-utils-0.27-1 duktape-2.7.0-6 dvisvgm-3.2.2-1 enchant-2.6.5-1 ffcall-2.4-2 fftw-3.3.10-6 fontconfig-2:2.15.0-2 freetype2-2.13.2-1 fribidi-1.0.13-2 gd-2.3.3-7 gdk-pixbuf2-2.42.10-2 giflib-5.2.2-1 glib-networking-1:2.78.1-1 graphite-1:1.3.14-3 gsettings-desktop-schemas-45.0-1 gtk-update-icon-cache-1:4.12.5-1 gtkspell3-3.0.10-2 harfbuzz-8.3.0-2 harfbuzz-icu-8.3.0-2 hicolor-icon-theme-0.17-3 ijs-0.35-6 iso-codes-4.16.0-1 java-environment-common-3-5 java-runtime-common-3-5 jbig2dec-0.20-1 jbigkit-2.1-7 jdk-openjdk-21.0.2.u13-3 json-glib-1.8.0-1 lcms2-2.16-1 libavif-1.0.4-1 libcloudproviders-0.3.5-1 libcolord-1.4.7-2 libcups-1:2.4.7-2 libdaemon-0.14-5 libdatrie-0.2.13-4 libde265-1.0.15-1 libdrm-2.4.120-1 libepoxy-1.5.10-2 libglvnd-1.7.0-1 libheif-1.17.6-3 libice-1.1.1-2 libidn-1.42-1 libjpeg-turbo-3.0.2-2 liblqr-0.4.2-3 libnet-2:1.3-1 libomxil-bellagio-0.9.3-4 libpaper-2.1.3-1 libpciaccess-0.18-1 libpng-1.6.43-1 libproxy-0.5.4-1 libraqm-0.10.1-1 librsvg-2:2.57.2-1 libsigsegv-2.14-2 libsm-1.2.4-1 libsoup3-3.4.4-1 libstemmer-2.2.0-2 libsynctex-2023.66984-19 libthai-0.1.29-3 libtiff-4.6.0-2 libunwind-1.8.1-1 libwebp-1.3.2-1 libx11-1.8.7-1 libxau-1.0.11-2 libxaw-1.0.16-1 libxcb-1.16.1-1 libxcomposite-0.4.6-1 libxcursor-1.2.2-1 libxdamage-1.1.6-1 libxdmcp-1.1.5-1 libxext-1.3.6-1 libxfixes-6.0.1-1 libxft-2.3.8-1 libxi-1.8.1-1 libxinerama-1.1.5-1 libxkbcommon-1.6.0-1 libxmu-1.1.4-1 libxpm-3.5.17-1 libxrandr-1.5.4-1 libxrender-0.9.11-1 libxshmfence-1.3.2-1 libxt-1.3.0-1 libxtst-1.2.4-1 libxxf86vm-1.1.5-1 libyuv-r2426+464c51a0-1 llvm-libs-17.0.6-2 lm_sensors-1:3.6.0.r41.g31d1f125-2 lzo-2.10-5 mesa-1:24.0.2-2 netpbm-10.86.40-1 nspr-4.35-2 nss-3.98-1 ocaml-cairo-0.6.4-6 openjpeg2-2.5.2-1 pango-1:1.52.1-1 pixman-0.43.4-1 poppler-24.03.0-1 poppler-data-0.4.12-1 potrace-1.16-2 python-annotated-types-0.6.0-1 python-autocommand-2.2.2-4 python-babel-2.12.1-2 python-charset-normalizer-3.3.2-1 python-docutils-1:0.20.1-1 python-fastjsonschema-2.19.1-1 python-idna-3.6-1 python-imagesize-1.4.1-4 python-inflect-7.0.0-3 python-jaraco.context-4.3.0-3 python-jaraco.functools-4.0.0-1 python-jaraco.text-3.12.0-1 python-jinja-1:3.1.3-1 python-latexcodec-2.0.1-6 python-markupsafe-2.1.4-1 python-more-itertools-10.1.0-1 python-ordered-set-4.1.0-4 python-packaging-23.2-1 python-platformdirs-4.1.0-1 python-ptyprocess-0.7.0-5 python-pybtex-0.24.0-5 python-pybtex-docutils-1.0.2-2 python-pydantic-2.6.3-1 python-pydantic-core-1:2.16.3-1 python-pygments-2.17.2-1 python-pytz-2024.1-1 python-requests-2.31.0-1 python-setuptools-1:69.0.3-4 python-snowballstemmer-2.2.0-5 python-soupsieve-2.5-1 python-sphinx-alabaster-theme-0.7.16-1 python-sphinxcontrib-applehelp-1.0.8-1 python-sphinxcontrib-devhelp-1.0.6-1 python-sphinxcontrib-htmlhelp-2.0.5-1 python-sphinxcontrib-jquery-4.1-2 python-sphinxcontrib-jsmath-1.0.1-15 python-sphinxcontrib-qthelp-1.0.7-1 python-sphinxcontrib-serializinghtml-1.1.10-1 python-tomli-2.0.1-3 python-trove-classifiers-2024.3.3-1 python-typing_extensions-4.10.0-1 python-validate-pyproject-0.13-1 rav1e-0.7.1-1 shared-mime-info-2.4-1 svt-av1-1.8.0-1 t1lib-5.1.2-8 texlive-basic-2023.66594-20 texlive-fontsrecommended-2023.66594-20 texlive-latex-2023.66594-20 texlive-latexrecommended-2023.66594-20 tracker3-3.6.0-3 vulkan-icd-loader-1.3.279-1 wayland-1.22.0-1 woff2-1.0.2-4 x265-3.5-3 xcb-proto-1.16.0-1 xkeyboard-config-2.41-1 xorg-xprop-1.2.7-1 xorgproto-2023.2-1 zziplib-0.13.74-1 antlr4-4.13.1-1 dune-3.11.1-2 fig2dev-3.2.9-1 gendesk-1.0.9-3 ghostscript-10.03.0-1 gtk3-1:3.24.41-1 gtksourceview3-1:3.24.11+r28+g73e57b57-1 hevea-2.36-2 imagemagick-7.1.1.29-2 lablgtk3-3.1.3-5 ocaml-num-1.4-10 ocaml-zarith-1.13-2 python-beautifulsoup4-4.12.2-1 python-pexpect-4.9.0-1 python-sphinx-7.2.6-1 python-sphinx_rtd_theme-1.3.0-1 python-sphinxcontrib-bibtex-2.5.0-2 texlive-bin-2023.66984-19 texlive-binextra-2023.66594-20 texlive-fontsextra-2023.66594-20 texlive-latexextra-2023.66594-20 texlive-mathscience-2023.66594-20 texlive-pictures-2023.66594-20 Total Download Size: 1373.17 MiB Total Installed Size: 3636.74 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 44 418k 44 185k 0 0 183k 0 0:00:02 0:00:01 0:00:01 183k 100 418k 100 418k 0 0 354k 0 0:00:01 0:00:01 --:--:-- 354k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 611k 100 611k 0 0 1799k 0 --:--:-- --:--:-- --:--:-- 1802k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 10021 100 10021 0 0 9985k 0 --:--:-- --:--:-- --:--:-- 9786k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 248k 100 248k 0 0 124M 0 --:--:-- --:--:-- --:--:-- 242M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 52996 100 52996 0 0 39.1M 0 --:--:-- --:--:-- --:--:-- 50.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 539k 100 539k 0 0 139M 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 961k 100 961k 0 0 160M 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 631k 100 631k 0 0 127M 0 --:--:-- --:--:-- --:--:-- 154M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 516k 100 516k 0 0 140M 0 --:--:-- --:--:-- --:--:-- 168M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 85987 100 85987 0 0 60.6M 0 --:--:-- --:--:-- --:--:-- 82.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 1008k 100 1008k 0 0 166M 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 523k 100 523k 0 0 139M 0 --:--:-- --:--:-- --:--:-- 170M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 370k 100 370k 0 0 151M 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 130k 100 130k 0 0 85.6M 0 --:--:-- --:--:-- --:--:-- 127M % Total % 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 115M 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 27725 100 27725 0 0 27.1M 0 --:--:-- --:--:-- --:--:-- 26.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 11204 100 11204 0 0 11.6M 0 --:--:-- --:--:-- --:--:-- 10.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 1024k 100 1024k 0 0 168M 0 --:--:-- --:--:-- --:--:-- 200M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2064k 100 2064k 0 0 178M 0 --:--:-- --:--:-- --:--:-- 183M % Total % 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 72.8M 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 29880 100 29880 0 0 26.0M 0 --:--:-- --:--:-- --:--:-- 28.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 89912 100 89912 0 0 54.8M 0 --:--:-- --:--:-- --:--:-- 85.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 277k 100 277k 0 0 140M 0 --:--:-- --:--:-- --:--:-- 271M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 609k 100 609k 0 0 150M 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 72969 100 72969 0 0 56.4M 0 --:--:-- --:--:-- --:--:-- 69.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 114k 100 114k 0 0 68.3M 0 --:--:-- --:--:-- --:--:-- 111M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 275k 100 275k 0 0 114M 0 --:--:-- --:--:-- --:--:-- 134M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 61606 100 61606 0 0 46.0M 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 402k 100 402k 0 0 157M 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 2590k 100 2590k 0 0 182M 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 17820 100 17820 0 0 17.7M 0 --:--:-- --:--:-- --:--:-- 16.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 549k 100 549k 0 0 147M 0 --:--:-- --:--:-- --:--:-- 178M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 218k 100 218k 0 0 101M 0 --:--:-- --:--:-- --:--:-- 106M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 934k 100 934k 0 0 152M 0 --:--:-- --:--:-- --:--:-- 182M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 112k 100 112k 0 0 70.3M 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 105k 100 105k 0 0 88.6M 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 698k 100 698k 0 0 131M 0 --:--:-- --:--:-- --:--:-- 136M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 14194 100 14194 0 0 13.4M 0 --:--:-- --:--:-- --:--:-- 13.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 151k 100 151k 0 0 105M 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 29760 100 29760 0 0 28.7M 0 --:--:-- --:--:-- --:--:-- 28.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 26306 100 26306 0 0 26.8M 0 --:--:-- --:--:-- --:--:-- 25.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 565k 100 565k 0 0 146M 0 --:--:-- --:--:-- --:--:-- 183M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 46684 100 46684 0 0 38.3M 0 --:--:-- --:--:-- --:--:-- 44.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 3325k 100 3325k 0 0 183M 0 --:--:-- --:--:-- --:--:-- 191M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 65934 100 65934 0 0 58.9M 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 220k 100 220k 0 0 118M 0 --:--:-- --:--:-- --:--:-- 214M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 186k 100 186k 0 0 112M 0 --:--:-- --:--:-- --:--:-- 182M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 19643 100 19643 0 0 18.0M 0 --:--:-- --:--:-- --:--:-- 18.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 434k 100 434k 0 0 166M 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 276k 100 276k 0 0 148M 0 --:--:-- --:--:-- --:--:-- 270M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 22272 100 22272 0 0 22.5M 0 --:--:-- --:--:-- --:--:-- 21.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 341k 100 341k 0 0 150M 0 --:--:-- --:--:-- --:--:-- 166M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 187k 100 187k 0 0 114M 0 --:--:-- --:--:-- --:--:-- 182M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 7378 100 7378 0 0 8291k 0 --:--:-- --:--:-- --:--:-- 7205k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 5850 100 5850 0 0 5741k 0 --:--:-- --:--:-- --:--:-- 5712k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 15897 100 15897 0 0 654k 0 --:--:-- --:--:-- --:--:-- 674k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 31.6M 100 31.6M 0 0 195M 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 131k 100 131k 0 0 82.3M 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 143k 100 143k 0 0 94.0M 0 --:--:-- --:--:-- --:--:-- 140M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2233 100 2233 0 0 2127k 0 --:--:-- --:--:-- --:--:-- 2180k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 137k 100 137k 0 0 95.6M 0 --:--:-- --:--:-- --:--:-- 134M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 122k 100 122k 0 0 80.3M 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 18.4M 100 18.4M 0 0 179M 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 355k 100 355k 0 0 150M 0 --:--:-- --:--:-- --:--:-- 173M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 324k 100 324k 0 0 125M 0 --:--:-- --:--:-- --:--:-- 158M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 11889 100 11889 0 0 10.7M 0 --:--:-- --:--:-- --:--:-- 11.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 32848 100 32848 0 0 26.8M 0 --:--:-- --:--:-- --:--:-- 31.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 10114 100 10114 0 0 9397k 0 --:--:-- --:--:-- --:--:-- 9876k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 885k 100 885k 0 0 161M 0 --:--:-- --:--:-- --:--:-- 172M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 208k 100 208k 0 0 119M 0 --:--:-- --:--:-- --:--:-- 203M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 27906 100 27906 0 0 24.8M 0 --:--:-- --:--:-- --:--:-- 26.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 170k 100 170k 0 0 100M 0 --:--:-- --:--:-- --:--:-- 166M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 176k 100 176k 0 0 106M 0 --:--:-- --:--:-- --:--:-- 172M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 29017 100 29017 0 0 24.1M 0 --:--:-- --:--:-- --:--:-- 27.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 136k 100 136k 0 0 86.9M 0 --:--:-- --:--:-- --:--:-- 133M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 394k 100 394k 0 0 160M 0 --:--:-- --:--:-- --:--:-- 192M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 147k 100 147k 0 0 97.2M 0 --:--:-- --:--:-- --:--:-- 143M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 721k 100 721k 0 0 157M 0 --:--:-- --:--:-- --:--:-- 176M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 8668k 100 8668k 0 0 189M 0 --:--:-- --:--:-- --:--:-- 192M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 623k 100 623k 0 0 150M 0 --:--:-- --:--:-- --:--:-- 152M % Total % 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.7M 100 11.7M 0 0 192M 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 61051 100 61051 0 0 50.8M 0 --:--:-- --:--:-- --:--:-- 58.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 49448 100 49448 0 0 39.3M 0 --:--:-- --:--:-- --:--:-- 47.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 407k 100 407k 0 0 131M 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 6 12.9M 6 856k 0 0 996k 0 0:00:13 --:--:-- 0:00:13 995k 38 12.9M 38 5040k 0 0 2720k 0 0:00:04 0:00:01 0:00:03 2720k 72 12.9M 72 9555k 0 0 3358k 0 0:00:03 0:00:02 0:00:01 3357k 100 12.9M 100 12.9M 0 0 3761k 0 0:00:03 0:00:03 --:--:-- 3762k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2255k 100 2255k 0 0 141M 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 59458 100 59458 0 0 44.5M 0 --:--:-- --:--:-- --:--:-- 56.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 80339 100 80339 0 0 70.1M 0 --:--:-- --:--:-- --:--:-- 76.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 47005 100 47005 0 0 38.5M 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 535k 100 535k 0 0 149M 0 --:--:-- --:--:-- --:--:-- 174M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 72558 100 72558 0 0 62.0M 0 --:--:-- --:--:-- --:--:-- 69.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 78181 100 78181 0 0 48.1M 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 348k 100 348k 0 0 154M 0 --:--:-- --:--:-- --:--:-- 170M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2815k 100 2815k 0 0 181M 0 --:--:-- --:--:-- --:--:-- 183M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 623k 100 623k 0 0 152M 0 --:--:-- --:--:-- --:--:-- 203M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1595k 100 1595k 0 0 176M 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 2065k 100 2065k 0 0 176M 0 --:--:-- --:--:-- --:--:-- 183M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 308k 100 308k 0 0 145M 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 145k 100 145k 0 0 86.7M 0 --:--:-- --:--:-- --:--:-- 141M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 270k 100 270k 0 0 145M 0 --:--:-- --:--:-- --:--:-- 263M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1727k 100 1727k 0 0 176M 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 372k 100 372k 0 0 160M 0 --:--:-- --:--:-- --:--:-- 181M % Total % 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 105M 0 --:--:-- --:--:-- --:--:-- 152M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 8215 100 8215 0 0 7162k 0 --:--:-- --:--:-- --:--:-- 8022k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 33060 100 33060 0 0 27.0M 0 --:--:-- --:--:-- --:--:-- 31.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 10664 100 10664 0 0 11.4M 0 --:--:-- --:--:-- --:--:-- 10.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 49923 100 49923 0 0 31.1M 0 --:--:-- --:--:-- --:--:-- 47.6M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 78042 100 78042 0 0 65.4M 0 --:--:-- --:--:-- --:--:-- 74.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 354k 100 354k 0 0 1573k 0 --:--:-- --:--:-- --:--:-- 1575k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 889k 100 889k 0 0 168M 0 --:--:-- --:--:-- --:--:-- 173M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 197k 100 197k 0 0 104M 0 --:--:-- --:--:-- --:--:-- 193M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1619k 100 1619k 0 0 171M 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 1593k 100 1593k 0 0 173M 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 93258 100 93258 0 0 62.7M 0 --:--:-- --:--:-- --:--:-- 88.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 670k 100 670k 0 0 16.6M 0 --:--:-- --:--:-- --:--:-- 16.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 66230 100 66230 0 0 358k 0 --:--:-- --:--:-- --:--:-- 359k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 1 11.9M 1 179k 0 0 336k 0 0:00:36 --:--:-- 0:00:36 336k 59 11.9M 59 7343k 0 0 5476k 0 0:00:02 0:00:01 0:00:01 5476k 100 11.9M 100 11.9M 0 0 8801k 0 0:00:01 0:00:01 --:--:-- 8800k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 6757k 100 6757k 0 0 38.7M 0 --:--:-- --:--:-- --:--:-- 38.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 64323 100 64323 0 0 47.9M 0 --:--:-- --:--:-- --:--:-- 61.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 54345 100 54345 0 0 45.2M 0 --:--:-- --:--:-- --:--:-- 51.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 222k 100 222k 0 0 104M 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 2014k 100 2014k 0 0 177M 0 --:--:-- --:--:-- --:--:-- 178M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 19.5M 100 19.5M 0 0 194M 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 58680 100 58680 0 0 168k 0 --:--:-- --:--:-- --:--:-- 169k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 5 1028k 5 56778 0 0 159k 0 0:00:06 --:--:-- 0:00:06 159k 100 1028k 100 1028k 0 0 2777k 0 --:--:-- --:--:-- --:--:-- 2772k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1254k 100 1254k 0 0 10.5M 0 --:--:-- --:--:-- --:--:-- 10.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 2426k 100 2426k 0 0 17.0M 0 --:--:-- --:--:-- --:--:-- 17.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 15.4M 100 15.4M 0 0 58.4M 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 98 24.0M 98 23.7M 0 0 82.9M 0 --:--:-- --:--:-- --:--:-- 82.8M 100 24.0M 100 24.0M 0 0 82.8M 0 --:--:-- --:--:-- --:--:-- 82.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 0 531M 0 300k 0 0 280k 0 0:32:21 0:00:01 0:32:20 280k 0 531M 0 3789k 0 0 1815k 0 0:04:59 0:00:02 0:04:57 1815k 1 531M 1 9345k 0 0 3013k 0 0:03:00 0:00:03 0:02:57 3013k 3 531M 3 16.3M 0 0 4199k 0 0:02:09 0:00:03 0:02:06 4198k 4 531M 4 25.1M 0 0 5175k 0 0:01:45 0:00:04 0:01:41 5174k 7 531M 7 37.3M 0 0 6388k 0 0:01:25 0:00:05 0:01:20 7725k 8 531M 8 47.3M 0 0 6929k 0 0:01:18 0:00:06 0:01:12 9102k 10 531M 10 55.4M 0 0 7090k 0 0:01:16 0:00:08 0:01:08 9663k 11 531M 11 61.6M 0 0 6997k 0 0:01:17 0:00:09 0:01:08 9221k 12 531M 12 68.3M 0 0 6971k 0 0:01:17 0:00:10 0:01:07 8741k 14 531M 14 75.3M 0 0 6977k 0 0:01:17 0:00:11 0:01:06 7671k 15 531M 15 83.2M 0 0 7053k 0 0:01:17 0:00:12 0:01:05 7224k 16 531M 16 89.7M 0 0 7021k 0 0:01:17 0:00:13 0:01:04 6912k 18 531M 18 97.0M 0 0 7047k 0 0:01:17 0:00:14 0:01:03 7137k 19 531M 19 104M 0 0 7071k 0 0:01:16 0:00:15 0:01:01 7268k 21 531M 21 111M 0 0 7091k 0 0:01:16 0:00:16 0:01:00 7341k 22 531M 22 118M 0 0 7159k 0 0:01:15 0:00:16 0:00:59 7420k 23 531M 23 124M 0 0 7098k 0 0:01:16 0:00:17 0:00:59 7305k 24 531M 24 130M 0 0 7022k 0 0:01:17 0:00:19 0:00:58 6949k 25 531M 25 136M 0 0 6983k 0 0:01:17 0:00:20 0:00:57 6714k 26 531M 26 143M 0 0 6970k 0 0:01:18 0:00:21 0:00:57 6571k 28 531M 28 150M 0 0 6972k 0 0:01:17 0:00:22 0:00:55 6341k 29 531M 29 157M 0 0 6982k 0 0:01:17 0:00:23 0:00:54 6571k 30 531M 30 164M 0 0 6998k 0 0:01:17 0:00:24 0:00:53 6907k 32 531M 32 171M 0 0 7014k 0 0:01:17 0:00:25 0:00:52 7138k 33 531M 33 179M 0 0 7031k 0 0:01:17 0:00:26 0:00:51 7284k 35 531M 35 186M 0 0 7046k 0 0:01:17 0:00:27 0:00:50 7370k 36 531M 36 193M 0 0 7088k 0 0:01:16 0:00:27 0:00:49 7582k 37 531M 37 200M 0 0 7079k 0 0:01:16 0:00:28 0:00:48 7479k 39 531M 39 207M 0 0 7087k 0 0:01:16 0:00:29 0:00:47 7458k 40 531M 40 215M 0 0 7105k 0 0:01:16 0:00:31 0:00:45 7501k 42 531M 42 223M 0 0 7134k 0 0:01:16 0:00:32 0:00:44 7618k 43 531M 43 230M 0 0 7158k 0 0:01:15 0:00:33 0:00:42 7547k 45 531M 45 239M 0 0 7200k 0 0:01:15 0:00:34 0:00:41 7893k 46 531M 46 248M 0 0 7257k 0 0:01:14 0:00:35 0:00:39 8258k 48 531M 48 258M 0 0 7331k 0 0:01:14 0:00:36 0:00:38 8709k 50 531M 50 269M 0 0 7426k 0 0:01:13 0:00:37 0:00:36 9276k 52 531M 52 280M 0 0 7547k 0 0:01:12 0:00:38 0:00:34 9.8M 55 531M 55 294M 0 0 7696k 0 0:01:10 0:00:39 0:00:31 10.7M 57 531M 57 307M 0 0 7874k 0 0:01:09 0:00:39 0:00:30 11.9M 60 531M 60 319M 0 0 7959k 0 0:01:08 0:00:41 0:00:27 12.2M 60 531M 60 322M 0 0 7853k 0 0:01:09 0:00:42 0:00:27 10.7M 62 531M 62 330M 0 0 7847k 0 0:01:09 0:00:43 0:00:26 9.9M 63 531M 63 336M 0 0 7836k 0 0:01:09 0:00:43 0:00:26 8955k 64 531M 64 343M 0 0 7812k 0 0:01:09 0:00:45 0:00:24 7323k 65 531M 65 350M 0 0 7793k 0 0:01:09 0:00:46 0:00:23 6416k 67 531M 67 356M 0 0 7768k 0 0:01:09 0:00:46 0:00:23 7040k 68 531M 68 363M 0 0 7750k 0 0:01:10 0:00:47 0:00:23 6898k 69 531M 69 370M 0 0 7739k 0 0:01:10 0:00:49 0:00:21 6892k 71 531M 71 377M 0 0 7728k 0 0:01:10 0:00:50 0:00:20 6968k 72 531M 72 384M 0 0 7716k 0 0:01:10 0:00:51 0:00:19 7013k 73 531M 73 391M 0 0 7706k 0 0:01:10 0:00:52 0:00:18 7132k 75 531M 75 398M 0 0 7698k 0 0:01:10 0:00:53 0:00:17 7202k 76 531M 76 406M 0 0 7693k 0 0:01:10 0:00:54 0:00:16 7245k 77 531M 77 413M 0 0 7671k 0 0:01:10 0:00:55 0:00:15 7114k 78 531M 78 418M 0 0 7661k 0 0:01:10 0:00:55 0:00:15 7090k 80 531M 80 425M 0 0 7635k 0 0:01:11 0:00:57 0:00:14 6892k 81 531M 81 431M 0 0 7622k 0 0:01:11 0:00:57 0:00:14 6797k 82 531M 82 438M 0 0 7605k 0 0:01:11 0:00:58 0:00:13 6636k 83 531M 83 445M 0 0 7601k 0 0:01:11 0:00:59 0:00:12 6805k 85 531M 85 452M 0 0 7601k 0 0:01:11 0:01:01 0:00:10 6932k 86 531M 86 460M 0 0 7603k 0 0:01:11 0:01:02 0:00:09 7230k 88 531M 88 468M 0 0 7605k 0 0:01:11 0:01:03 0:00:08 7417k 89 531M 89 475M 0 0 7608k 0 0:01:11 0:01:04 0:00:07 7643k 91 531M 91 483M 0 0 7611k 0 0:01:11 0:01:05 0:00:06 7730k 92 531M 92 491M 0 0 7613k 0 0:01:11 0:01:06 0:00:05 7766k 93 531M 93 498M 0 0 7623k 0 0:01:11 0:01:06 0:00:05 7871k 95 531M 95 506M 0 0 7626k 0 0:01:11 0:01:07 0:00:04 7888k 96 531M 96 514M 0 0 7632k 0 0:01:11 0:01:09 0:00:02 7934k 98 531M 98 522M 0 0 7640k 0 0:01:11 0:01:09 0:00:02 8029k 99 531M 99 530M 0 0 7648k 0 0:01:11 0:01:10 0:00:01 8117k 100 531M 100 531M 0 0 7654k 0 0:01:11 0:01:11 --:--:-- 8176k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 89.5M 100 89.5M 0 0 117M 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 3731k 100 3731k 0 0 136M 0 --:--:-- --:--:-- --:--:-- 140M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 25 91.3M 25 23.2M 0 0 191M 0 --:--:-- --:--:-- --:--:-- 190M 100 91.3M 100 91.3M 0 0 193M 0 --:--:-- --:--:-- --:--:-- 193M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 89945 100 89945 0 0 69.6M 0 --:--:-- --:--:-- --:--:-- 85.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 1306k 100 1306k 0 0 171M 0 --:--:-- --:--:-- --:--:-- 182M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 293k 100 293k 0 0 119M 0 --:--:-- --:--:-- --:--:-- 143M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2762k 100 2762k 0 0 170M 0 --:--:-- --:--:-- --:--:-- 179M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 32574 100 32574 0 0 32.2M 0 --:--:-- --:--:-- --:--:-- 31.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 34317 100 34317 0 0 32.0M 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 8686k 100 8686k 0 0 97.7M 0 --:--:-- --:--:-- --:--:-- 98.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 1606k 100 1606k 0 0 169M 0 --:--:-- --:--:-- --:--:-- 174M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 48385 100 48385 0 0 46.8M 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 6680k 100 6680k 0 0 186M 0 --:--:-- --:--:-- --:--:-- 191M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 903k 100 903k 0 0 165M 0 --:--:-- --:--:-- --:--:-- 176M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 14843 100 14843 0 0 14.9M 0 --:--:-- --:--:-- --:--:-- 14.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 22074 100 22074 0 0 23.1M 0 --:--:-- --:--:-- --:--:-- 21.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 295k 100 295k 0 0 156M 0 --:--:-- --:--:-- --:--:-- 288M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 104k 100 104k 0 0 90.6M 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 2329k 100 2329k 0 0 180M 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 95221 100 95221 0 0 83.0M 0 --:--:-- --:--:-- --:--:-- 90.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 95727 100 95727 0 0 89.7M 0 --:--:-- --:--:-- --:--:-- 91.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 118k 100 118k 0 0 101M 0 --:--:-- --:--:-- --:--:-- 115M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 223k 100 223k 0 0 139M 0 --:--:-- --:--:-- --:--:-- 217M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 16938 100 16938 0 0 19.2M 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 35068 100 35068 0 0 40.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 27459 100 27459 0 0 29.3M 0 --:--:-- --:--:-- --:--:-- 26.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 39996 100 39996 0 0 38.8M 0 --:--:-- --:--:-- --:--:-- 38.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 9829 100 9829 0 0 12.3M 0 --:--:-- --:--:-- --:--:-- 9598k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 33176 100 33176 0 0 31.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 32963 100 32963 0 0 37.6M 0 --:--:-- --:--:-- --:--:-- 31.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 2534k 100 2534k 0 0 181M 0 --:--:-- --:--:-- --:--:-- 190M % Total % 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 83.7M 0 --:--:-- --:--:-- --:--:-- 104M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2546k 100 2546k 0 0 183M 0 --:--:-- --:--:-- --:--:-- 191M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 29249 100 29249 0 0 29.9M 0 --:--:-- --:--:-- --:--:-- 27.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 95 100k 95 97917 0 0 451k 0 --:--:-- --:--:-- --:--:-- 451k 100 100k 100 100k 0 0 472k 0 --:--:-- --:--:-- --:--:-- 471k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 88406 100 88406 0 0 70.7M 0 --:--:-- --:--:-- --:--:-- 84.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 271k 100 271k 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 99813 100 99813 0 0 66.4M 0 --:--:-- --:--:-- --:--:-- 95.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 17501 100 17501 0 0 18.5M 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 11682 100 11682 0 0 11.1M 0 --:--:-- --:--:-- --:--:-- 11.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 22922 100 22922 0 0 26.6M 0 --:--:-- --:--:-- --:--:-- 21.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 21709 100 21709 0 0 26.4M 0 --:--:-- --:--:-- --:--:-- 20.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 70217 100 70217 0 0 67.3M 0 --:--:-- --:--:-- --:--:-- 66.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 1608k 100 1608k 0 0 176M 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 735k 100 735k 0 0 159M 0 --:--:-- --:--:-- --:--:-- 179M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 78896 100 78896 0 0 75.7M 0 --:--:-- --:--:-- --:--:-- 75.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 21029 100 21029 0 0 22.1M 0 --:--:-- --:--:-- --:--:-- 20.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 16181 100 16181 0 0 20.9M 0 --:--:-- --:--:-- --:--:-- 15.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 32853 100 32853 0 0 33.6M 0 --:--:-- --:--:-- --:--:-- 31.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 28235 100 28235 0 0 33.6M 0 --:--:-- --:--:-- --:--:-- 26.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 51605 100 51605 0 0 51.1M 0 --:--:-- --:--:-- --:--:-- 49.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 15460 100 15460 0 0 19.4M 0 --:--:-- --:--:-- --:--:-- 14.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 73796 100 73796 0 0 64.0M 0 --:--:-- --:--:-- --:--:-- 70.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 774k 100 774k 0 0 164M 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 34166 100 34166 0 0 32.0M 0 --:--:-- --:--:-- --:--:-- 32.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 107M 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 12823 100 12823 0 0 13.0M 0 --:--:-- --:--:-- --:--:-- 12.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 74978 100 74978 0 0 66.2M 0 --:--:-- --:--:-- --:--:-- 71.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 5077 100 5077 0 0 5951k 0 --:--:-- --:--:-- --:--:-- 4958k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 294k 100 294k 0 0 146M 0 --:--:-- --:--:-- --:--:-- 288M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2628 100 2628 0 0 3676k 0 --:--:-- --:--:-- --:--:-- 2566k % 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 406M 0 43047 0 0 74351 0 1:35:37 --:--:-- 1:35:37 74347 0 406M 0 1818k 0 0 1144k 0 0:06:03 0:00:01 0:06:02 1144k 2 406M 2 9695k 0 0 3733k 0 0:01:51 0:00:02 0:01:49 3733k 4 406M 4 19.7M 0 0 5619k 0 0:01:14 0:00:03 0:01:11 5619k 8 406M 8 33.6M 0 0 7457k 0 0:00:55 0:00:04 0:00:51 7455k 10 406M 10 42.9M 0 0 7815k 0 0:00:53 0:00:05 0:00:48 8704k 12 406M 12 49.5M 0 0 7638k 0 0:00:54 0:00:06 0:00:48 9681k 13 406M 13 55.8M 0 0 7611k 0 0:00:54 0:00:07 0:00:47 9655k 15 406M 15 62.3M 0 0 7494k 0 0:00:55 0:00:08 0:00:47 8868k 16 406M 16 68.9M 0 0 7418k 0 0:00:56 0:00:09 0:00:47 7382k 18 406M 18 75.6M 0 0 7367k 0 0:00:56 0:00:10 0:00:46 6853k 20 406M 20 82.8M 0 0 7361k 0 0:00:56 0:00:11 0:00:45 6984k 22 406M 22 90.0M 0 0 7366k 0 0:00:56 0:00:12 0:00:44 6998k 23 406M 23 97.3M 0 0 7363k 0 0:00:56 0:00:13 0:00:43 7142k 25 406M 25 104M 0 0 7361k 0 0:00:56 0:00:14 0:00:42 7255k 27 406M 27 111M 0 0 7361k 0 0:00:56 0:00:15 0:00:41 7348k 29 406M 29 119M 0 0 7363k 0 0:00:56 0:00:16 0:00:40 7369k 31 406M 31 126M 0 0 7371k 0 0:00:56 0:00:17 0:00:39 7385k 32 406M 32 134M 0 0 7389k 0 0:00:56 0:00:18 0:00:38 7458k 34 406M 34 141M 0 0 7420k 0 0:00:56 0:00:19 0:00:37 7588k 36 406M 36 150M 0 0 7468k 0 0:00:55 0:00:20 0:00:35 7798k 39 406M 39 159M 0 0 7566k 0 0:00:55 0:00:21 0:00:34 8240k 41 406M 41 168M 0 0 7659k 0 0:00:54 0:00:22 0:00:32 8678k 43 406M 43 178M 0 0 7784k 0 0:00:53 0:00:23 0:00:30 9259k 46 406M 46 190M 0 0 7944k 0 0:00:52 0:00:24 0:00:28 9.7M 49 406M 49 203M 0 0 8148k 0 0:00:51 0:00:25 0:00:26 10.7M 53 406M 53 216M 0 0 8360k 0 0:00:49 0:00:26 0:00:23 11.5M 56 406M 56 229M 0 0 8530k 0 0:00:48 0:00:27 0:00:21 12.1M 58 406M 58 238M 0 0 8542k 0 0:00:48 0:00:28 0:00:20 11.8M 60 406M 60 246M 0 0 8556k 0 0:00:48 0:00:29 0:00:19 11.2M 63 406M 63 256M 0 0 8588k 0 0:00:48 0:00:30 0:00:18 10.5M 65 406M 65 265M 0 0 8625k 0 0:00:48 0:00:31 0:00:17 9.7M 67 406M 67 275M 0 0 8668k 0 0:00:48 0:00:32 0:00:16 9422k 70 406M 70 285M 0 0 8713k 0 0:00:47 0:00:33 0:00:14 9682k 72 406M 72 295M 0 0 8758k 0 0:00:47 0:00:34 0:00:13 9938k 75 406M 75 306M 0 0 8801k 0 0:00:47 0:00:35 0:00:12 9.8M 77 406M 77 316M 0 0 8842k 0 0:00:47 0:00:36 0:00:11 9.9M 80 406M 80 326M 0 0 8881k 0 0:00:46 0:00:37 0:00:09 10.0M 82 406M 82 335M 0 0 8931k 0 0:00:46 0:00:38 0:00:08 10.1M 84 406M 84 345M 0 0 8954k 0 0:00:46 0:00:39 0:00:07 10.0M 87 406M 87 355M 0 0 8992k 0 0:00:46 0:00:40 0:00:06 10.1M 90 406M 90 366M 0 0 9031k 0 0:00:46 0:00:41 0:00:05 10.1M 92 406M 92 377M 0 0 9075k 0 0:00:45 0:00:42 0:00:03 10.3M 95 406M 95 387M 0 0 9122k 0 0:00:45 0:00:43 0:00:02 10.3M 98 406M 98 399M 0 0 9182k 0 0:00:45 0:00:44 0:00:01 10.7M 100 406M 100 406M 0 0 9240k 0 0:00:45 0:00:45 --:--:-- 11.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 1893k 100 1893k 0 0 156M 0 --:--:-- --:--:-- --:--:-- 168M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing ocaml-num... installing ocaml-zarith... installing hicolor-icon-theme... installing libpng... installing jbigkit... installing libjpeg-turbo... Optional dependencies for libjpeg-turbo java-runtime>11: for TurboJPEG Java wrapper [pending] installing libtiff... Optional dependencies for libtiff freeglut: for using tiffgt installing shared-mime-info... installing gdk-pixbuf2... Optional dependencies for gdk-pixbuf2 libwmf: Load .wmf and .apm libopenraw: Load .dng, .cr2, .crw, .nef, .orf, .pef, .arw, .erf, .mrw, and .raf libavif: Load .avif [pending] libheif: Load .heif, .heic, and .avif [pending] libjxl: Load .jxl librsvg: Load .svg, .svgz, and .svg.gz [pending] webp-pixbuf-loader: Load .webp installing graphite... Optional dependencies for graphite graphite-docs: Documentation installing harfbuzz... Optional dependencies for harfbuzz harfbuzz-utils: utilities installing freetype2... installing fontconfig... Creating fontconfig configuration... Rebuilding fontconfig cache... installing xcb-proto... installing xorgproto... installing libxdmcp... installing libxau... installing libxcb... installing libx11... installing libxext... installing libxrender... installing lzo... installing pixman... installing cairo... installing fribidi... installing libdatrie... installing libthai... installing libxft... installing pango... installing librsvg... installing gtk-update-icon-cache... installing adwaita-cursors... installing adwaita-icon-theme... installing adobe-source-code-pro-fonts... installing cantarell-fonts... installing dconf... installing gsettings-desktop-schemas... installing libxfixes... installing libxi... installing libxtst... installing xorg-xprop... installing at-spi2-core... Optional dependencies for at-spi2-core dbus-broker: Alternative bus implementation [installed] installing desktop-file-utils... installing iso-codes... installing libcloudproviders... installing lcms2... installing libcolord... installing libdaemon... installing avahi... Optional dependencies for avahi gtk3: avahi-discover, avahi-discover-standalone, bshell, bssh, bvnc [pending] libevent: libevent bindings [installed] nss-mdns: NSS support for mDNS python-dbus: avahi-bookmarks, avahi-discover python-gobject: avahi-bookmarks, avahi-discover python-twisted: avahi-bookmarks qt5-base: qt5 bindings installing libcups... installing libpciaccess... installing libdrm... Optional dependencies for libdrm cairo: needed for modetest tool [installed] installing libunwind... installing libxdamage... installing libxshmfence... installing libxxf86vm... installing llvm-libs... installing lm_sensors... Optional dependencies for lm_sensors rrdtool: for logging with sensord perl: for sensor detection and configuration convert [installed] installing vulkan-icd-loader... Optional dependencies for vulkan-icd-loader vulkan-driver: packaged vulkan driver installing default-cursors... Optional dependencies for default-cursors adwaita-cursors: default cursor theme [installed] installing wayland... installing libomxil-bellagio... installing mesa... Optional dependencies for mesa opengl-man-pages: for the OpenGL API man pages installing libglvnd... installing libepoxy... installing libxcomposite... installing libxcursor... installing libxinerama... installing xkeyboard-config... installing libxkbcommon... Optional dependencies for libxkbcommon libxkbcommon-x11: xkbcli interactive-x11 wayland: xkbcli interactive-wayland [installed] installing libxrandr... installing json-glib... installing duktape... installing libproxy... installing glib-networking... installing libsoup3... Optional dependencies for libsoup3 samba: Windows Domain SSO installing libstemmer... installing tracker3... Optional dependencies for tracker3 libsoup: Alternative remoting backend installing gtk3... Optional dependencies for gtk3 evince: Default print preview command installing gtksourceview3... installing dune... Optional dependencies for dune ocaml: Dune standard library [installed] installing enchant... Optional dependencies for enchant aspell: for aspell based spell checking support hunspell: for hunspell based spell checking support libvoikko: for libvoikko based spell checking support hspell: for hspell based spell checking support nuspell: for nuspell based spell checking support installing gtkspell3... installing ocaml-cairo... installing lablgtk3... Optional dependencies for lablgtk3 ocaml: for using the tools [installed] installing gendesk... installing ffcall... installing libice... installing libsm... installing libxt... installing libxpm... installing giflib... installing libwebp... installing aom... installing dav1d... Optional dependencies for dav1d dav1d-doc: HTML documentation installing rav1e... installing svt-av1... installing libyuv... installing libavif... installing libde265... Optional dependencies for libde265 ffmpeg: for sherlock265 qt5-base: for sherlock265 sdl: dec265 YUV overlay output installing x265... installing libheif... Optional dependencies for libheif libjpeg: for heif-convert and heif-enc [installed] libpng: for heif-convert and heif-enc [installed] dav1d: dav1d encoder [installed] ffmpeg: hardware decode rav1e: rav1e encoder [installed] svt-av1: svt-av1 encoder [installed] installing gd... Optional dependencies for gd perl: bdftogd script [installed] installing harfbuzz-icu... installing libpaper... installing libsigsegv... installing libsynctex... installing libxmu... installing libxaw... installing openjpeg2... installing nspr... installing nss... installing poppler... Optional dependencies for poppler poppler-data: highly recommended encoding data to display PDF documents with certain encodings and characters [pending] installing potrace... installing t1lib... installing zziplib... installing texlive-bin... Optional dependencies for texlive-bin psutils: to manipulate the output of dvips installing texlive-basic... Optional dependencies for texlive-basic perl-tk: for the tlmgr GUI biber: for bibliography processing installing jbig2dec... installing ijs... installing libidn... installing poppler-data... installing ghostscript... Optional dependencies for ghostscript gtk3: needed for gsx [installed] installing woff2... installing dvisvgm... Optional dependencies for dvisvgm mupdf-tools: to process PDF files installing texlive-latex... installing texlive-latexrecommended... installing texlive-pictures... Optional dependencies for texlive-pictures ghostscript: for epspdf [installed] installing texlive-latexextra... Optional dependencies for texlive-latexextra java-runtime: for pdfannotextractor [pending] python-pygments: for pygmentex [pending] installing texlive-fontsextra... installing texlive-fontsrecommended... installing texlive-mathscience... installing texlive-binextra... Optional dependencies for texlive-binextra ed: for texconfig dialog: for texconfig java-runtime: for utilities like arara, texplate [pending] perl-tk: for texdoctk perl-yaml-tiny: for latexindent perl-file-homedir: for latexindent perl-ipc-system-simple: for latex-git-log python: for de-macro, dviasm, pythontex [installed] texlive-latexrecommended: for pdfjam [installed] wdiff: for texdiff installing bc... installing netpbm... installing fig2dev... installing fftw... Optional dependencies for fftw fftw-openmpi: for OpenMPI integration installing liblqr... installing libraqm... installing imagemagick... Optional dependencies for imagemagick ghostscript: PS/PDF support [installed] jbigkit: JBIG support [installed] libheif: HEIF support [installed] libjpeg-turbo: JPEG support [installed] libjxl: JPEG XL support libraw: DNG support librsvg: SVG support [installed] libtiff: TIFF support [installed] libwebp: WEBP support [installed] libwmf: WMF support libzip: OpenRaster support ocl-icd: OpenCL support openexr: OpenEXR support openjpeg2: JPEG2000 support [installed] djvulibre: DJVU support pango: Text rendering [installed] installing hevea... installing python-pytz... installing python-babel... installing python-docutils... installing python-imagesize... installing python-markupsafe... installing python-jinja... Optional dependencies for python-jinja python-babel: for i18n support [installed] installing python-packaging... installing python-pygments... installing python-charset-normalizer... installing python-idna... installing python-requests... Optional dependencies for python-requests python-chardet: alternative character encoding library python-pysocks: SOCKS proxy support installing python-snowballstemmer... Optional dependencies for python-snowballstemmer python-pystemmer: for improved performance installing python-sphinx-alabaster-theme... installing python-sphinxcontrib-applehelp... installing python-sphinxcontrib-devhelp... installing python-sphinxcontrib-htmlhelp... installing python-sphinxcontrib-jsmath... installing python-sphinxcontrib-qthelp... installing python-sphinxcontrib-serializinghtml... installing python-sphinx... Optional dependencies for python-sphinx imagemagick: for ext.imgconverter [installed] texlive-latexextra: for generation of PDF documentation [installed] installing python-sphinxcontrib-jquery... installing python-sphinx_rtd_theme... installing python-ptyprocess... installing python-pexpect... installing python-soupsieve... installing python-beautifulsoup4... Optional dependencies for python-beautifulsoup4 python-chardet: to autodetect character encodings python-lxml: alternative HTML parser python-html5lib: alternative HTML parser installing python-more-itertools... installing python-jaraco.functools... installing python-jaraco.context... installing python-autocommand... installing python-annotated-types... installing python-typing_extensions... installing python-pydantic-core... installing python-pydantic... Optional dependencies for python-pydantic mypy: for type validation with mypy python-dotenv: for .env file support python-email-validator: for email validation python-hypothesis: for hypothesis plugin when using legacy v1 installing python-inflect... installing python-jaraco.text... installing python-ordered-set... installing python-platformdirs... installing python-tomli... installing python-fastjsonschema... installing python-trove-classifiers... installing python-validate-pyproject... installing python-setuptools... installing python-latexcodec... installing python-pybtex... installing python-pybtex-docutils... installing python-sphinxcontrib-bibtex... installing java-runtime-common... For the complete set of Java binaries to be available in your PATH, you need to re-login or source /etc/profile.d/jre.sh Please note that this package does not support forcing JAVA_HOME as former package java-common did installing libnet... installing java-environment-common... installing jdk-openjdk... Optional dependencies for jdk-openjdk java-rhino: for some JavaScript support alsa-lib: for basic sound support gtk2: for the Gtk+ 2 look and feel - desktop usage gtk3: for the Gtk+ 3 look and feel - desktop usage [installed] installing antlr4... :: Running post-transaction hooks... ( 1/19) Creating system user accounts... Suggested group ID 8 for mem already used. Creating group 'mem' with GID 997. Creating group 'ftp' with GID 11. Creating group 'log' with GID 19. Suggested group ID 25 for smmsp already used. Creating group 'smmsp' with GID 996. Suggested group ID 26 for proc already used. Creating group 'proc' with GID 995. Creating group 'lock' with GID 54. Creating group 'network' with GID 90. Creating group 'scanner' with GID 96. Creating group 'power' with GID 98. Suggested group ID 65534 for nobody already used. Creating group 'nobody' with GID 994. Creating group 'wheel' with GID 993. Creating group 'optical' with GID 992. Creating group 'storage' with GID 991. Creating group 'groups' with GID 990. Creating group 'rfkill' with GID 989. Creating user 'ftp' (n/a) with UID 14 and GID 11. Creating group 'http' with GID 988. Suggested user ID 33 for http already used. Creating user 'http' (n/a) with UID 988 and GID 988. Creating group 'avahi' with GID 987. Creating user 'avahi' (Avahi mDNS/DNS-SD daemon) with UID 987 and GID 987. Creating group 'dbus' with GID 81. Creating user 'dbus' (System Message Bus) with UID 81 and GID 81. Creating group 'git' with GID 986. Creating user 'git' (git daemon user) with UID 986 and GID 986. Creating group 'systemd-journal-remote' with GID 985. Creating user 'systemd-journal-remote' (systemd Journal Remote) with UID 985 and GID 985. Creating group 'tss' with GID 984. Creating user 'tss' (tss user for tpm2) with UID 984 and GID 984. Creating group 'uuidd' with GID 68. Creating user 'uuidd' (n/a) with UID 68 and GID 68. ( 2/19) Reloading system manager configuration... Skipped: Running in chroot. ( 3/19) Reloading user manager configuration... Skipped: Running in chroot. ( 4/19) Arming ConditionNeedsUpdate... ( 5/19) Updating the MIME type database... ( 6/19) Updating fontconfig configuration... ( 7/19) Updating TeXLive filename database... ( 8/19) Updating TeXLive format files... ( 9/19) Updating TeXLive font maps... (10/19) Reloading system bus configuration... Skipped: Running in chroot. (11/19) Warn about old perl modules (12/19) Updating fontconfig cache... (13/19) Probing GDK-Pixbuf loader modules... (14/19) Updating GIO module cache... (15/19) Compiling GSettings XML schema files... (16/19) Probing GTK3 input method modules... (17/19) Updating icon theme caches... (18/19) Updating the info directory file... (19/19) Updating the desktop file MIME type cache... ==> Retrieving sources... -> Downloading coq-8.19.1.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 3168k 0 3168k 0 0 4546k 0 --:--:-- --:--:-- --:--:-- 4546k 100 7496k 0 7496k 0 0 5719k 0 --:--:-- 0:00:01 --:--:-- 7060k -> Downloading python-antlr4-4.9.3.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 2126k 0 2126k 0 0 5919k 0 --:--:-- --:--:-- --:--:-- 5919k 100 4531k 0 4531k 0 0 6736k 0 --:--:-- --:--:-- --:--:-- 7682k ==> Validating source files with sha256sums... coq-8.19.1.tar.gz ... Passed python-antlr4-4.9.3.tar.gz ... Passed ==> Extracting sources... -> Extracting coq-8.19.1.tar.gz with bsdtar -> Extracting python-antlr4-4.9.3.tar.gz with bsdtar ==> Starting build()... [coqide] Generating desktop file... ok running build running build_py creating build creating build/lib creating build/lib/antlr4 copying src/antlr4/__init__.py -> build/lib/antlr4 copying src/antlr4/Utils.py -> build/lib/antlr4 copying src/antlr4/TokenStreamRewriter.py -> build/lib/antlr4 copying src/antlr4/Token.py -> build/lib/antlr4 copying src/antlr4/StdinStream.py -> build/lib/antlr4 copying src/antlr4/RuleContext.py -> build/lib/antlr4 copying src/antlr4/Recognizer.py -> build/lib/antlr4 copying src/antlr4/PredictionContext.py -> build/lib/antlr4 copying src/antlr4/ParserRuleContext.py -> build/lib/antlr4 copying src/antlr4/ParserInterpreter.py -> build/lib/antlr4 copying src/antlr4/Parser.py -> build/lib/antlr4 copying src/antlr4/ListTokenSource.py -> build/lib/antlr4 copying src/antlr4/Lexer.py -> build/lib/antlr4 copying src/antlr4/LL1Analyzer.py -> build/lib/antlr4 copying src/antlr4/IntervalSet.py -> build/lib/antlr4 copying src/antlr4/InputStream.py -> build/lib/antlr4 copying src/antlr4/FileStream.py -> build/lib/antlr4 copying src/antlr4/CommonTokenStream.py -> build/lib/antlr4 copying src/antlr4/CommonTokenFactory.py -> build/lib/antlr4 copying src/antlr4/BufferedTokenStream.py -> build/lib/antlr4 creating build/lib/antlr4/atn copying src/antlr4/atn/__init__.py -> build/lib/antlr4/atn copying src/antlr4/atn/Transition.py -> build/lib/antlr4/atn copying src/antlr4/atn/SemanticContext.py -> build/lib/antlr4/atn copying src/antlr4/atn/PredictionMode.py -> build/lib/antlr4/atn copying src/antlr4/atn/ParserATNSimulator.py -> build/lib/antlr4/atn copying src/antlr4/atn/LexerActionExecutor.py -> build/lib/antlr4/atn copying src/antlr4/atn/LexerAction.py -> build/lib/antlr4/atn copying src/antlr4/atn/LexerATNSimulator.py -> build/lib/antlr4/atn copying src/antlr4/atn/ATNType.py -> build/lib/antlr4/atn copying src/antlr4/atn/ATNState.py -> build/lib/antlr4/atn copying src/antlr4/atn/ATNSimulator.py -> build/lib/antlr4/atn copying src/antlr4/atn/ATNDeserializer.py -> build/lib/antlr4/atn copying src/antlr4/atn/ATNDeserializationOptions.py -> build/lib/antlr4/atn copying src/antlr4/atn/ATNConfigSet.py -> build/lib/antlr4/atn copying src/antlr4/atn/ATNConfig.py -> build/lib/antlr4/atn copying src/antlr4/atn/ATN.py -> build/lib/antlr4/atn creating build/lib/antlr4/dfa copying src/antlr4/dfa/__init__.py -> build/lib/antlr4/dfa copying src/antlr4/dfa/DFAState.py -> build/lib/antlr4/dfa copying src/antlr4/dfa/DFASerializer.py -> build/lib/antlr4/dfa copying src/antlr4/dfa/DFA.py -> build/lib/antlr4/dfa creating build/lib/antlr4/tree copying src/antlr4/tree/__init__.py -> build/lib/antlr4/tree copying src/antlr4/tree/Trees.py -> build/lib/antlr4/tree copying src/antlr4/tree/Tree.py -> build/lib/antlr4/tree copying src/antlr4/tree/TokenTagToken.py -> build/lib/antlr4/tree copying src/antlr4/tree/RuleTagToken.py -> build/lib/antlr4/tree copying src/antlr4/tree/ParseTreePatternMatcher.py -> build/lib/antlr4/tree copying src/antlr4/tree/ParseTreePattern.py -> build/lib/antlr4/tree copying src/antlr4/tree/ParseTreeMatch.py -> build/lib/antlr4/tree copying src/antlr4/tree/Chunk.py -> build/lib/antlr4/tree creating build/lib/antlr4/error copying src/antlr4/error/__init__.py -> build/lib/antlr4/error copying src/antlr4/error/Errors.py -> build/lib/antlr4/error copying src/antlr4/error/ErrorStrategy.py -> build/lib/antlr4/error copying src/antlr4/error/ErrorListener.py -> build/lib/antlr4/error copying src/antlr4/error/DiagnosticErrorListener.py -> build/lib/antlr4/error creating build/lib/antlr4/xpath copying src/antlr4/xpath/__init__.py -> build/lib/antlr4/xpath copying src/antlr4/xpath/XPath.py -> build/lib/antlr4/xpath running build_scripts creating build/scripts-3.11 copying and adjusting bin/pygrun -> build/scripts-3.11 changing mode of build/scripts-3.11/pygrun from 644 to 755 dune build --root . theories_dune ltac2_dune touch .dune-stamp cp -a _build/default/theories_dune theories/dune && chmod +w theories/dune cp -a _build/default/ltac2_dune user-contrib/Ltac2/dune && chmod +w user-contrib/Ltac2/dune (cd _build/default && /usr/sbin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision dev/tools/make_git_revision.sh: line 12: hostname: command not found (cd _build/default/kernel/byterun && /usr/sbin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -g -fno-omit-frame-pointer -fPIC -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/ocaml/src=/usr/src/debug/ocaml -flto=auto -ffat-lto-objects -D_FILE_OFFSET_BITS=64 -O2 -fno-strict-aliasing -fwrapv -pthread -g -fno-omit-frame-pointer -fPIC -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/ocaml/src=/usr/src/debug/ocaml -flto=auto -ffat-lto-objects -Wall -Wno-unused -g -O2 -msse2 -mfpmath=sse -g -I /usr/lib/ocaml -o coq_interp.o -c coq_interp.c) coq_interp.c: In function 'coq_interprete': coq_interp.c:822:11: warning: assignment discards 'volatile' qualifier from pointer target type [-Wdiscarded-qualifiers] 822 | p = &Field(accu, 0); | ^ (cd _build/default && /usr/sbin/bash -e -u -o pipefail -c 'doc/stdlib/make-library-index doc/stdlib/index-list.html doc/stdlib/hidden-files') Building file index-list.prehtml... Done File "doc/stdlib/dune", line 43, characters 9-13: 43 | (files (html as html/stdlib)) ^^^^ Error: Error trying to read targets after a rule was run: - default/doc/coq-doc/html/stdlib: Unexpected file kind "S_DIR" (directory) (cd _build/default/doc && /usr/sbin/env sphinx-build -q -W -b html sphinx refman-html) ANTLR runtime and generated code versions disagree: 4.9.3!=4.7.2 File "doc/dune", line 66, characters 9-20: 66 | (files (refman-html as html/refman) (refman-pdf as pdf/refman)) ^^^^^^^^^^^ Error: Error trying to read targets after a rule was run: - default/doc/coq-doc/html/refman: Unexpected file kind "S_DIR" (directory) (cd _build/default/doc && /usr/sbin/env sphinx-build -q -W -b latex sphinx refman-pdf) ANTLR runtime and generated code versions disagree: 4.9.3!=4.7.2 File "doc/dune", line 41, characters 0-526: 41 | (rule 42 | (targets refman-pdf) 43 | (alias refman-pdf) .... 56 | (progn 57 | (run env sphinx-build -q %{env:SPHINXWARNOPT=-W} -b latex sphinx %{targets}) 58 | (chdir %{targets} (run make LATEXMKOPTS=-silent))))) (cd _build/default/doc/refman-pdf && /usr/sbin/make LATEXMKOPTS=-silent) latexmk -pdf -dvi- -ps- -silent 'CoqRefMan.tex' Rc files read: latexmkrc Latexmk: Run number 1 of rule 'pdflatex' This is XeTeX, Version 3.141592653-2.6-0.999995 (TeX Live 2023/Arch Linux) (preloaded format=xelatex) restricted \write18 enabled. I can't find the format file `xelatex.fmt'! Latexmk: Getting log file 'CoqRefMan.log' Collected error summary (may duplicate other messages): pdflatex: Run of rule 'pdflatex' gave a non-zero error code kpathsea: Running mktexfmt xelatex.fmt mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /etc/texmf/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /var/lib/jenkins/.texlive/texmf-config/web2c/fmtutil.cnf mktexfmt [INFO]: writing formats under /var/lib/jenkins/.texlive/texmf-var/web2c mktexfmt [INFO]: Did not find entry for byfmt=xelatex skipped mktexfmt [INFO]: disabled formats: 1 mktexfmt [INFO]: not selected formats: 20 mktexfmt [INFO]: total formats: 21 mktexfmt [INFO]: exiting with status 0 Latexmk: fls file doesn't appear to have been made. Latexmk: Couldn't read log file 'CoqRefMan.log': No such file or directory ---------------------- This message may duplicate earlier message. Latexmk: Failure in processing file 'CoqRefMan.tex': *LaTeX didn't generate the expected log file 'CoqRefMan.log' ---------------------- Latexmk: If appropriate, the -f option can be used to get latexmk to try to force complete processing. make: *** [Makefile:28: CoqRefMan.pdf] Error 12 ==> Entering fakeroot environment... ==> Starting package_coq()... ==> Tidying install... -> Removing empty directories... -> Removing libtool files... -> Purging unwanted files... -> Compressing man and info pages... ==> Checking for packaging issues... ==> WARNING: Package contains reference to $srcdir usr/bin/coqidetop.opt usr/bin/coqidetop.byte usr/bin/votour usr/bin/ocamllibdep usr/bin/csdpcert usr/bin/coqworkmgr usr/bin/coqworker.opt usr/bin/coqwc usr/bin/coqtop.opt usr/bin/coqtop.byte usr/bin/coqtop usr/bin/coqtimelog2html usr/bin/coqpp usr/bin/coqnative usr/bin/coqdoc usr/bin/coqdep usr/bin/coqchk usr/bin/coqc.byte usr/bin/coqc usr/bin/coq_makefile usr/bin/coq-tex usr/lib/coqide-server/protocol/protocol.cmxs usr/lib/coqide-server/core/core.cmxs usr/lib/stublibs/dllcoqrun_stubs.so usr/lib/stublibs/dllcoqperf_stubs.so usr/lib/coq-core/vm/libcoqrun_stubs.a usr/lib/coq-core/vernac/vernac.cmxs usr/lib/coq-core/vernac/vernac.cma usr/lib/coq-core/toplevel/toplevel.cmxs usr/lib/coq-core/top_printers/top_printers.cmxs usr/lib/coq-core/tactics/tactics.cmxs usr/lib/coq-core/sysinit/sysinit.cmxs usr/lib/coq-core/stm/stm.cmxs usr/lib/coq-core/stm/stm.cma usr/lib/coq-core/revision usr/lib/coq-core/proofs/proofs.cmxs usr/lib/coq-core/printing/printing.cmxs usr/lib/coq-core/pretyping/pretyping.cmxs usr/lib/coq-core/plugins/zify/zify_plugin.cmxs usr/lib/coq-core/plugins/tutorial/p3/tuto3_plugin.cmxs usr/lib/coq-core/plugins/tutorial/p2/tuto2_plugin.cmxs usr/lib/coq-core/plugins/tutorial/p1/tuto1_plugin.cmxs usr/lib/coq-core/plugins/tutorial/p0/tuto0_plugin.cmxs usr/lib/coq-core/plugins/tauto/tauto_plugin.cmxs usr/lib/coq-core/plugins/ssrmatching/ssrmatching_plugin.cmxs usr/lib/coq-core/plugins/ssreflect/ssreflect_plugin.cmxs usr/lib/coq-core/plugins/rtauto/rtauto_plugin.cmxs usr/lib/coq-core/plugins/ring/ring_plugin.cmxs usr/lib/coq-core/plugins/number_string_notation/number_string_notation_plugin.cmxs usr/lib/coq-core/plugins/nsatz/nsatz_plugin.cmxs usr/lib/coq-core/plugins/micromega/micromega_plugin.cmxs usr/lib/coq-core/plugins/ltac2/ltac2_plugin.cmxs usr/lib/coq-core/plugins/ltac/ltac_plugin.cmxs usr/lib/coq-core/plugins/ltac/ltac_plugin.a usr/lib/coq-core/plugins/funind/funind_plugin.cmxs usr/lib/coq-core/plugins/firstorder/firstorder_plugin.cmxs usr/lib/coq-core/plugins/extraction/extraction_plugin.cmxs usr/lib/coq-core/plugins/derive/derive_plugin.cmxs usr/lib/coq-core/plugins/cc/cc_plugin.cmxs usr/lib/coq-core/plugins/btauto/btauto_plugin.cmxs usr/lib/coq-core/perf/coqperf.cmxs usr/lib/coq-core/parsing/parsing.cmxs usr/lib/coq-core/library/library.cmxs usr/lib/coq-core/lib/lib.cmxs usr/lib/coq-core/lib/lib.cma usr/lib/coq-core/kernel/kernel.cmxs usr/lib/coq-core/kernel/kernel.cma usr/lib/coq-core/interp/interp.cmxs usr/lib/coq-core/interp/interp.cma usr/lib/coq-core/interp/interp.a usr/lib/coq-core/gramlib/gramlib.cmxs usr/lib/coq-core/engine/engine.cmxs usr/lib/coq-core/engine/engine.cma usr/lib/coq-core/coqworkmgrapi/coqworkmgrlib.cmxs usr/lib/coq-core/config/config.cmxs usr/lib/coq-core/config/coq_config.ml usr/lib/coq-core/config/coq_config.cmx usr/lib/coq-core/config/config.cma usr/lib/coq-core/config/config.a usr/lib/coq-core/clib/clib.cmxs usr/lib/coq-core/boot/boot.cmxs usr/lib/coq-core/boot/boot.a ==> Creating package "coq"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Starting package_coqide()... ==> Tidying install... -> Removing empty directories... -> Removing libtool files... -> Purging unwanted files... -> Compressing man and info pages... ==> Checking for packaging issues... ==> WARNING: Package contains reference to $srcdir usr/bin/coqide ==> Creating package "coqide"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Starting package_coq-doc()... ==> Tidying install... -> Removing empty directories... -> Removing libtool files... -> Purging unwanted files... -> Compressing man and info pages... ==> Checking for packaging issues... ==> WARNING: Package contains reference to $srcdir usr/share/doc/coq/html/refman/.doctrees/addendum/canonical-structures.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/extended-pattern-matching.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/extraction.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/generalized-rewriting.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/implicit-coercions.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/micromega.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/miscellaneous-extensions.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/nsatz.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/parallel-proof-processing.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/program.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/ring.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/sprop.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/type-classes.doctree usr/share/doc/coq/html/refman/.doctrees/addendum/universe-polymorphism.doctree usr/share/doc/coq/html/refman/.doctrees/appendix/history-and-changes/index.doctree usr/share/doc/coq/html/refman/.doctrees/appendix/indexes/index.doctree usr/share/doc/coq/html/refman/.doctrees/changes.doctree usr/share/doc/coq/html/refman/.doctrees/coq-attrindex.doctree usr/share/doc/coq/html/refman/.doctrees/coq-cmdindex.doctree usr/share/doc/coq/html/refman/.doctrees/coq-exnindex.doctree usr/share/doc/coq/html/refman/.doctrees/coq-optindex.doctree usr/share/doc/coq/html/refman/.doctrees/coq-tacindex.doctree usr/share/doc/coq/html/refman/.doctrees/genindex.doctree usr/share/doc/coq/html/refman/.doctrees/history.doctree usr/share/doc/coq/html/refman/.doctrees/index.doctree usr/share/doc/coq/html/refman/.doctrees/language/cic.doctree usr/share/doc/coq/html/refman/.doctrees/language/coq-library.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/assumptions.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/basic.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/coinductive.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/conversion.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/definitions.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/index.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/inductive.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/modules.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/primitive.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/records.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/sections.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/sorts.doctree usr/share/doc/coq/html/refman/.doctrees/language/core/variants.doctree usr/share/doc/coq/html/refman/.doctrees/language/extensions/arguments-command.doctree usr/share/doc/coq/html/refman/.doctrees/language/extensions/canonical.doctree usr/share/doc/coq/html/refman/.doctrees/language/extensions/evars.doctree usr/share/doc/coq/html/refman/.doctrees/language/extensions/implicit-arguments.doctree usr/share/doc/coq/html/refman/.doctrees/language/extensions/index.doctree usr/share/doc/coq/html/refman/.doctrees/language/extensions/match.doctree usr/share/doc/coq/html/refman/.doctrees/language/gallina-extensions.doctree usr/share/doc/coq/html/refman/.doctrees/language/gallina-specification-language.doctree usr/share/doc/coq/html/refman/.doctrees/language/module-system.doctree usr/share/doc/coq/html/refman/.doctrees/license.doctree usr/share/doc/coq/html/refman/.doctrees/practical-tools/coq-commands.doctree usr/share/doc/coq/html/refman/.doctrees/practical-tools/coqide.doctree usr/share/doc/coq/html/refman/.doctrees/practical-tools/utilities.doctree usr/share/doc/coq/html/refman/.doctrees/proof-engine/ltac.doctree usr/share/doc/coq/html/refman/.doctrees/proof-engine/ltac2.doctree usr/share/doc/coq/html/refman/.doctrees/proof-engine/proof-handling.doctree usr/share/doc/coq/html/refman/.doctrees/proof-engine/ssreflect-proof-language.doctree usr/share/doc/coq/html/refman/.doctrees/proof-engine/tactics.doctree usr/share/doc/coq/html/refman/.doctrees/proof-engine/vernacular-commands.doctree usr/share/doc/coq/html/refman/.doctrees/proofs/automatic-tactics/auto.doctree usr/share/doc/coq/html/refman/.doctrees/proofs/automatic-tactics/index.doctree usr/share/doc/coq/html/refman/.doctrees/proofs/automatic-tactics/logic.doctree usr/share/doc/coq/html/refman/.doctrees/proofs/creating-tactics/index.doctree usr/share/doc/coq/html/refman/.doctrees/proofs/writing-proofs/equality.doctree usr/share/doc/coq/html/refman/.doctrees/proofs/writing-proofs/index.doctree usr/share/doc/coq/html/refman/.doctrees/proofs/writing-proofs/proof-mode.doctree usr/share/doc/coq/html/refman/.doctrees/proofs/writing-proofs/reasoning-inductives.doctree usr/share/doc/coq/html/refman/.doctrees/proofs/writing-proofs/rewriting.doctree usr/share/doc/coq/html/refman/.doctrees/std-glossindex.doctree usr/share/doc/coq/html/refman/.doctrees/user-extensions/proof-schemes.doctree usr/share/doc/coq/html/refman/.doctrees/user-extensions/syntax-extensions.doctree usr/share/doc/coq/html/refman/.doctrees/using/libraries/funind.doctree usr/share/doc/coq/html/refman/.doctrees/using/libraries/index.doctree usr/share/doc/coq/html/refman/.doctrees/using/libraries/writing.doctree usr/share/doc/coq/html/refman/.doctrees/using/tools/coqdoc.doctree usr/share/doc/coq/html/refman/.doctrees/using/tools/index.doctree usr/share/doc/coq/html/refman/.doctrees/zebibliography.doctree usr/share/doc/coq/html/refman/.doctrees/environment.pickle ==> Creating package "coq-doc"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: coq 8.19.1-2 (Tue Mar 12 02:11:17 2024)