[hsct]: Error: Configuration not found. Maybe you need to run init first?
>>> Fetching sources...
filename:'mpfr-3.1.1.tar.bz2' url:'http://www.mpfr.org/mpfr-3.1.1/mpfr-3.1.1.tar.bz2'
     -> Fetching mpfr-3.1.1.tar.bz2...
URL transformed to HTTPS due to an HSTS policy
--2025-11-29 01:23:02--  https://www.mpfr.org/mpfr-3.1.1/mpfr-3.1.1.tar.bz2
Resolving www.mpfr.org (www.mpfr.org)... 128.93.162.51
Connecting to www.mpfr.org (www.mpfr.org)|128.93.162.51|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 1218825 (1.2M) [application/x-bzip2]
Saving to: ‘/var/helenos/nightly/tmp-ci/mirror/sources/mpfr-3.1.1.tar.bz2’

     0K .......... .......... .......... .......... ..........  4% 1000K 1s
    50K .......... .......... .......... .......... ..........  8% 1.94M 1s
   100K .......... .......... .......... .......... .......... 12%  130M 1s
   150K .......... .......... .......... .......... .......... 16% 1.97M 0s
   200K .......... .......... .......... .......... .......... 21%  167M 0s
   250K .......... .......... .......... .......... .......... 25%  100M 0s
   300K .......... .......... .......... .......... .......... 29%  650K 0s
   350K .......... .......... .......... .......... .......... 33%  199M 0s
   400K .......... .......... .......... .......... .......... 37%  194M 0s
   450K .......... .......... .......... .......... .......... 42%  395M 0s
   500K .......... .......... .......... .......... .......... 46%  303M 0s
   550K .......... .......... .......... .......... .......... 50%  328M 0s
   600K .......... .......... .......... .......... .......... 54%  308M 0s
   650K .......... .......... .......... .......... .......... 58%  451M 0s
   700K .......... .......... .......... .......... .......... 63%  405M 0s
   750K .......... .......... .......... .......... .......... 67%  406M 0s
   800K .......... .......... .......... .......... .......... 71%  181M 0s
   850K .......... .......... .......... .......... .......... 75%  409M 0s
   900K .......... .......... .......... .......... .......... 79%  401M 0s
   950K .......... .......... .......... .......... .......... 84%  455M 0s
  1000K .......... .......... .......... .......... .......... 88% 2.11M 0s
  1050K .......... .......... .......... .......... .......... 92% 93.4M 0s
  1100K .......... .......... .......... .......... .......... 96% 97.8M 0s
  1150K .......... .......... .......... ..........           100%  187M=0.2s

2025-11-29 01:23:02 (5.68 MB/s) - ‘/var/helenos/nightly/tmp-ci/mirror/sources/mpfr-3.1.1.tar.bz2’ saved [1218825/1218825]