==> 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 388k 0 --:--:-- --:--:-- --:--:-- 389k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 11 8559k 11 999k 0 0 2672k 0 0:00:03 --:--:-- 0:00:03 2672k 100 8559k 100 8559k 0 0 19.7M 0 --:--:-- --:--:-- --:--:-- 19.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 417k 0 --:--:-- --:--:-- --:--:-- 419k :: Starting full system upgrade... there is nothing to do ==> Making package: coq 8.19.1-2 (Mon Apr 14 08:35:24 2025) ==> 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 134M 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 37.6M 100 37.6M 0 0 144M 0 --:--:-- --:--:-- --:--:-- 145M % Total % 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 67.0M 0 --:--:-- --:--:-- --:--:-- 72.4M 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 0 418k 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 418k 100 418k 0 0 347k 0 0:00:01 0:00:01 --:--:-- 347k 100 418k 100 418k 0 0 347k 0 0:00:01 0:00:01 --:--:-- 347k % Total % 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 1138k 0 --:--:-- --:--:-- --:--:-- 1139k % Total % 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 3712k 0 --:--:-- --:--:-- --:--:-- 4893k % Total % 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 27.5M 0 --:--:-- --:--:-- --:--:-- 30.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 52996 100 52996 0 0 7997k 0 --:--:-- --:--:-- --:--:-- 8625k % Total % 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 25.3M 0 --:--:-- --:--:-- --:--:-- 26.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 961k 100 961k 0 0 94.3M 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 631k 100 631k 0 0 58.3M 0 --:--:-- --:--:-- --:--:-- 61.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 516k 100 516k 0 0 54.8M 0 --:--:-- --:--:-- --:--:-- 56.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 85987 100 85987 0 0 50.7M 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 69.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 523k 100 523k 0 0 90.5M 0 --:--:-- --:--:-- --:--:-- 102M % Total % 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 53.0M 0 --:--:-- --:--:-- --:--:-- 60.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 130k 100 130k 0 0 12.7M 0 --:--:-- --:--:-- --:--:-- 14.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 242k 100 242k 0 0 27.9M 0 --:--:-- --:--:-- --:--:-- 29.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 27725 100 27725 0 0 21.2M 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 1723k 0 --:--:-- --:--:-- --:--:-- 1823k % Total % 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 86.5M 0 --:--:-- --:--:-- --:--:-- 90.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 2064k 100 2064k 0 0 114M 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 106k 100 106k 0 0 16.9M 0 --:--:-- --:--:-- --:--:-- 17.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 29880 100 29880 0 0 17.1M 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 5407k 0 --:--:-- --:--:-- --:--:-- 5487k % Total % 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 70.5M 0 --:--:-- --:--:-- --:--:-- 90.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 609k 100 609k 0 0 54.2M 0 --:--:-- --:--:-- --:--:-- 59.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 72969 100 72969 0 0 33.3M 0 --:--:-- --:--:-- --:--:-- 34.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 114k 100 114k 0 0 14.8M 0 --:--:-- --:--:-- --:--:-- 15.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 275k 100 275k 0 0 42.4M 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 61606 100 61606 0 0 29.7M 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 56.6M 0 --:--:-- --:--:-- --:--:-- 65.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2590k 100 2590k 0 0 127M 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 17820 100 17820 0 0 10.4M 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 37.7M 0 --:--:-- --:--:-- --:--:-- 38.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 218k 100 218k 0 0 27.7M 0 --:--:-- --:--:-- --:--:-- 30.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 934k 100 934k 0 0 95.1M 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 112k 100 112k 0 0 6122k 0 --:--:-- --:--:-- --:--:-- 6266k % Total % 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 13.2M 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 698k 100 698k 0 0 57.6M 0 --:--:-- --:--:-- --:--:-- 62.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 14194 100 14194 0 0 2614k 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 151k 100 151k 0 0 24.2M 0 --:--:-- --:--:-- --:--:-- 24.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 29760 100 29760 0 0 7161k 0 --:--:-- --:--:-- --:--:-- 7265k % Total % 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 2270k 0 --:--:-- --:--:-- --:--:-- 2335k % Total % 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 60.9M 0 --:--:-- --:--:-- --:--:-- 68.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 46684 100 46684 0 0 2352k 0 --:--:-- --:--:-- --:--:-- 2399k % Total % 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 111M 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 65934 100 65934 0 0 7117k 0 --:--:-- --:--:-- --:--:-- 8048k % Total % 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 33.1M 0 --:--:-- --:--:-- --:--:-- 35.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 186k 100 186k 0 0 61.3M 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 19643 100 19643 0 0 3598k 0 --:--:-- --:--:-- --:--:-- 3836k % Total % 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 51.8M 0 --:--:-- --:--:-- --:--:-- 52.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 276k 100 276k 0 0 33.1M 0 --:--:-- --:--:-- --:--:-- 33.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 22272 100 22272 0 0 3297k 0 --:--:-- --:--:-- --:--:-- 3625k % Total % 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 39.9M 0 --:--:-- --:--:-- --:--:-- 41.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 187k 100 187k 0 0 23.4M 0 --:--:-- --:--:-- --:--:-- 26.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 7378 100 7378 0 0 761k 0 --:--:-- --:--:-- --:--:-- 800k % Total % 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 831k 0 --:--:-- --:--:-- --:--:-- 952k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 15897 100 15897 0 0 2924k 0 --:--:-- --:--:-- --:--:-- 3104k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 23 31.6M 23 7595k 0 0 132M 0 --:--:-- --:--:-- --:--:-- 130M 100 31.6M 100 31.6M 0 0 140M 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 131k 100 131k 0 0 47.5M 0 --:--:-- --:--:-- --:--:-- 64.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 143k 100 143k 0 0 21.8M 0 --:--:-- --:--:-- --:--:-- 23.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 2233 100 2233 0 0 1710k 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 11.5M 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 122k 100 122k 0 0 20.0M 0 --:--:-- --:--:-- --:--:-- 23.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 18.4M 100 18.4M 0 0 137M 0 --:--:-- --:--:-- --:--:-- 137M % Total % 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 14.4M 0 --:--:-- --:--:-- --:--:-- 15.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 324k 100 324k 0 0 40.6M 0 --:--:-- --:--:-- --:--:-- 45.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 11889 100 11889 0 0 3450k 0 --:--:-- --:--:-- --:--:-- 3870k % Total % 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 1870k 0 --:--:-- --:--:-- --:--:-- 1886k % Total % 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 1235k 0 --:--:-- --:--:-- --:--:-- 1410k % Total % 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 62.7M 0 --:--:-- --:--:-- --:--:-- 66.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 208k 100 208k 0 0 64.8M 0 --:--:-- --:--:-- --:--:-- 67.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 27906 100 27906 0 0 3800k 0 --:--:-- --:--:-- --:--:-- 3893k % Total % 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 12.6M 0 --:--:-- --:--:-- --:--:-- 12.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 176k 100 176k 0 0 7789k 0 --:--:-- --:--:-- --:--:-- 8023k % Total % 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 3959k 0 --:--:-- --:--:-- --:--:-- 4048k % Total % 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 11.3M 0 --:--:-- --:--:-- --:--:-- 12.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 394k 100 394k 0 0 123M 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 147k 100 147k 0 0 21.9M 0 --:--:-- --:--:-- --:--:-- 23.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 721k 100 721k 0 0 74.0M 0 --:--:-- --:--:-- --:--:-- 78.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 8668k 100 8668k 0 0 147M 0 --:--:-- --:--:-- --:--:-- 148M % Total % 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 60.2M 0 --:--:-- --:--:-- --:--:-- 60.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 46 11.7M 46 5579k 0 0 100M 0 --:--:-- --:--:-- --:--:-- 99.0M 100 11.7M 100 11.7M 0 0 141M 0 --:--:-- --:--:-- --:--:-- 139M % Total % 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 25.1M 0 --:--:-- --:--:-- --:--:-- 29.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 49448 100 49448 0 0 7519k 0 --:--:-- --:--:-- --:--:-- 8048k % Total % 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 85.4M 0 --:--:-- --:--:-- --:--:-- 99.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 3 12.9M 3 437k 0 0 487k 0 0:00:27 --:--:-- 0:00:27 487k 30 12.9M 30 4070k 0 0 2137k 0 0:00:06 0:00:01 0:00:05 2136k 61 12.9M 61 8069k 0 0 2803k 0 0:00:04 0:00:02 0:00:02 2802k 91 12.9M 91 11.8M 0 0 3128k 0 0:00:04 0:00:03 0:00:01 3128k 100 12.9M 100 12.9M 0 0 3254k 0 0:00:04 0:00:04 --:--:-- 3254k % Total % 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 23.7M 0 --:--:-- --:--:-- --:--:-- 23.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 59458 100 59458 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 80339 100 80339 0 0 36.6M 0 --:--:-- --:--:-- --:--:-- 38.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 47005 100 47005 0 0 2237k 0 --:--:-- --:--:-- --:--:-- 2295k % Total % 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 40.3M 0 --:--:-- --:--:-- --:--:-- 43.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 72558 100 72558 0 0 9435k 0 --:--:-- --:--:-- --:--:-- 9.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 78181 100 78181 0 0 3784k 0 --:--:-- --:--:-- --:--:-- 3817k % Total % 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 40.2M 0 --:--:-- --:--:-- --:--:-- 42.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 2815k 100 2815k 0 0 98.3M 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 623k 100 623k 0 0 56.0M 0 --:--:-- --:--:-- --:--:-- 60.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 1595k 100 1595k 0 0 130M 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 2065k 100 2065k 0 0 57.0M 0 --:--:-- --:--:-- --:--:-- 57.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 308k 100 308k 0 0 17.3M 0 --:--:-- --:--:-- --:--:-- 17.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 145k 100 145k 0 0 8832k 0 --:--:-- --:--:-- --:--:-- 9069k % Total % 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 52.2M 0 --:--:-- --:--:-- --:--:-- 65.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 1727k 100 1727k 0 0 94.2M 0 --:--:-- --:--:-- --:--:-- 99.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 372k 100 372k 0 0 44.8M 0 --:--:-- --:--:-- --:--:-- 45.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 156k 100 156k 0 0 9636k 0 --:--:-- --:--:-- --:--:-- 9771k % Total % 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 524k 0 --:--:-- --:--:-- --:--:-- 534k % Total % 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 2074k 0 --:--:-- --:--:-- --:--:-- 2152k % Total % 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 1946k 0 --:--:-- --:--:-- --:--:-- 2082k % Total % 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 6302k 0 --:--:-- --:--:-- --:--:-- 6964k % Total % 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 8711k 0 --:--:-- --:--:-- --:--:-- 9526k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 52 354k 52 184k 0 0 629k 0 --:--:-- --:--:-- --:--:-- 628k 100 354k 100 354k 0 0 908k 0 --:--:-- --:--:-- --:--:-- 908k % Total % 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 95.3M 0 --:--:-- --:--:-- --:--:-- 96.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 197k 100 197k 0 0 60.4M 0 --:--:-- --:--:-- --:--:-- 64.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1619k 100 1619k 0 0 124M 0 --:--:-- --:--:-- --:--:-- 131M % Total % 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 109M 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 93258 100 93258 0 0 9808k 0 --:--:-- --:--:-- --:--:-- 9.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 670k 100 670k 0 0 91.3M 0 --:--:-- --:--:-- --:--:-- 93.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 66230 100 66230 0 0 36.2M 0 --:--:-- --:--:-- --:--:-- 63.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 11.9M 100 11.9M 0 0 129M 0 --:--:-- --:--:-- --:--:-- 130M % Total % 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 119M 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 64323 100 64323 0 0 10.9M 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 54345 100 54345 0 0 10.0M 0 --:--:-- --:--:-- --:--:-- 10.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 222k 100 222k 0 0 12.4M 0 --:--:-- --:--:-- --:--:-- 12.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 2014k 100 2014k 0 0 96.6M 0 --:--:-- --:--:-- --:--:-- 98.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 19.5M 100 19.5M 0 0 147M 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 58680 100 58680 0 0 3438k 0 --:--:-- --:--:-- --:--:-- 3581k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1028k 100 1028k 0 0 35.4M 0 --:--:-- --:--:-- --:--:-- 35.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 1254k 100 1254k 0 0 46.0M 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 2426k 100 2426k 0 0 119M 0 --:--:-- --:--:-- --:--:-- 124M % Total % 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 119M 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 24.0M 100 24.0M 0 0 131M 0 --:--:-- --:--:-- --:--:-- 131M % 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 435k 0 0 813k 0 0:11:08 --:--:-- 0:11:08 813k 0 531M 0 3625k 0 0 2356k 0 0:03:50 0:00:01 0:03:49 2355k 1 531M 1 6785k 0 0 2672k 0 0:03:23 0:00:02 0:03:21 2672k 1 531M 1 10.1M 0 0 2927k 0 0:03:05 0:00:03 0:03:02 2926k 2 531M 2 13.7M 0 0 3095k 0 0:02:55 0:00:04 0:02:51 3095k 3 531M 3 17.4M 0 0 3215k 0 0:02:49 0:00:05 0:02:44 3471k 3 531M 3 21.1M 0 0 3302k 0 0:02:44 0:00:06 0:02:38 3592k 4 531M 4 24.8M 0 0 3365k 0 0:02:41 0:00:07 0:02:34 3716k 5 531M 5 28.5M 0 0 3414k 0 0:02:39 0:00:08 0:02:31 3758k 6 531M 6 32.3M 0 0 3456k 0 0:02:37 0:00:09 0:02:28 3782k 6 531M 6 36.1M 0 0 3496k 0 0:02:35 0:00:10 0:02:25 3807k 7 531M 7 40.0M 0 0 3540k 0 0:02:33 0:00:11 0:02:22 3852k 8 531M 8 44.2M 0 0 3595k 0 0:02:31 0:00:12 0:02:19 3941k 9 531M 9 48.6M 0 0 3665k 0 0:02:28 0:00:13 0:02:15 4094k 10 531M 10 53.5M 0 0 3757k 0 0:02:24 0:00:14 0:02:10 4331k 11 531M 11 59.0M 0 0 3875k 0 0:02:20 0:00:15 0:02:05 4672k 12 531M 12 65.2M 0 0 4024k 0 0:02:15 0:00:16 0:01:59 5139k 13 531M 13 72.4M 0 0 4210k 0 0:02:09 0:00:17 0:01:52 5752k 15 531M 15 80.7M 0 0 4438k 0 0:02:02 0:00:18 0:01:44 6530k 17 531M 17 90.3M 0 0 4714k 0 0:01:55 0:00:19 0:01:36 7496k 19 531M 19 101M 0 0 5042k 0 0:01:47 0:00:20 0:01:27 8668k 21 531M 21 114M 0 0 5428k 0 0:01:40 0:00:21 0:01:19 9.8M 23 531M 23 125M 0 0 5682k 0 0:01:35 0:00:22 0:01:13 10.6M 24 531M 24 132M 0 0 5769k 0 0:01:34 0:00:23 0:01:11 10.5M 26 531M 26 140M 0 0 5873k 0 0:01:32 0:00:24 0:01:08 10.2M 27 531M 27 148M 0 0 5952k 0 0:01:31 0:00:25 0:01:06 9780k 29 531M 29 157M 0 0 6065k 0 0:01:29 0:00:26 0:01:03 8880k 31 531M 31 166M 0 0 6177k 0 0:01:28 0:00:27 0:01:01 8411k 33 531M 33 175M 0 0 6285k 0 0:01:26 0:00:28 0:00:58 8709k 34 531M 34 182M 0 0 6321k 0 0:01:26 0:00:29 0:00:57 8512k 35 531M 35 189M 0 0 6343k 0 0:01:25 0:00:30 0:00:55 8331k 37 531M 37 196M 0 0 6375k 0 0:01:25 0:00:31 0:00:54 8009k 38 531M 38 204M 0 0 6413k 0 0:01:24 0:00:32 0:00:52 7703k 39 531M 39 211M 0 0 6453k 0 0:01:24 0:00:33 0:00:51 7408k 41 531M 41 219M 0 0 6493k 0 0:01:23 0:00:34 0:00:49 7509k 42 531M 42 227M 0 0 6533k 0 0:01:23 0:00:35 0:00:48 7686k 44 531M 44 234M 0 0 6570k 0 0:01:22 0:00:36 0:00:46 7794k 45 531M 45 242M 0 0 6605k 0 0:01:22 0:00:37 0:00:45 7853k 47 531M 47 250M 0 0 6639k 0 0:01:21 0:00:38 0:00:43 7882k 48 531M 48 258M 0 0 6672k 0 0:01:21 0:00:39 0:00:42 7903k 50 531M 50 266M 0 0 6706k 0 0:01:21 0:00:40 0:00:41 7937k 51 531M 51 274M 0 0 6743k 0 0:01:20 0:00:41 0:00:39 8003k 53 531M 53 282M 0 0 6785k 0 0:01:20 0:00:42 0:00:38 8126k 54 531M 54 291M 0 0 6832k 0 0:01:19 0:00:43 0:00:36 8313k 56 531M 56 300M 0 0 6890k 0 0:01:18 0:00:44 0:00:34 8606k 58 531M 58 310M 0 0 6978k 0 0:01:17 0:00:45 0:00:32 9219k 60 531M 60 321M 0 0 7064k 0 0:01:16 0:00:46 0:00:30 9774k 62 531M 62 330M 0 0 7096k 0 0:01:16 0:00:47 0:00:29 9719k 63 531M 63 336M 0 0 7104k 0 0:01:16 0:00:48 0:00:28 9522k 64 531M 64 343M 0 0 7092k 0 0:01:16 0:00:49 0:00:27 8929k 65 531M 65 349M 0 0 7088k 0 0:01:16 0:00:50 0:00:26 8086k 67 531M 67 356M 0 0 7089k 0 0:01:16 0:00:51 0:00:25 7320k 68 531M 68 363M 0 0 7093k 0 0:01:16 0:00:52 0:00:24 7056k 69 531M 69 371M 0 0 7097k 0 0:01:16 0:00:53 0:00:23 7035k 71 531M 71 378M 0 0 7101k 0 0:01:16 0:00:54 0:00:22 7190k 72 531M 72 385M 0 0 7106k 0 0:01:16 0:00:55 0:00:21 7288k 73 531M 73 392M 0 0 7110k 0 0:01:16 0:00:56 0:00:20 7335k 75 531M 75 400M 0 0 7116k 0 0:01:16 0:00:57 0:00:19 7353k 76 531M 76 407M 0 0 7121k 0 0:01:16 0:00:58 0:00:18 7377k 78 531M 78 414M 0 0 7129k 0 0:01:16 0:00:59 0:00:17 7439k 79 531M 79 422M 0 0 7140k 0 0:01:16 0:01:00 0:00:16 7514k 81 531M 81 430M 0 0 7155k 0 0:01:15 0:01:01 0:00:14 7659k 82 531M 82 438M 0 0 7177k 0 0:01:15 0:01:02 0:00:13 7883k 84 531M 84 447M 0 0 7207k 0 0:01:15 0:01:03 0:00:12 8209k 86 531M 86 457M 0 0 7248k 0 0:01:15 0:01:04 0:00:11 8660k 88 531M 88 467M 0 0 7302k 0 0:01:14 0:01:05 0:00:09 9263k 90 531M 90 479M 0 0 7371k 0 0:01:13 0:01:06 0:00:07 9.7M 92 531M 92 491M 0 0 7442k 0 0:01:13 0:01:07 0:00:06 10.4M 94 531M 94 499M 0 0 7451k 0 0:01:12 0:01:08 0:00:04 10.2M 95 531M 95 506M 0 0 7451k 0 0:01:12 0:01:09 0:00:03 9.8M 96 531M 96 514M 0 0 7471k 0 0:01:12 0:01:10 0:00:02 9725k 98 531M 98 522M 0 0 7475k 0 0:01:12 0:01:11 0:00:01 8888k 99 531M 99 530M 0 0 7486k 0 0:01:12 0:01:12 --:--:-- 8097k 100 531M 100 531M 0 0 7479k 0 0:01:12 0:01:12 --:--:-- 7953k % Total % 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 131M 0 --:--:-- --:--:-- --:--:-- 131M % Total % 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 94.1M 0 --:--:-- --:--:-- --:--:-- 95.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 7 91.3M 7 6571k 0 0 107M 0 --:--:-- --:--:-- --:--:-- 106M 100 91.3M 100 91.3M 0 0 142M 0 --:--:-- --:--:-- --:--:-- 142M % Total % 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 14.7M 0 --:--:-- --:--:-- --:--:-- 17.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 1306k 100 1306k 0 0 24.4M 0 --:--:-- --:--:-- --:--:-- 24.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 293k 100 293k 0 0 16.2M 0 --:--:-- --:--:-- --:--:-- 16.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 2762k 100 2762k 0 0 139M 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 32574 100 32574 0 0 2136k 0 --:--:-- --:--:-- --:--:-- 2272k % Total % 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 4600k 0 --:--:-- --:--:-- --:--:-- 4787k % Total % 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 133M 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 1606k 100 1606k 0 0 48.1M 0 --:--:-- --:--:-- --:--:-- 49.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 48385 100 48385 0 0 26.7M 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 157M 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 903k 100 903k 0 0 110M 0 --:--:-- --:--:-- --:--:-- 126M % Total % 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 1998k 0 --:--:-- --:--:-- --:--:-- 2070k % Total % 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 4420k 0 --:--:-- --:--:-- --:--:-- 5389k % Total % 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 42.1M 0 --:--:-- --:--:-- --:--:-- 48.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 104k 100 104k 0 0 16.5M 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 2329k 100 2329k 0 0 111M 0 --:--:-- --:--:-- --:--:-- 113M % Total % 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 5856k 0 --:--:-- --:--:-- --:--:-- 6199k % Total % 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 15.1M 0 --:--:-- --:--:-- --:--:-- 18.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 15.7M 0 --:--:-- --:--:-- --:--:-- 16.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 223k 100 223k 0 0 12.4M 0 --:--:-- --:--:-- --:--:-- 12.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 16938 100 16938 0 0 1470k 0 --:--:-- --:--:-- --:--:-- 1503k % Total % 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 4703k 0 --:--:-- --:--:-- --:--:-- 4892k % Total % 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 3621k 0 --:--:-- --:--:-- --:--:-- 3830k % Total % 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 7403k 0 --:--:-- --:--:-- --:--:-- 7811k % Total % 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 862k 0 --:--:-- --:--:-- --:--:-- 872k % Total % 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 4402k 0 --:--:-- --:--:-- --:--:-- 4628k % Total % 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 4655k 0 --:--:-- --:--:-- --:--:-- 5365k % Total % 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 94.9M 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 107k 100 107k 0 0 14.6M 0 --:--:-- --:--:-- --:--:-- 14.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2546k 100 2546k 0 0 129M 0 --:--:-- --:--:-- --:--:-- 130M % Total % 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 5224k 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 100k 100 100k 0 0 16.2M 0 --:--:-- --:--:-- --:--:-- 19.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 88406 100 88406 0 0 11.1M 0 --:--:-- --:--:-- --:--:-- 12.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 271k 100 271k 0 0 76.2M 0 --:--:-- --:--:-- --:--:-- 88.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 99813 100 99813 0 0 5971k 0 --:--:-- --:--:-- --:--:-- 6092k % Total % 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 3238k 0 --:--:-- --:--:-- --:--:-- 3418k % Total % 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 2154k 0 --:--:-- --:--:-- --:--:-- 2281k % Total % 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 3102k 0 --:--:-- --:--:-- --:--:-- 3197k % Total % 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 6235k 0 --:--:-- --:--:-- --:--:-- 7066k % Total % 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 11.1M 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 1608k 100 1608k 0 0 118M 0 --:--:-- --:--:-- --:--:-- 120M % Total % 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 93.4M 0 --:--:-- --:--:-- --:--:-- 102M % Total % 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 7784k 0 --:--:-- --:--:-- --:--:-- 8560k % Total % 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 15.6M 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 2928k 0 --:--:-- --:--:-- --:--:-- 3160k % Total % 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 3737k 0 --:--:-- --:--:-- --:--:-- 4010k % Total % 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 2629k 0 --:--:-- --:--:-- --:--:-- 2757k % Total % 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 9055k 0 --:--:-- --:--:-- --:--:-- 9.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 15460 100 15460 0 0 2715k 0 --:--:-- --:--:-- --:--:-- 3019k % Total % 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 9.9M 0 --:--:-- --:--:-- --:--:-- 11.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 774k 100 774k 0 0 78.9M 0 --:--:-- --:--:-- --:--:-- 84.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 34166 100 34166 0 0 3911k 0 --:--:-- --:--:-- --:--:-- 4170k % Total % 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 10.2M 0 --:--:-- --:--:-- --:--:-- 10.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 12823 100 12823 0 0 2209k 0 --:--:-- --:--:-- --:--:-- 2504k % Total % 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 5256k 0 --:--:-- --:--:-- --:--:-- 5632k % Total % 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 322k 0 --:--:-- --:--:-- --:--:-- 330k % Total % 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 38.2M 0 --:--:-- --:--:-- --:--:-- 41.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 2628 100 2628 0 0 372k 0 --:--:-- --:--:-- --:--:-- 427k % 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 132k 0 0 188k 0 0:36:50 --:--:-- 0:36:50 188k 0 406M 0 3315k 0 0 1938k 0 0:03:34 0:00:01 0:03:33 1937k 2 406M 2 8664k 0 0 3191k 0 0:02:10 0:00:02 0:02:08 3190k 3 406M 3 14.0M 0 0 3871k 0 0:01:47 0:00:03 0:01:44 3871k 4 406M 4 19.8M 0 0 4310k 0 0:01:36 0:00:04 0:01:32 4310k 6 406M 6 25.8M 0 0 4620k 0 0:01:30 0:00:05 0:01:25 5241k 7 406M 7 31.9M 0 0 4854k 0 0:01:25 0:00:06 0:01:19 5846k 9 406M 9 38.0M 0 0 5031k 0 0:01:22 0:00:07 0:01:15 6025k 10 406M 10 44.1M 0 0 5167k 0 0:01:20 0:00:08 0:01:12 6127k 12 406M 12 50.2M 0 0 5276k 0 0:01:18 0:00:09 0:01:09 6184k 13 406M 13 56.3M 0 0 5365k 0 0:01:17 0:00:10 0:01:07 6214k 15 406M 15 62.5M 0 0 5443k 0 0:01:16 0:00:11 0:01:05 6233k 16 406M 16 68.8M 0 0 5517k 0 0:01:15 0:00:12 0:01:03 6266k 18 406M 18 75.2M 0 0 5593k 0 0:01:14 0:00:13 0:01:01 6336k 20 406M 20 81.9M 0 0 5678k 0 0:01:13 0:00:14 0:00:59 6460k 21 406M 21 89.0M 0 0 5778k 0 0:01:12 0:00:15 0:00:57 6663k 23 406M 23 96.7M 0 0 5898k 0 0:01:10 0:00:16 0:00:54 6963k 25 406M 25 105M 0 0 6042k 0 0:01:08 0:00:17 0:00:51 7378k 28 406M 28 114M 0 0 6219k 0 0:01:06 0:00:18 0:00:48 7933k 30 406M 30 124M 0 0 6431k 0 0:01:04 0:00:19 0:00:45 8645k 33 406M 33 135M 0 0 6686k 0 0:01:02 0:00:20 0:00:42 9536k 36 406M 36 148M 0 0 6987k 0 0:00:59 0:00:21 0:00:38 10.3M 40 406M 40 163M 0 0 7366k 0 0:00:56 0:00:22 0:00:34 11.8M 42 406M 42 173M 0 0 7476k 0 0:00:55 0:00:23 0:00:32 12.0M 44 406M 44 179M 0 0 7455k 0 0:00:55 0:00:24 0:00:31 11.3M 45 406M 45 185M 0 0 7397k 0 0:00:56 0:00:25 0:00:31 10.1M 46 406M 46 190M 0 0 7302k 0 0:00:57 0:00:26 0:00:31 8709k 47 406M 47 195M 0 0 7216k 0 0:00:57 0:00:27 0:00:30 6536k 49 406M 49 200M 0 0 7150k 0 0:00:58 0:00:28 0:00:30 5595k 50 406M 50 205M 0 0 7091k 0 0:00:58 0:00:29 0:00:29 5289k 51 406M 51 211M 0 0 7039k 0 0:00:59 0:00:30 0:00:29 5191k 53 406M 53 216M 0 0 6992k 0 0:00:59 0:00:31 0:00:28 5336k 54 406M 54 221M 0 0 6947k 0 0:00:59 0:00:32 0:00:27 5460k 55 406M 55 227M 0 0 6905k 0 0:01:00 0:00:33 0:00:27 5506k 57 406M 57 232M 0 0 6866k 0 0:01:00 0:00:34 0:00:26 5531k 58 406M 58 238M 0 0 6830k 0 0:01:00 0:00:35 0:00:25 5553k 59 406M 59 243M 0 0 6785k 0 0:01:01 0:00:36 0:00:25 5482k 60 406M 60 247M 0 0 6722k 0 0:01:01 0:00:37 0:00:24 5261k 62 406M 62 252M 0 0 6675k 0 0:01:02 0:00:38 0:00:24 5133k 63 406M 63 257M 0 0 6638k 0 0:01:02 0:00:39 0:00:23 5069k 64 406M 64 263M 0 0 6610k 0 0:01:03 0:00:40 0:00:23 5043k 66 406M 66 268M 0 0 6586k 0 0:01:03 0:00:41 0:00:22 5133k 67 406M 67 274M 0 0 6564k 0 0:01:03 0:00:42 0:00:21 5382k 68 406M 68 279M 0 0 6545k 0 0:01:03 0:00:43 0:00:20 5551k 70 406M 70 285M 0 0 6541k 0 0:01:03 0:00:44 0:00:19 5759k 71 406M 71 290M 0 0 6519k 0 0:01:03 0:00:45 0:00:18 5771k 72 406M 72 296M 0 0 6503k 0 0:01:04 0:00:46 0:00:18 5796k 74 406M 74 302M 0 0 6488k 0 0:01:04 0:00:47 0:00:17 5822k 75 406M 75 307M 0 0 6467k 0 0:01:04 0:00:48 0:00:16 5767k 77 406M 77 313M 0 0 6456k 0 0:01:04 0:00:49 0:00:15 5701k 78 406M 78 319M 0 0 6453k 0 0:01:04 0:00:50 0:00:14 5851k 80 406M 80 326M 0 0 6459k 0 0:01:04 0:00:51 0:00:13 6049k 81 406M 81 333M 0 0 6473k 0 0:01:04 0:00:52 0:00:12 6331k 84 406M 84 342M 0 0 6515k 0 0:01:03 0:00:53 0:00:10 6981k 85 406M 85 349M 0 0 6541k 0 0:01:03 0:00:54 0:00:09 7378k 88 406M 88 359M 0 0 6605k 0 0:01:03 0:00:55 0:00:08 8149k 90 406M 90 369M 0 0 6660k 0 0:01:02 0:00:56 0:00:06 8716k 92 406M 92 377M 0 0 6695k 0 0:01:02 0:00:57 0:00:05 9038k 95 406M 95 386M 0 0 6740k 0 0:01:01 0:00:58 0:00:03 9176k 97 406M 97 396M 0 0 6797k 0 0:01:01 0:00:59 0:00:02 9602k 100 406M 100 406M 0 0 6868k 0 0:01:00 0:01:00 --:--:-- 9823k % 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 1893k 44 847k 0 0 19.2M 0 --:--:-- --:--:-- --:--:-- 19.2M 100 1893k 100 1893k 0 0 34.0M 0 --:--:-- --:--:-- --:--:-- 33.6M 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 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 6448k 0 6448k 0 0 5721k 0 --:--:-- 0:00:01 --:--:-- 5721k 100 7496k 0 7496k 0 0 5813k 0 --:--:-- 0:00:01 --:--:-- 6469k -> 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 4498k 0 4498k 0 0 5919k 0 --:--:-- --:--:-- --:--:-- 5919k 100 4531k 0 4531k 0 0 5927k 0 --:--:-- --:--:-- --:--:-- 8203k ==> WARNING: Skipping verification of source file PGP signatures. ==> 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 (Mon Apr 14 08:57:26 2025)