==>(B Building on glalie(B ==>(B Checking for remote environment...(B ==>(B Syncing package to remote host...(B sending incremental file list created directory packages/rocq ./ .SRCINFO 1,630 100% 0.00kB/s 0:00:00 1,630 100% 0.00kB/s 0:00:00 (xfr#1, to-chk=10/12) .nvchecker.toml 114 100% 111.33kB/s 0:00:00 114 100% 111.33kB/s 0:00:00 (xfr#2, to-chk=9/12) LICENSE 646 100% 630.86kB/s 0:00:00 646 100% 630.86kB/s 0:00:00 (xfr#3, to-chk=8/12) PKGBUILD 2,813 100% 2.68MB/s 0:00:00 2,813 100% 2.68MB/s 0:00:00 (xfr#4, to-chk=7/12) REUSE.toml 527 100% 514.65kB/s 0:00:00 527 100% 514.65kB/s 0:00:00 (xfr#5, to-chk=6/12) rocq-9.2.0-1.log 742 100% 724.61kB/s 0:00:00 742 100% 724.61kB/s 0:00:00 (xfr#6, to-chk=5/12) rocqide.desktop 176 100% 171.88kB/s 0:00:00 176 100% 171.88kB/s 0:00:00 (xfr#7, to-chk=4/12) use-rocq-build-language.patch 2,090 100% 1.99MB/s 0:00:00 2,090 100% 1.99MB/s 0:00:00 (xfr#8, to-chk=3/12) LICENSES/ LICENSES/0BSD.txt -> ../LICENSE LICENSES/LGPL-2.1-only.txt 26,001 100% 4.96MB/s 0:00:00 26,001 100% 4.96MB/s 0:00:00 (xfr#9, to-chk=0/12) sent 13,865 bytes received 241 bytes 9,404.00 bytes/sec total size is 34,212 speedup is 2.43 ==>(B Applying RISC-V patches...(B sending incremental file list ./ dune-3.24.patch 1,240 100% 0.00kB/s 0:00:00 1,240 100% 0.00kB/s 0:00:00 (xfr#1, to-chk=1/3) riscv64.patch 328 100% 320.31kB/s 0:00:00 328 100% 320.31kB/s 0:00:00 (xfr#2, to-chk=0/3) sent 1,002 bytes received 57 bytes 706.00 bytes/sec total size is 1,568 speedup is 1.48 patching file PKGBUILD Hunk #1 succeeded at 60 (offset 12 lines). Hunk #2 succeeded at 125 (offset 11 lines). ==>(B Patching arch to riscv64...(B ==>(B Running pkgctl build --arch riscv64 on remote host...(B ==> WARNING:(B invalid architecture: riscv64(B ==>(B Updating pacman database cache(B [?25l:: Synchronizing package databases... core downloading... extra downloading... multilib downloading... [?25h==>(B Building rocq(B  ->(B repo: extra(B  ->(B arch: riscv64(B  ->(B worker: felix-6(B ==>(B Building rocq for [extra] (riscv64)(B ]3008;start=e2e43c79e35b48f9a751f864d7c0f868;user=felix;hostname=glalie.felixc.at;machineid=72144a64db6f4720ade5ccd1e3c98c82;bootid=6cea8b62742f4ee3974d081bce50550c;pid=2878417;comm=sudo;targetuser=root;type=session\==>(B Locking clean chroot...(Bdone(B Note: in a future version of systemd-nspawn the default set of permitted socket address families will be restricted to AF_INET, AF_INET6 and AF_UNIX. Use --restrict-address-families= to configure the set of permitted socket address families, or set RestrictAddressFamilies= in a .nspawn file. ]3008;start=a1d8dfa808234314a8a0cb9fb7070e42;user=root;hostname=glalie.felixc.at;machineid=72144a64db6f4720ade5ccd1e3c98c82;bootid=6cea8b62742f4ee3974d081bce50550c;pid=2879732;comm=systemd-nspawn;container=arch-nspawn-2879732;type=container\]11;?\]2;🔵 Container arch-nspawn-2879732 on glalie.felixc.at\[?25l:: Synchronizing package databases... core downloading... extra downloading... :: Starting full system upgrade... there is nothing to do [?25h[!p]104\[?7h]3008;end=a1d8dfa808234314a8a0cb9fb7070e42\==>(B Building in chroot for [extra] (riscv64)...(B ==>(B Locking clean chroot [/var/lib/archbuild/extra-riscv64/root]...(Bdone(B ==>(B Synchronizing chroot copy [/var/lib/archbuild/extra-riscv64/root] -> [felix-6]...(Bdone(B ]3008;start=c78a3e0f5a5048ccae843fd2c1221b26;user=root;hostname=glalie.felixc.at;machineid=72144a64db6f4720ade5ccd1e3c98c82;bootid=6cea8b62742f4ee3974d081bce50550c;pid=2883494;comm=sudo;targetuser=felix;type=session\==>(B Making package: rocq 9.2.0-1 (Sat Oct 3 15:55:39 2026)(B ==>(B Retrieving sources...(B  ->(B Cloning rocq git repo...(B Cloning into bare repository '/home/felix/packages/rocq/rocq'... remote: Enumerating objects: 502936 remote: Enumerating objects: 503905, done. remote: Counting objects: 0% (1/969) remote: Counting objects: 1% (10/969) remote: Counting objects: 2% (20/969) remote: Counting objects: 3% (30/969) remote: Counting objects: 4% (39/969) remote: Counting objects: 5% (49/969) remote: Counting objects: 6% (59/969) remote: Counting objects: 7% (68/969) remote: Counting objects: 8% (78/969) remote: Counting objects: 9% (88/969) remote: Counting objects: 10% (97/969) remote: Counting objects: 11% (107/969) remote: Counting objects: 12% (117/969) remote: Counting objects: 13% (126/969) remote: Counting objects: 14% (136/969) remote: Counting objects: 15% (146/969) remote: Counting objects: 16% (156/969) remote: Counting objects: 17% (165/969) remote: Counting objects: 18% (175/969) remote: Counting objects: 19% (185/969) remote: Counting objects: 20% (194/969) remote: Counting objects: 21% (204/969) remote: Counting objects: 22% (214/969) remote: Counting objects: 23% (223/969) remote: Counting objects: 24% (233/969) remote: Counting objects: 25% (243/969) remote: Counting objects: 26% (252/969) remote: Counting objects: 27% (262/969) remote: Counting objects: 28% (272/969) remote: Counting objects: 29% (282/969) remote: Counting objects: 30% (291/969) remote: Counting objects: 31% (301/969) remote: Counting objects: 32% (311/969) remote: Counting objects: 33% (320/969) remote: Counting objects: 34% (330/969) remote: Counting objects: 35% (340/969) remote: Counting objects: 36% (349/969) remote: Counting objects: 37% (359/969) remote: Counting objects: 38% (369/969) remote: Counting objects: 39% (378/969) remote: Counting objects: 40% (388/969) remote: Counting objects: 41% (398/969) remote: Counting objects: 42% (407/969) remote: Counting objects: 43% (417/969) remote: Counting objects: 44% (427/969) remote: Counting objects: 45% (437/969) remote: Counting objects: 46% (446/969) remote: Counting objects: 47% (456/969) remote: Counting objects: 48% (466/969) remote: Counting objects: 49% (475/969) remote: Counting objects: 50% (485/969) remote: Counting objects: 51% (495/969) remote: Counting objects: 52% (504/969) remote: Counting objects: 53% (514/969) remote: Counting objects: 54% (524/969) remote: Counting objects: 55% (533/969) remote: Counting objects: 56% (543/969) remote: Counting objects: 57% (553/969) remote: Counting objects: 58% (563/969) remote: Counting objects: 59% (572/969) remote: Counting objects: 60% (582/969) remote: Counting objects: 61% (592/969) remote: Counting objects: 62% (601/969) remote: Counting objects: 63% (611/969) remote: Counting objects: 64% (621/969) remote: Counting objects: 65% (630/969) remote: Counting objects: 66% (640/969) remote: Counting objects: 67% (650/969) remote: Counting objects: 68% (659/969) remote: Counting objects: 69% (669/969) remote: Counting objects: 70% (679/969) remote: Counting objects: 71% (688/969) remote: Counting objects: 72% (698/969) remote: Counting objects: 73% (708/969) remote: Counting objects: 74% (718/969) remote: Counting objects: 75% (727/969) remote: Counting objects: 76% (737/969) remote: Counting objects: 77% (747/969) remote: Counting objects: 78% (756/969) remote: Counting objects: 79% (766/969) remote: Counting objects: 80% (776/969) remote: Counting objects: 81% (785/969) remote: Counting objects: 82% (795/969) remote: Counting objects: 83% (805/969) remote: Counting objects: 84% (814/969) remote: Counting objects: 85% (824/969) remote: Counting objects: 86% (834/969) remote: Counting objects: 87% (844/969) remote: Counting objects: 88% (853/969) remote: Counting objects: 89% (863/969) remote: Counting objects: 90% (873/969) remote: Counting objects: 91% (882/969) remote: Counting objects: 92% (892/969) remote: Counting objects: 93% (902/969) remote: Counting objects: 94% (911/969) remote: Counting objects: 95% (921/969) remote: Counting objects: 96% (931/969) remote: Counting objects: 97% (940/969) remote: Counting objects: 98% (950/969) remote: Counting objects: 99% (960/969) remote: Counting objects: 100% (969/969) remote: Counting objects: 100% (969/969), done. remote: Compressing objects: 0% (1/639) remote: Compressing objects: 1% (7/639) remote: Compressing objects: 2% (13/639) remote: Compressing objects: 3% (20/639) remote: Compressing objects: 4% (26/639) remote: Compressing objects: 5% (32/639) remote: Compressing objects: 6% (39/639) remote: Compressing objects: 7% (45/639) remote: Compressing objects: 8% (52/639) remote: Compressing objects: 9% (58/639) remote: Compressing objects: 10% (64/639) remote: Compressing objects: 11% (71/639) remote: Compressing objects: 12% (77/639) remote: Compressing objects: 13% (84/639) remote: Compressing objects: 14% (90/639) remote: Compressing objects: 15% (96/639) remote: Compressing objects: 16% (103/639) remote: Compressing objects: 17% (109/639) remote: Compressing objects: 18% (116/639) remote: Compressing objects: 19% (122/639) remote: Compressing objects: 20% (128/639) remote: Compressing objects: 21% (135/639) remote: Compressing objects: 22% (141/639) remote: Compressing objects: 23% (147/639) remote: Compressing objects: 24% (154/639) remote: Compressing objects: 25% (160/639) remote: Compressing objects: 26% (167/639) remote: Compressing objects: 27% (173/639) remote: Compressing objects: 28% (179/639) remote: Compressing objects: 29% (186/639) remote: Compressing objects: 30% (192/639) remote: Compressing objects: 31% (199/639) remote: Compressing objects: 32% (205/639) remote: Compressing objects: 33% (211/639) remote: Compressing objects: 34% (218/639) remote: Compressing objects: 35% (224/639) remote: Compressing objects: 36% (231/639) remote: Compressing objects: 37% (237/639) remote: Compressing objects: 38% (243/639) remote: Compressing objects: 39% (250/639) remote: Compressing objects: 40% (256/639) remote: Compressing objects: 41% (262/639) remote: Compressing objects: 42% (269/639) remote: Compressing objects: 43% (275/639) remote: Compressing objects: 44% (282/639) remote: Compressing objects: 45% (288/639) remote: Compressing objects: 46% (294/639) remote: Compressing objects: 47% (301/639) remote: Compressing objects: 48% (307/639) remote: Compressing objects: 49% (314/639) remote: Compressing objects: 50% (320/639) remote: Compressing objects: 51% (326/639) remote: Compressing objects: 52% (333/639) remote: Compressing objects: 53% (339/639) remote: Compressing objects: 54% (346/639) remote: Compressing objects: 55% (352/639) remote: Compressing objects: 56% (358/639) remote: Compressing objects: 57% (365/639) remote: Compressing objects: 58% (371/639) remote: Compressing objects: 59% (378/639) remote: Compressing objects: 60% (384/639) remote: Compressing objects: 61% (390/639) remote: Compressing objects: 62% (397/639) remote: Compressing objects: 63% (403/639) remote: Compressing objects: 64% (409/639) remote: Compressing objects: 65% (416/639) remote: Compressing objects: 66% (422/639) remote: Compressing objects: 67% (429/639) remote: Compressing objects: 68% (435/639) remote: Compressing objects: 69% (441/639) remote: Compressing objects: 70% (448/639) remote: Compressing objects: 71% (454/639) remote: Compressing objects: 72% (461/639) remote: Compressing objects: 73% (467/639) remote: Compressing objects: 74% (473/639) remote: Compressing objects: 75% (480/639) remote: Compressing objects: 76% (486/639) remote: Compressing objects: 77% (493/639) remote: Compressing objects: 78% (499/639) remote: Compressing objects: 79% (505/639) remote: Compressing objects: 80% (512/639) remote: Compressing objects: 81% (518/639) remote: Compressing objects: 82% (524/639) remote: Compressing objects: 83% (531/639) remote: Compressing objects: 84% (537/639) remote: Compressing objects: 85% (544/639) remote: Compressing objects: 86% (550/639) remote: Compressing objects: 87% (556/639) remote: Compressing objects: 88% (563/639) remote: Compressing objects: 89% (569/639) remote: Compressing objects: 90% (576/639) remote: Compressing objects: 91% (582/639) remote: Compressing objects: 92% (588/639) remote: Compressing objects: 93% (595/639) remote: Compressing objects: 94% (601/639) remote: Compressing objects: 95% (608/639) remote: Compressing objects: 96% (614/639) remote: Compressing objects: 97% (620/639) remote: Compressing objects: 98% (627/639) remote: Compressing objects: 99% (633/639) remote: Compressing objects: 100% (639/639) remote: Compressing objects: 100% (639/639), done. Receiving objects: 0% (1/503905) Receiving objects: 0% (3861/503905), 1.09 MiB | 1.96 MiB/s Receiving objects: 1% (5040/503905), 2.35 MiB | 1.95 MiB/s Receiving objects: 1% (9125/503905), 4.09 MiB | 2.29 MiB/s Receiving objects: 2% (10079/503905), 4.09 MiB | 2.29 MiB/s Receiving objects: 3% (15118/503905), 6.95 MiB | 2.41 MiB/s Receiving objects: 3% (16036/503905), 6.95 MiB | 2.41 MiB/s Receiving objects: 4% (20157/503905), 8.55 MiB | 2.49 MiB/s Receiving objects: 4% (21379/503905), 9.77 MiB | 2.48 MiB/s Receiving objects: 5% (25196/503905), 12.24 MiB | 2.46 MiB/s Receiving objects: 5% (25697/503905), 12.24 MiB | 2.46 MiB/s Receiving objects: 6% (30235/503905), 13.55 MiB | 2.53 MiB/s Receiving objects: 6% (30489/503905), 15.45 MiB | 2.69 MiB/s Receiving objects: 7% (35274/503905), 17.23 MiB | 2.75 MiB/s Receiving objects: 7% (37128/503905), 17.23 MiB | 2.75 MiB/s Receiving objects: 8% (40313/503905), 18.26 MiB | 2.61 MiB/s Receiving objects: 9% (45352/503905), 19.77 MiB | 2.63 MiB/s Receiving objects: 9% (47429/503905), 19.77 MiB | 2.63 MiB/s Receiving objects: 10% (50391/503905), 21.51 MiB | 2.65 MiB/s Receiving objects: 11% (55430/503905), 21.51 MiB | 2.65 MiB/s Receiving objects: 11% (59115/503905), 23.08 MiB | 2.69 MiB/s Receiving objects: 12% (60469/503905), 24.45 MiB | 2.71 MiB/s Receiving objects: 12% (60674/503905), 25.76 MiB | 2.72 MiB/s Receiving objects: 12% (62308/503905), 28.98 MiB | 2.75 MiB/s Receiving objects: 13% (65508/503905), 29.87 MiB | 2.57 MiB/s Receiving objects: 13% (67099/503905), 31.34 MiB | 2.72 MiB/s Receiving objects: 13% (70454/503905), 33.05 MiB | 2.74 MiB/s Receiving objects: 14% (70547/503905), 33.05 MiB | 2.74 MiB/s Receiving objects: 14% (74091/503905), 35.86 MiB | 2.68 MiB/s Receiving objects: 15% (75586/503905), 37.59 MiB | 2.73 MiB/s Receiving objects: 15% (77374/503905), 39.31 MiB | 2.76 MiB/s Receiving objects: 15% (80000/503905), 41.72 MiB | 2.61 MiB/s Receiving objects: 16% (80625/503905), 42.99 MiB | 2.69 MiB/s Receiving objects: 16% (82392/503905), 44.44 MiB | 2.72 MiB/s Receiving objects: 16% (85591/503905), 48.23 MiB | 2.85 MiB/s Receiving objects: 17% (85664/503905), 48.23 MiB | 2.85 MiB/s Receiving objects: 17% (88677/503905), 50.95 MiB | 2.77 MiB/s Receiving objects: 18% (90703/503905), 50.95 MiB | 2.77 MiB/s Receiving objects: 19% (95742/503905), 52.44 MiB | 2.81 MiB/s Receiving objects: 19% (97112/503905), 53.99 MiB | 2.95 MiB/s Receiving objects: 20% (100781/503905), 55.11 MiB | 2.83 MiB/s Receiving objects: 21% (105821/503905), 55.11 MiB | 2.83 MiB/s Receiving objects: 21% (106216/503905), 55.11 MiB | 2.83 MiB/s Receiving objects: 21% (110331/503905), 58.73 MiB | 3.00 MiB/s Receiving objects: 22% (110860/503905), 58.73 MiB | 3.00 MiB/s Receiving objects: 23% (115899/503905), 61.80 MiB | 2.91 MiB/s Receiving objects: 23% (117893/503905), 61.80 MiB | 2.91 MiB/s Receiving objects: 24% (120938/503905), 63.53 MiB | 2.94 MiB/s Receiving objects: 24% (122823/503905), 64.70 MiB | 2.96 MiB/s Receiving objects: 25% (125977/503905), 66.52 MiB | 2.70 MiB/s Receiving objects: 25% (126380/503905), 66.52 MiB | 2.70 MiB/s Receiving objects: 26% (131016/503905), 68.83 MiB | 2.58 MiB/s Receiving objects: 26% (132904/503905), 68.83 MiB | 2.58 MiB/s Receiving objects: 27% (136055/503905), 71.51 MiB | 2.43 MiB/s Receiving objects: 27% (137529/503905), 71.51 MiB | 2.43 MiB/s Receiving objects: 28% (141094/503905), 72.73 MiB | 2.37 MiB/s Receiving objects: 28% (143528/503905), 73.92 MiB | 2.23 MiB/s Receiving objects: 29% (146133/503905), 75.15 MiB | 2.24 MiB/s Receiving objects: 29% (147124/503905), 76.42 MiB | 2.36 MiB/s Receiving objects: 30% (151172/503905), 77.57 MiB | 2.39 MiB/s Receiving objects: 30% (152139/503905), 78.39 MiB | 2.39 MiB/s Receiving objects: 30% (154004/503905), 79.95 MiB | 2.12 MiB/s Receiving objects: 30% (155374/503905), 81.31 MiB | 1.85 MiB/s Receiving objects: 31% (156211/503905), 82.09 MiB | 1.77 MiB/s Receiving objects: 31% (157182/503905), 82.91 MiB | 1.69 MiB/s Receiving objects: 31% (159589/503905), 84.23 MiB | 1.42 MiB/s Receiving objects: 32% (161250/503905), 85.02 MiB | 1.41 MiB/s Receiving objects: 32% (161943/503905), 85.02 MiB | 1.41 MiB/s Receiving objects: 32% (165605/503905), 86.64 MiB | 1.38 MiB/s Receiving objects: 33% (166289/503905), 87.44 MiB | 1.40 MiB/s Receiving objects: 33% (168046/503905), 88.23 MiB | 1.39 MiB/s Receiving objects: 33% (170572/503905), 89.91 MiB | 1.38 MiB/s Receiving objects: 34% (171328/503905), 89.91 MiB | 1.38 MiB/s Receiving objects: 34% (172431/503905), 91.55 MiB | 1.47 MiB/s Receiving objects: 34% (172663/503905), 93.06 MiB | 1.45 MiB/s Receiving objects: 34% (172668/503905), 93.85 MiB | 1.46 MiB/s Receiving objects: 34% (172671/503905), 97.51 MiB | 1.73 MiB/s Receiving objects: 34% (172673/503905), 98.66 MiB | 1.80 MiB/s Receiving objects: 34% (174713/503905), 101.52 MiB | 2.00 MiB/s Receiving objects: 35% (176367/503905), 101.52 MiB | 2.00 MiB/s Receiving objects: 35% (179147/503905), 104.17 MiB | 2.22 MiB/s Receiving objects: 36% (181406/503905), 104.17 MiB | 2.22 MiB/s Receiving objects: 36% (183089/503905), 105.61 MiB | 2.37 MiB/s Receiving objects: 36% (186206/503905), 108.68 MiB | 2.25 MiB/s Receiving objects: 37% (186445/503905), 108.68 MiB | 2.25 MiB/s Receiving objects: 37% (189565/503905), 109.81 MiB | 2.27 MiB/s Receiving objects: 38% (191484/503905), 111.70 MiB | 2.13 MiB/s Receiving objects: 38% (192059/503905), 111.70 MiB | 2.13 MiB/s Receiving objects: 38% (195486/503905), 113.45 MiB | 1.98 MiB/s Receiving objects: 39% (196523/503905), 114.47 MiB | 1.88 MiB/s Receiving objects: 39% (200818/503905), 115.52 MiB | 1.84 MiB/s Receiving objects: 40% (201562/503905), 115.52 MiB | 1.84 MiB/s Receiving objects: 40% (204717/503905), 116.59 MiB | 1.77 MiB/s Receiving objects: 40% (206498/503905), 118.58 MiB | 1.77 MiB/s Receiving objects: 41% (206602/503905), 118.58 MiB | 1.77 MiB/s Receiving objects: 41% (207897/503905), 120.05 MiB | 1.65 MiB/s Receiving objects: 41% (211187/503905), 121.48 MiB | 1.57 MiB/s Receiving objects: 42% (211641/503905), 121.48 MiB | 1.57 MiB/s Receiving objects: 42% (216359/503905), 123.80 MiB | 1.65 MiB/s Receiving objects: 43% (216680/503905), 123.80 MiB | 1.65 MiB/s Receiving objects: 43% (218004/503905), 125.81 MiB | 1.67 MiB/s Receiving objects: 43% (218756/503905), 126.63 MiB | 1.57 MiB/s Receiving objects: 43% (219482/503905), 127.55 MiB | 1.46 MiB/s Receiving objects: 43% (219812/503905), 128.24 MiB | 1.35 MiB/s Receiving objects: 43% (220808/503905), 129.02 MiB | 1.14 MiB/s Receiving objects: 44% (221719/503905), 129.02 MiB | 1.14 MiB/s Receiving objects: 44% (222353/503905), 129.82 MiB | 1.07 MiB/s Receiving objects: 44% (223309/503905), 131.02 MiB | 974.00 KiB/s Receiving objects: 44% (224117/503905), 131.61 MiB | 876.00 KiB/s Receiving objects: 44% (224992/503905), 132.77 MiB | 904.00 KiB/s Receiving objects: 44% (225800/503905), 133.18 MiB | 877.00 KiB/s Receiving objects: 45% (226758/503905), 133.66 MiB | 895.00 KiB/s Receiving objects: 45% (226852/503905), 134.13 MiB | 797.00 KiB/s Receiving objects: 45% (227535/503905), 134.57 MiB | 761.00 KiB/s Receiving objects: 45% (228541/503905), 135.48 MiB | 666.00 KiB/s Receiving objects: 45% (228817/503905), 135.95 MiB | 677.00 KiB/s Receiving objects: 45% (229972/503905), 137.04 MiB | 692.00 KiB/s Receiving objects: 45% (231285/503905), 137.68 MiB | 766.00 KiB/s Receiving objects: 46% (231797/503905), 137.68 MiB | 766.00 KiB/s Receiving objects: 46% (232867/503905), 138.33 MiB | 742.00 KiB/s Receiving objects: 46% (235335/503905), 139.06 MiB | 758.00 KiB/s Receiving objects: 47% (236836/503905), 139.88 MiB | 844.00 KiB/s Receiving objects: 47% (239828/503905), 140.81 MiB | 874.00 KiB/s Receiving objects: 48% (241875/503905), 140.81 MiB | 874.00 KiB/s Receiving objects: 48% (243893/503905), 140.81 MiB | 874.00 KiB/s Receiving objects: 49% (246914/503905), 142.47 MiB | 1.07 MiB/s Receiving objects: 50% (251953/503905), 144.23 MiB | 1.25 MiB/s Receiving objects: 50% (254936/503905), 144.23 MiB | 1.25 MiB/s Receiving objects: 51% (256992/503905), 144.23 MiB | 1.25 MiB/s Receiving objects: 51% (260989/503905), 146.72 MiB | 1.49 MiB/s Receiving objects: 52% (262031/503905), 146.72 MiB | 1.49 MiB/s Receiving objects: 52% (267054/503905), 148.96 MiB | 1.90 MiB/s Receiving objects: 53% (267070/503905), 148.96 MiB | 1.90 MiB/s Receiving objects: 54% (272109/503905), 148.96 MiB | 1.90 MiB/s Receiving objects: 55% (277148/503905), 151.35 MiB | 2.23 MiB/s Receiving objects: 55% (278616/503905), 151.35 MiB | 2.23 MiB/s Receiving objects: 56% (282187/503905), 154.59 MiB | 2.91 MiB/s Receiving objects: 56% (282403/503905), 155.34 MiB | 2.35 MiB/s Receiving objects: 56% (286049/503905), 155.34 MiB | 2.35 MiB/s Receiving objects: 57% (287226/503905), 157.30 MiB | 2.38 MiB/s Receiving objects: 57% (288824/503905), 158.07 MiB | 2.09 MiB/s Receiving objects: 58% (292265/503905), 159.25 MiB | 2.17 MiB/s Receiving objects: 58% (293082/503905), 159.25 MiB | 2.17 MiB/s Receiving objects: 59% (297304/503905), 160.18 MiB | 2.12 MiB/s Receiving objects: 59% (299235/503905), 162.04 MiB | 2.27 MiB/s Receiving objects: 60% (302343/503905), 164.34 MiB | 2.25 MiB/s Receiving objects: 60% (306486/503905), 166.97 MiB | 2.34 MiB/s Receiving objects: 61% (307383/503905), 166.97 MiB | 2.34 MiB/s Receiving objects: 62% (312422/503905), 168.45 MiB | 2.36 MiB/s Receiving objects: 62% (313029/503905), 170.75 MiB | 2.93 MiB/s Receiving objects: 63% (317461/503905), 172.65 MiB | 2.92 MiB/s Receiving objects: 63% (319032/503905), 172.65 MiB | 2.92 MiB/s Receiving objects: 63% (321481/503905), 175.45 MiB | 3.16 MiB/s Receiving objects: 64% (322500/503905), 175.45 MiB | 3.16 MiB/s Receiving objects: 64% (323285/503905), 176.20 MiB | 2.93 MiB/s Receiving objects: 64% (327180/503905), 179.11 MiB | 2.40 MiB/s Receiving objects: 65% (327539/503905), 179.68 MiB | 2.11 MiB/s Receiving objects: 65% (330554/503905), 179.68 MiB | 2.11 MiB/s Receiving objects: 66% (332578/503905), 182.24 MiB | 2.21 MiB/s Receiving objects: 66% (337178/503905), 183.98 MiB | 2.17 MiB/s Receiving objects: 67% (337617/503905), 183.98 MiB | 2.17 MiB/s Receiving objects: 67% (341723/503905), 187.42 MiB | 2.45 MiB/s Receiving objects: 68% (342656/503905), 188.02 MiB | 2.43 MiB/s Receiving objects: 68% (346592/503905), 189.87 MiB | 2.58 MiB/s Receiving objects: 69% (347695/503905), 189.87 MiB | 2.58 MiB/s Receiving objects: 69% (350057/503905), 192.01 MiB | 2.53 MiB/s Receiving objects: 70% (352734/503905), 193.40 MiB | 2.91 MiB/s Receiving objects: 71% (357773/503905), 193.40 MiB | 2.91 MiB/s Receiving objects: 71% (362698/503905), 195.98 MiB | 2.92 MiB/s Receiving objects: 72% (362812/503905), 195.98 MiB | 2.92 MiB/s Receiving objects: 73% (367851/503905), 196.76 MiB | 2.72 MiB/s Receiving objects: 73% (369027/503905), 197.71 MiB | 2.51 MiB/s Receiving objects: 74% (372890/503905), 197.71 MiB | 2.51 MiB/s Receiving objects: 75% (377929/503905), 198.92 MiB | 2.44 MiB/s Receiving objects: 76% (382968/503905), 198.92 MiB | 2.44 MiB/s Receiving objects: 77% (388007/503905), 198.92 MiB | 2.44 MiB/s Receiving objects: 77% (388919/503905), 198.92 MiB | 2.44 MiB/s Receiving objects: 78% (393046/503905), 200.94 MiB | 2.58 MiB/s Receiving objects: 79% (398085/503905), 200.94 MiB | 2.58 MiB/s Receiving objects: 79% (401381/503905), 203.09 MiB | 2.55 MiB/s Receiving objects: 80% (403124/503905), 203.09 MiB | 2.55 MiB/s Receiving objects: 81% (408164/503905), 204.08 MiB | 2.50 MiB/s Receiving objects: 81% (412135/503905), 204.08 MiB | 2.50 MiB/s Receiving objects: 82% (413203/503905), 204.08 MiB | 2.50 MiB/s Receiving objects: 83% (418242/503905), 205.05 MiB | 2.53 MiB/s Receiving objects: 84% (423281/503905), 206.20 MiB | 2.48 MiB/s Receiving objects: 84% (425022/503905), 206.20 MiB | 2.48 MiB/s Receiving objects: 85% (428320/503905), 206.73 MiB | 2.05 MiB/s Receiving objects: 86% (433359/503905), 208.16 MiB | 2.17 MiB/s Receiving objects: 86% (434538/503905), 208.16 MiB | 2.17 MiB/s Receiving objects: 87% (438398/503905), 208.82 MiB | 2.14 MiB/s Receiving objects: 87% (442608/503905), 210.55 MiB | 2.24 MiB/s Receiving objects: 88% (443437/503905), 210.55 MiB | 2.24 MiB/s Receiving objects: 88% (447764/503905), 212.54 MiB | 1.92 MiB/s Receiving objects: 89% (448476/503905), 212.54 MiB | 1.92 MiB/s Receiving objects: 89% (452040/503905), 214.54 MiB | 1.89 MiB/s Receiving objects: 90% (453515/503905), 214.54 MiB | 1.89 MiB/s Receiving objects: 90% (455702/503905), 215.53 MiB | 1.85 MiB/s Receiving objects: 91% (458554/503905), 217.16 MiB | 1.97 MiB/s Receiving objects: 91% (462888/503905), 219.16 MiB | 2.04 MiB/s Receiving objects: 92% (463593/503905), 219.16 MiB | 2.04 MiB/s Receiving objects: 93% (468632/503905), 221.02 MiB | 2.26 MiB/s Receiving objects: 93% (469571/503905), 221.02 MiB | 2.26 MiB/s Receiving objects: 94% (473671/503905), 224.05 MiB | 2.33 MiB/s Receiving objects: 94% (473682/503905), 224.05 MiB | 2.33 MiB/s Receiving objects: 95% (478710/503905), 225.79 MiB | 2.55 MiB/s Receiving objects: 95% (483106/503905), 227.36 MiB | 2.68 MiB/s Receiving objects: 96% (483749/503905), 227.36 MiB | 2.68 MiB/s Receiving objects: 97% (488788/503905), 230.42 MiB | 2.91 MiB/s Receiving objects: 97% (490350/503905), 231.80 MiB | 2.95 MiB/s Receiving objects: 97% (490351/503905), 234.37 MiB | 3.13 MiB/s Receiving objects: 98% (493827/503905), 235.87 MiB | 3.05 MiB/s Receiving objects: 98% (498277/503905), 237.55 MiB | 3.04 MiB/s Receiving objects: 99% (498866/503905), 237.55 MiB | 3.04 MiB/s Receiving objects: 99% (502508/503905), 239.88 MiB | 2.95 MiB/s remote: Total 503905 (delta 697), reused 347 (delta 330), pack-reused 502936 (from 3) Receiving objects: 100% (503905/503905), 240.95 MiB | 2.84 MiB/s Receiving objects: 100% (503905/503905), 242.05 MiB | 2.09 MiB/s, done. Resolving deltas: 0% (0/407305) Resolving deltas: 1% (4074/407305) Resolving deltas: 2% (8147/407305) Resolving deltas: 2% (11574/407305) Resolving deltas: 3% (12221/407305) Resolving deltas: 4% (16293/407305) Resolving deltas: 5% (20366/407305) Resolving deltas: 5% (22888/407305) Resolving deltas: 5% (23023/407305) Resolving deltas: 6% (24439/407305) Resolving deltas: 6% (27936/407305) Resolving deltas: 7% (28514/407305) Resolving deltas: 8% (32586/407305) Resolving deltas: 9% (36661/407305) Resolving deltas: 9% (38428/407305) Resolving deltas: 10% (40731/407305) Resolving deltas: 10% (44641/407305) Resolving deltas: 11% (44804/407305) Resolving deltas: 12% (48877/407305) Resolving deltas: 13% (52950/407305) Resolving deltas: 14% (57023/407305) Resolving deltas: 14% (58945/407305) Resolving deltas: 14% (60855/407305) Resolving deltas: 15% (61096/407305) Resolving deltas: 16% (65169/407305) Resolving deltas: 17% (69242/407305) Resolving deltas: 17% (73019/407305) Resolving deltas: 18% (73315/407305) Resolving deltas: 19% (77388/407305) Resolving deltas: 20% (81462/407305) Resolving deltas: 21% (85535/407305) Resolving deltas: 21% (88948/407305) Resolving deltas: 22% (89609/407305) Resolving deltas: 23% (93681/407305) Resolving deltas: 24% (97754/407305) Resolving deltas: 25% (101827/407305) Resolving deltas: 25% (105333/407305) Resolving deltas: 26% (105900/407305) Resolving deltas: 27% (109973/407305) Resolving deltas: 28% (114048/407305) Resolving deltas: 29% (118119/407305) Resolving deltas: 30% (122192/407305) Resolving deltas: 31% (126265/407305) Resolving deltas: 32% (130338/407305) Resolving deltas: 33% (134411/407305) Resolving deltas: 33% (137186/407305) Resolving deltas: 34% (138484/407305) Resolving deltas: 35% (142557/407305) Resolving deltas: 36% (146630/407305) Resolving deltas: 36% (149936/407305) Resolving deltas: 37% (150703/407305) Resolving deltas: 37% (151636/407305) Resolving deltas: 37% (154633/407305) Resolving deltas: 38% (154776/407305) Resolving deltas: 39% (158849/407305) Resolving deltas: 39% (162133/407305) Resolving deltas: 40% (162922/407305) Resolving deltas: 41% (166996/407305) Resolving deltas: 41% (169494/407305) Resolving deltas: 42% (171069/407305) Resolving deltas: 43% (175142/407305) Resolving deltas: 43% (175714/407305) Resolving deltas: 44% (179215/407305) Resolving deltas: 45% (183288/407305) Resolving deltas: 45% (185061/407305) Resolving deltas: 46% (187362/407305) Resolving deltas: 47% (191434/407305) Resolving deltas: 48% (195507/407305) Resolving deltas: 48% (198122/407305) Resolving deltas: 49% (199580/407305) Resolving deltas: 50% (203653/407305) Resolving deltas: 50% (205190/407305) Resolving deltas: 51% (207726/407305) Resolving deltas: 52% (211799/407305) Resolving deltas: 52% (214008/407305) Resolving deltas: 53% (215872/407305) Resolving deltas: 54% (219945/407305) Resolving deltas: 55% (224022/407305) Resolving deltas: 56% (228091/407305) Resolving deltas: 56% (228260/407305) Resolving deltas: 57% (232164/407305) Resolving deltas: 58% (236237/407305) Resolving deltas: 58% (238504/407305) Resolving deltas: 59% (240310/407305) Resolving deltas: 59% (242701/407305) Resolving deltas: 60% (244383/407305) Resolving deltas: 61% (248457/407305) Resolving deltas: 61% (249327/407305) Resolving deltas: 62% (252530/407305) Resolving deltas: 62% (254229/407305) Resolving deltas: 63% (256603/407305) Resolving deltas: 64% (260676/407305) Resolving deltas: 64% (262134/407305) Resolving deltas: 64% (262836/407305) Resolving deltas: 64% (264186/407305) Resolving deltas: 65% (264749/407305) Resolving deltas: 65% (266098/407305) Resolving deltas: 66% (268822/407305) Resolving deltas: 66% (269298/407305) Resolving deltas: 66% (272459/407305) Resolving deltas: 67% (272900/407305) Resolving deltas: 68% (276971/407305) Resolving deltas: 68% (277732/407305) Resolving deltas: 69% (281042/407305) Resolving deltas: 69% (282671/407305) Resolving deltas: 69% (283760/407305) Resolving deltas: 69% (284345/407305) Resolving deltas: 69% (284828/407305) Resolving deltas: 70% (285114/407305) Resolving deltas: 70% (285309/407305) Resolving deltas: 70% (286872/407305) Resolving deltas: 71% (289187/407305) Resolving deltas: 71% (290204/407305) Resolving deltas: 72% (293260/407305) Resolving deltas: 72% (295151/407305) Resolving deltas: 73% (297333/407305) Resolving deltas: 74% (301406/407305) Resolving deltas: 74% (304265/407305) Resolving deltas: 75% (305479/407305) Resolving deltas: 76% (309552/407305) Resolving deltas: 76% (312190/407305) Resolving deltas: 77% (313626/407305) Resolving deltas: 78% (317698/407305) Resolving deltas: 78% (317917/407305) Resolving deltas: 79% (321771/407305) Resolving deltas: 79% (324904/407305) Resolving deltas: 80% (325844/407305) Resolving deltas: 80% (328690/407305) Resolving deltas: 81% (329918/407305) Resolving deltas: 82% (333991/407305) Resolving deltas: 82% (334950/407305) Resolving deltas: 83% (338064/407305) Resolving deltas: 84% (342137/407305) Resolving deltas: 84% (342329/407305) Resolving deltas: 84% (345182/407305) Resolving deltas: 84% (345769/407305) Resolving deltas: 85% (346210/407305) Resolving deltas: 85% (346549/407305) Resolving deltas: 85% (349005/407305) Resolving deltas: 86% (350283/407305) Resolving deltas: 86% (353841/407305) Resolving deltas: 87% (354356/407305) Resolving deltas: 88% (358429/407305) Resolving deltas: 88% (360443/407305) Resolving deltas: 89% (362502/407305) Resolving deltas: 90% (366575/407305) Resolving deltas: 90% (367049/407305) Resolving deltas: 91% (370648/407305) Resolving deltas: 92% (374721/407305) Resolving deltas: 92% (375347/407305) Resolving deltas: 93% (378794/407305) Resolving deltas: 94% (382867/407305) Resolving deltas: 94% (385354/407305) Resolving deltas: 95% (386940/407305) Resolving deltas: 96% (391013/407305) Resolving deltas: 97% (395086/407305) Resolving deltas: 97% (396922/407305) Resolving deltas: 98% (399159/407305) Resolving deltas: 99% (403232/407305) Resolving deltas: 100% (407305/407305) Resolving deltas: 100% (407305/407305), done.  ->(B Found rocqide.desktop(B  ->(B Found use-rocq-build-language.patch(B  ->(B Found dune-3.24.patch(B ==>(B Validating source files with b2sums...(B rocq ... Passed rocqide.desktop ... Passed use-rocq-build-language.patch ... Passed dune-3.24.patch ... Passed ]3008;end=c78a3e0f5a5048ccae843fd2c1221b26\Note: in a future version of systemd-nspawn the default set of permitted socket address families will be restricted to AF_INET, AF_INET6 and AF_UNIX. Use --restrict-address-families= to configure the set of permitted socket address families, or set RestrictAddressFamilies= in a .nspawn file. ]3008;start=f65a239e479643929f4c4e06b6463e89;user=root;hostname=glalie.felixc.at;machineid=72144a64db6f4720ade5ccd1e3c98c82;bootid=6cea8b62742f4ee3974d081bce50550c;pid=2915532;comm=systemd-nspawn;container=makechrootpkg-rocq.build.2878439;type=container\]11;?\]2;🔵 Container makechrootpkg-rocq.build.2878439 on glalie.felixc.at\]3008;start=fe4a635ea5704b35aed25e402396283f;user=root;hostname=makechrootpkg-rocq.build.2878439;machineid=bc09cb1bbe5d452fb1c6fa9ee790c373;bootid=93e8cdc132944498a0eae04615b1c000;pid=14;comm=sudo;targetuser=builduser;type=session\==>(B Making package: rocq 9.2.0-1 (Sat Oct 3 08:00:19 2026)(B ==>(B Checking runtime dependencies...(B ==>(B Checking buildtime dependencies...(B ==>(B Installing missing dependencies...(B ]3008;start=816eb8cb351b45c7b14bf79418021836;user=builduser;hostname=makechrootpkg-rocq.build.2878439;machineid=bc09cb1bbe5d452fb1c6fa9ee790c373;bootid=93e8cdc132944498a0eae04615b1c000;pid=2782;comm=sudo;targetuser=root;type=session\[?25lresolving dependencies... looking for conflicting packages... warning: insufficient columns available for table display Packages (107) adwaita-cursors-50.0-1 adwaita-fonts-51.0-2 adwaita-icon-theme-50.0-1 adwaita-icon-theme-legacy-46.2-3 at-spi2-core-2.60.7-1 avahi-1:0.9rc5-1 bubblewrap-0.13.0-1 dav1d-1.5.4-1 dconf-0.49.0-1 default-cursors-3-1 desktop-file-utils-0.28-1 duktape-2.7.0-7 enchant-2.8.21-1 fribidi-1.0.17-1 giflib-6.1.3-2 glib-networking-1:2.80.1-1 glycin-2.1.5-2 gperftools-2.18.1-1 graphite-1:1.3.15-1 gsettings-desktop-schemas-50.1-1 gsettings-system-schemas-50.1-1 gtest-1.18.0-1 gtk-update-icon-cache-1:4.22.5-1 gtkspell3-3.0.10-4 harfbuzz-14.5.1-1 hicolor-icon-theme-0.18-1 highway-1.4.0-1 iso-codes-4.20.1-1 jbigkit-2.1-8 json-glib-1.10.8-1 lcms2-2.19.1-1 libcloudproviders-0.4.1-1 libcolord-1.4.8-1 libcups-2:2.4.19-1 libdaemon-0.14-6 libdatrie-0.2.14-1 libdeflate-1.26-1 libdrm-2.4.134-1 libedit-20260512_3.1-1 libepoxy-1.5.10-3 libglvnd-1.7.0-3 libjpeg-turbo-3.2.0-2 libjxl-0.12.0-1 libpciaccess-0.19-1 libpng-1.6.59-1 libproxy-0.5.12-1 librsvg-2:2.62.4-1 libsoup3-3.6.6-2 libstemmer-3.1.1-1 libthai-0.1.30-1 libtiff-4.7.2-1 libunwind-1.8.3-1 libwebp-1.6.0-2 libx11-1.8.13-1 libxau-1.0.12-1 libxcb-1.17.0-1 libxcomposite-0.4.7-1 libxcursor-1.2.3-1 libxdamage-1.1.7-1 libxdmcp-1.1.5-2 libxext-1.3.7-1 libxfixes-6.0.2-1 libxft-2.3.9-1 libxi-1.8.3-1 libxinerama-1.1.6-1 libxkbcommon-1.13.2-1 libxrandr-1.5.5-1 libxrender-0.9.12-1 libxshmfence-1.3.3-1 libxtst-1.2.5-1 libxxf86vm-1.1.7-1 llvm-libs-23.1.1-1 lm_sensors-1:3.6.2-1 lzo-2.10-5 mesa-1:26.2.3-1 ocaml-cairo-0.6.5-6 ocaml-compiler-libs-5.5.0-1 ocaml-csexp-1.5.2-10 ocaml-pp-2.0.0-6 ocaml-re-1.14.0-3 ocaml-result-1.5-17 perl-error-0.17030-3 perl-mailtools-2.22-3 perl-timedate-2.35-1 pixman-0.46.4-1 shared-mime-info-2.5.1-2 spirv-tools-1:1.4.357.0-1 tinysparql-3.11.1-1 wayland-1.26.0-1 xcb-proto-1.17.0-4 xkeyboard-config-2.48-1 xorg-xprop-1.2.8-1 xorgproto-2025.1-1 zlib-ng-2.3.3-1 cairo-1.18.6-1 dune-3.24.2-1 fontconfig-2:2.18.3-2 freetype2-2.14.3-1 gdk-pixbuf2-2.44.7-1 git-2.56.0-1 gtk3-1:3.24.52-1 gtksourceview3-1:3.24.11+r30+gd880929f-1 lablgtk3-3.1.5-2 ocaml-5.5.0-1 ocaml-findlib-1.9.8-7 ocaml-zarith-1.14-9 pango-1:1.58.2-1 Total Download Size: 31.94 MiB Total Installed Size: 914.14 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... dune-3.24.2-1-riscv64 downloading... lablgtk3-3.1.5-2-riscv64 downloading... gtksourceview3-1:3.24.11+r30+gd880929f-1-riscv64 downloading... ocaml-zarith-1.14-9-riscv64 downloading... ocaml-cairo-0.6.5-6-riscv64 downloading... ocaml-csexp-1.5.2-10-riscv64 downloading... ocaml-pp-2.0.0-6-riscv64 downloading... ocaml-result-1.5-17-riscv64 downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing libpng... installing freetype2... Optional dependencies for freetype2 harfbuzz: Improved autohinting [pending] 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 ocaml... Optional dependencies for ocaml ncurses: advanced ncurses features [installed] tk: advanced tk features installing ocaml-compiler-libs... installing ocaml-findlib... installing ocaml-result... installing ocaml-csexp... installing ocaml-pp... installing ocaml-re... installing dune... installing bubblewrap... installing libjpeg-turbo... installing jbigkit... installing libdeflate... installing libwebp... Optional dependencies for libwebp libwebp-utils: WebP conversion and inspection tools installing libtiff... Optional dependencies for libtiff freeglut: for using tiffgt installing lcms2... installing giflib... installing libunwind... installing gperftools... installing gtest... Optional dependencies for gtest python: gmock generator [installed] installing highway... installing libjxl... Optional dependencies for libjxl java-runtime: for JNI bindings installing dav1d... Optional dependencies for dav1d dav1d-doc: HTML documentation installing graphite... Optional dependencies for graphite graphite-docs: Documentation installing harfbuzz... Optional dependencies for harfbuzz harfbuzz-utils: utilities installing fribidi... installing libdatrie... installing libthai... installing libxft... installing pango... installing librsvg... installing glycin... Optional dependencies for glycin libheif: Load .avif, .heic and .heif installing shared-mime-info... installing gdk-pixbuf2... Optional dependencies for gdk-pixbuf2 libheif: Load .avif, .heic and .heif libopenraw: Load .arw, .cr2, .crw, .dng, .erf, .mrw, .nef, .orf, .pef and .raf libwmf: Load .apm and .wmf installing perl-error... installing perl-timedate... installing perl-mailtools... installing zlib-ng... installing git... Optional dependencies for git git-zsh-completion: upstream zsh completion tk: gitk and git gui openssh: ssh transport and crypto man: show help with `git command --help` perl-libwww: git svn perl-term-readkey: git svn and interactive.singlekey setting perl-io-socket-ssl: git send-email TLS support perl-authen-sasl: git send-email TLS support perl-cgi: gitweb (web interface) support python: git svn & git p4 [installed] subversion: git svn org.freedesktop.secrets: keyring credential helper libsecret: libsecret credential helper [installed] less: the default pager for git installing adwaita-fonts... installing hicolor-icon-theme... installing adwaita-icon-theme-legacy... installing adwaita-cursors... installing adwaita-icon-theme... installing dconf... installing gsettings-system-schemas... installing gsettings-desktop-schemas... installing libxfixes... installing libxi... installing libxtst... installing xorg-xprop... installing at-spi2-core... installing desktop-file-utils... installing iso-codes... installing libcloudproviders... 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 installing libcups... installing libpciaccess... installing libdrm... Optional dependencies for libdrm cairo: needed for modetest tool [installed] installing libxshmfence... installing libxxf86vm... installing libedit... 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 spirv-tools... installing default-cursors... Optional dependencies for default-cursors adwaita-cursors: default cursor theme [installed] installing wayland... installing mesa... Optional dependencies for mesa opengl-man-pages: for the OpenGL API man pages installing libglvnd... installing libepoxy... installing libxcomposite... installing libxcursor... installing libxdamage... 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 tinysparql... installing gtk-update-icon-cache... installing gtk3... Optional dependencies for gtk3 evince: Default print preview command installing gtksourceview3... installing enchant... Optional dependencies for enchant aspell: for aspell based spell checking support hspell: for hspell based spell checking support hunspell: for hunspell based spell checking support libvoikko: for libvoikko 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 ocaml-zarith... :: Running post-transaction hooks... ( 1/14) Creating system user accounts... Creating group 'avahi' with GID 968. Creating user 'avahi' (Avahi mDNS/DNS-SD daemon) with UID 968 and GID 968. Creating group 'git' with GID 967. Creating user 'git' (git daemon user) with UID 967 and GID 967. ( 2/14) Reloading system manager configuration... Skipped: Current root is not booted. ( 3/14) Reloading user manager configuration... Skipped: Current root is not booted. ( 4/14) Updating the MIME type database... ( 5/14) Arming ConditionNeedsUpdate... ( 6/14) Updating fontconfig configuration... ( 7/14) Reloading system bus configuration... Skipped: Current root is not booted. ( 8/14) Checking for old perl modules... ( 9/14) Updating fontconfig cache... (10/14) Updating GIO module cache... (11/14) Compiling GSettings XML schema files... (12/14) Probing GTK3 input method modules... (13/14) Updating icon theme caches... (14/14) Updating the desktop file MIME type cache... [?25h]3008;end=816eb8cb351b45c7b14bf79418021836\==>(B Retrieving sources...(B  ->(B Found rocqide.desktop(B  ->(B Found use-rocq-build-language.patch(B  ->(B Found dune-3.24.patch(B ==> WARNING:(B Skipping all source file integrity checks.(B ==>(B Extracting sources...(B  ->(B Creating working copy of rocq git repo...(B Cloning into 'rocq'... done. Updating files: 17% (986/5762) Updating files: 18% (1038/5762) Updating files: 19% (1095/5762) Updating files: 20% (1153/5762) Updating files: 21% (1211/5762) Updating files: 22% (1268/5762) Updating files: 23% (1326/5762) Updating files: 24% (1383/5762) Updating files: 25% (1441/5762) Updating files: 26% (1499/5762) Updating files: 27% (1556/5762) Updating files: 28% (1614/5762) Updating files: 28% (1670/5762) Updating files: 29% (1671/5762) Updating files: 30% (1729/5762) Updating files: 31% (1787/5762) Updating files: 32% (1844/5762) Updating files: 33% (1902/5762) Updating files: 34% (1960/5762) Updating files: 35% (2017/5762) Updating files: 36% (2075/5762) Updating files: 37% (2132/5762) Updating files: 38% (2190/5762) Updating files: 39% (2248/5762) Updating files: 40% (2305/5762) Updating files: 41% (2363/5762) Updating files: 42% (2421/5762) Updating files: 43% (2478/5762) Updating files: 44% (2536/5762) Updating files: 44% (2541/5762) Updating files: 45% (2593/5762) Updating files: 46% (2651/5762) Updating files: 47% (2709/5762) Updating files: 48% (2766/5762) Updating files: 49% (2824/5762) Updating files: 50% (2881/5762) Updating files: 51% (2939/5762) Updating files: 52% (2997/5762) Updating files: 53% (3054/5762) Updating files: 53% (3086/5762) Updating files: 54% (3112/5762) Updating files: 55% (3170/5762) Updating files: 56% (3227/5762) Updating files: 57% (3285/5762) Updating files: 58% (3342/5762) Updating files: 59% (3400/5762) Updating files: 60% (3458/5762) Updating files: 60% (3475/5762) Updating files: 61% (3515/5762) Updating files: 62% (3573/5762) Updating files: 63% (3631/5762) Updating files: 64% (3688/5762) Updating files: 65% (3746/5762) Updating files: 66% (3803/5762) Updating files: 67% (3861/5762) Updating files: 68% (3919/5762) Updating files: 69% (3976/5762) Updating files: 70% (4034/5762) Updating files: 71% (4092/5762) Updating files: 72% (4149/5762) Updating files: 73% (4207/5762) Updating files: 74% (4264/5762) Updating files: 75% (4322/5762) Updating files: 76% (4380/5762) Updating files: 77% (4437/5762) Updating files: 78% (4495/5762) Updating files: 79% (4552/5762) Updating files: 80% (4610/5762) Updating files: 81% (4668/5762) Updating files: 81% (4706/5762) Updating files: 82% (4725/5762) Updating files: 83% (4783/5762) Updating files: 84% (4841/5762) Updating files: 85% (4898/5762) Updating files: 86% (4956/5762) Updating files: 87% (5013/5762) Updating files: 88% (5071/5762) Updating files: 89% (5129/5762) Updating files: 90% (5186/5762) Updating files: 91% (5244/5762) Updating files: 92% (5302/5762) Updating files: 92% (5332/5762) Updating files: 93% (5359/5762) Updating files: 94% (5417/5762) Updating files: 95% (5474/5762) Updating files: 96% (5532/5762) Updating files: 97% (5590/5762) Updating files: 98% (5647/5762) Updating files: 98% (5703/5762) Updating files: 99% (5705/5762) Updating files: 100% (5762/5762) Updating files: 100% (5762/5762), done. Updating files: 36% (544/1493) Updating files: 37% (553/1493) Updating files: 38% (568/1493) Updating files: 39% (583/1493) Updating files: 40% (598/1493) Updating files: 41% (613/1493) Updating files: 42% (628/1493) Updating files: 43% (642/1493) Updating files: 44% (657/1493) Updating files: 45% (672/1493) Updating files: 46% (687/1493) Updating files: 47% (702/1493) Updating files: 48% (717/1493) Updating files: 49% (732/1493) Updating files: 50% (747/1493) Updating files: 51% (762/1493) Updating files: 52% (777/1493) Updating files: 53% (792/1493) Updating files: 54% (807/1493) Updating files: 55% (822/1493) Updating files: 56% (837/1493) Updating files: 57% (852/1493) Updating files: 58% (866/1493) Updating files: 59% (881/1493) Updating files: 60% (896/1493) Updating files: 61% (911/1493) Updating files: 62% (926/1493) Updating files: 62% (929/1493) Updating files: 63% (941/1493) Updating files: 64% (956/1493) Updating files: 65% (971/1493) Updating files: 66% (986/1493) Updating files: 67% (1001/1493) Updating files: 68% (1016/1493) Updating files: 69% (1031/1493) Updating files: 70% (1046/1493) Updating files: 71% (1061/1493) Updating files: 72% (1075/1493) Updating files: 73% (1090/1493) Updating files: 74% (1105/1493) Updating files: 75% (1120/1493) Updating files: 76% (1135/1493) Updating files: 77% (1150/1493) Updating files: 78% (1165/1493) Updating files: 79% (1180/1493) Updating files: 80% (1195/1493) Updating files: 81% (1210/1493) Updating files: 82% (1225/1493) Updating files: 83% (1240/1493) Updating files: 84% (1255/1493) Updating files: 85% (1270/1493) Updating files: 86% (1284/1493) Updating files: 87% (1299/1493) Updating files: 88% (1314/1493) Updating files: 89% (1329/1493) Updating files: 90% (1344/1493) Updating files: 91% (1359/1493) Updating files: 92% (1374/1493) Updating files: 93% (1389/1493) Updating files: 94% (1404/1493) Updating files: 95% (1419/1493) Updating files: 96% (1434/1493) Updating files: 97% (1449/1493) Updating files: 98% (1464/1493) Updating files: 99% (1479/1493) Updating files: 100% (1493/1493) Updating files: 100% (1493/1493), done. Switched to a new branch 'makepkg' ==>(B Starting prepare()...(B /startdir/PKGBUILD: line 62: cd: rocq-9.2.0: No such file or directory ==> ERROR:(B A failure occurred in prepare().(B  Aborting...(B ]3008;end=fe4a635ea5704b35aed25e402396283f\[!p]104\[?7h]3008;end=f65a239e479643929f4c4e06b6463e89\==> ERROR:(B Build failed, check /var/lib/archbuild/extra-riscv64/felix-6/build(B [?12l[?25h[?12l[?25h]3008;end=e2e43c79e35b48f9a751f864d7c0f868\[?12l[?25hreceiving incremental file list rocq-9.2.0-1-riscv64-prepare.log sent 43 bytes received 272 bytes 126.00 bytes/sec total size is 166 speedup is 0.53