[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-10-12 02:03:44--  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%  993K 1s
    50K .......... .......... .......... .......... ..........  8% 1.95M 1s
   100K .......... .......... .......... .......... .......... 12%  125M 1s
   150K .......... .......... .......... .......... .......... 16% 1.98M 0s
   200K .......... .......... .......... .......... .......... 21%  134M 0s
   250K .......... .......... .......... .......... .......... 25%  109M 0s
   300K .......... .......... .......... .......... .......... 29% 2.03M 0s
   350K .......... .......... .......... .......... .......... 33%  158M 0s
   400K .......... .......... .......... .......... .......... 37% 88.5M 0s
   450K .......... .......... .......... .......... .......... 42%  119M 0s
   500K .......... .......... .......... .......... .......... 46% 88.8M 0s
   550K .......... .......... .......... .......... .......... 50%  944K 0s
   600K .......... .......... .......... .......... .......... 54%  276M 0s
   650K .......... .......... .......... .......... .......... 58%  425M 0s
   700K .......... .......... .......... .......... .......... 63%  434M 0s
   750K .......... .......... .......... .......... .......... 67%  392M 0s
   800K .......... .......... .......... .......... .......... 71%  267M 0s
   850K .......... .......... .......... .......... .......... 75%  443M 0s
   900K .......... .......... .......... .......... .......... 79%  394M 0s
   950K .......... .......... .......... .......... .......... 84%  444M 0s
  1000K .......... .......... .......... .......... .......... 88%  378M 0s
  1050K .......... .......... .......... .......... .......... 92%  447M 0s
  1100K .......... .......... .......... .......... .......... 96%  463M 0s
  1150K .......... .......... .......... ..........           100%  388M=0.2s

2025-10-12 02:03:44 (6.40 MB/s) - ‘/var/helenos/nightly/tmp-ci/mirror/sources/mpfr-3.1.1.tar.bz2’ saved [1218825/1218825]