0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1338k 100 1338k 0 0 1105k 0 0:00:01 0:00:01 --:--:-- 1105k % 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 67 2494k 67 1673k 0 0 1522k 0 0:00:01 0:00:01 --:--:-- 1522k 100 2494k 100 2494k 0 0 2074k 0 0:00:01 0:00:01 --:--:-- 2073k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 14 1361k 14 192k 0 0 230k 0 0:00:05 --:--:-- 0:00:05 230k 100 1361k 100 1361k 0 0 1231k 0 0:00:01 0:00:01 --:--:-- 1232k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 5 1926k 5 113k 0 0 153k 0 0:00:12 --:--:-- 0:00:12 153k 100 1926k 100 1926k 0 0 1598k 0 0:00:01 0:00:01 --:--:-- 1600k % 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 1150k 0 0:00:01 0:00:01 --:--:-- 1151k % 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 1951k 0 0:00:01 0:00:01 --:--:-- 1953k % 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 1851k 44 823k 0 0 837k 0 0:00:02 --:--:-- 0:00:02 837k 100 1851k 100 1851k 0 0 1564k 0 0:00:01 0:00:01 --:--:-- 1566k frama-c-28.1-Nickel.tar.gz: OK frama-c-28.1-Nickel-api.tar.gz: OK frama-c-server-28.1-Nickel-api.tar.gz: OK frama-c-icons.tar.xz: OK acsl-implementation-28.1-Nickel.pdf: OK aorai-manual-28.1-Nickel.pdf: OK e-acsl-implementation-28.1-Nickel.pdf: OK e-acsl-manual-28.1-Nickel.pdf: OK eva-manual-28.1-Nickel.pdf: OK metrics-manual-28.1-Nickel.pdf: OK plugin-development-guide-28.1-Nickel.pdf: OK rte-manual-28.1-Nickel.pdf: OK user-manual-28.1-Nickel.pdf: OK wp-manual-28.1-Nickel.pdf: OK Finish: chroot ['fedpkg', 'sources'] 2024-04-17 05:48:28,045 [INFO] {22572} 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-807486-145225/root/chroot_tmpdir/scmroot/frama-c/frama-c.spec) Config(f40-build-807486-145225) 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-807486-145225/root/chroot_tmpdir/scmroot/frama-c/frama-c.spec) Config(koji/f40-build-807486-145225) 0 minutes 19 seconds INFO: Results and/or logs in: /var/lib/mock/f40-build-807486-145225/result Finish: run