100 1338k 0 0 1209k 0 0:00:01 0:00:01 --:--:-- 1209k % 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 2494k 100 2494k 0 0 1996k 0 0:00:01 0:00:01 --:--:-- 1995k 100 2494k 100 2494k 0 0 1995k 0 0:00:01 0:00:01 --:--:-- 1995k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 29 1361k 29 399k 0 0 421k 0 0:00:03 --:--:-- 0:00:03 421k 100 1361k 100 1361k 0 0 1229k 0 0:00:01 0:00:01 --:--:-- 1230k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 9 1926k 9 191k 0 0 229k 0 0:00:08 --:--:-- 0:00:08 229k 100 1926k 100 1926k 0 0 1611k 0 0:00:01 0:00:01 --:--:-- 1613k % 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 1254k 100 1254k 0 0 1028k 0 0:00:01 0:00:01 --:--:-- 1029k % 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 2402k 100 2402k 0 0 1938k 0 0:00:01 0:00:01 --:--:-- 1937k 100 2402k 100 2402k 0 0 1937k 0 0:00:01 0:00:01 --:--:-- 1937k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 43 1851k 43 813k 0 0 823k 0 0:00:02 --:--:-- 0:00:02 823k 100 1851k 100 1851k 0 0 1554k 0 0:00:01 0:00:01 --:--:-- 1556k frama-c-28.0-Nickel.tar.gz: OK frama-c-28.0-Nickel-api.tar.gz: OK frama-c-server-28.0-Nickel-api.tar.gz: OK frama-c-icons.tar.xz: OK acsl-implementation-28.0-Nickel.pdf: OK aorai-manual-28.0-Nickel.pdf: OK e-acsl-implementation-28.0-Nickel.pdf: OK e-acsl-manual-28.0-Nickel.pdf: OK eva-manual-28.0-Nickel.pdf: OK metrics-manual-28.0-Nickel.pdf: OK plugin-development-guide-28.0-Nickel.pdf: OK rte-manual-28.0-Nickel.pdf: OK user-manual-28.0-Nickel.pdf: OK wp-manual-28.0-Nickel.pdf: OK Finish: chroot ['fedpkg', 'sources'] 2024-01-04 12:53:35,796 [INFO] {52418} koji.build.buildroot:551 Running mock as kojibuilder INFO: mock.py version 2.15 starting (python version = 3.9.7, NVR = mock-2.15-1.fc33)... Start: init plugins INFO: selinux disabled Finish: init plugins INFO: Signal handler active Start: run INFO: Start(/var/lib/mock/f40-build-771845-126041/root/chroot_tmpdir/scmroot/frama-c/frama-c.spec) Config(f40-build-771845-126041) Start: chroot init INFO: calling preinit hooks INFO: enabled HW Info plugin Mock Version: 2.15 INFO: Mock Version: 2.15 Finish: chroot init Start: buildsrpm Start: rpmbuild -bs Finish: rpmbuild -bs Finish: buildsrpm INFO: Done(/var/lib/mock/f40-build-771845-126041/root/chroot_tmpdir/scmroot/frama-c/frama-c.spec) Config(koji/f40-build-771845-126041) 0 minutes 17 seconds INFO: Results and/or logs in: /var/lib/mock/f40-build-771845-126041/result Finish: run