76 1837k 76 1397k 0 0 609k 0 0:00:03 0:00:02 0:00:01 614k 100 1837k 100 1837k 0 0 714k 0 0:00:02 0:00:02 --:--:-- 720k % 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 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 100 779k 100 779k 0 0 341k 0 0:00:02 0:00:02 --:--:-- 346k % 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 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 80 1431k 80 1151k 0 0 525k 0 0:00:02 0:00:02 --:--:-- 533k 100 1431k 100 1431k 0 0 596k 0 0:00:02 0:00:02 --:--:-- 605k % 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 16 627k 16 106k 0 0 76642 0 0:00:08 0:00:01 0:00:07 77626 100 627k 100 627k 0 0 347k 0 0:00:01 0:00:01 --:--:-- 351k % 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 1 1737k 1 33871 0 0 29868 0 0:00:59 0:00:01 0:00:58 30680 78 1737k 78 1359k 0 0 648k 0 0:00:02 0:00:02 --:--:-- 657k 100 1737k 100 1737k 0 0 744k 0 0:00:02 0:00:02 --:--:-- 754k % 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 20 1354k 20 271k 0 0 200k 0 0:00:06 0:00:01 0:00:05 203k 100 1354k 100 1354k 0 0 627k 0 0:00:02 0:00:02 --:--:-- 634k frama-c-21.1-Scandium.tar.gz: OK frama-c-21.1-Scandium-api.tar.gz: OK frama-c-icons.tar.xz: OK acsl-implementation-21.1-Scandium.pdf: OK aorai-manual-21.1-Scandium.pdf: OK e-acsl-manual-21.1-Scandium.pdf: OK eva-manual-21.1-Scandium.pdf: OK metrics-manual-21.1-Scandium.pdf: OK plugin-development-guide-21.1-Scandium.pdf: OK rte-manual-21.1-Scandium.pdf: OK user-manual-21.1-Scandium.pdf: OK wp-manual-21.1-Scandium.pdf: OK Finish: chroot ['fedpkg', 'sources'] 2020-08-23 09:46:17,220 [INFO] {97530} koji.build.buildroot:518 Running mock as kojibuilder INFO: mock.py version 1.4.21 starting (python version = 3.8.1)... Start: init plugins INFO: selinux enabled Finish: init plugins INFO: Signal handler active Start: run INFO: Start(/var/lib/mock/f33-build-330984-58239/root/chroot_tmpdir/scmroot/frama-c/frama-c.spec) Config(f33-build-330984-58239) Start: chroot init INFO: calling preinit hooks INFO: enabled HW Info plugin Mock Version: 1.4.21 INFO: Mock Version: 1.4.21 Finish: chroot init Start: buildsrpm Start: rpmbuild -bs Finish: rpmbuild -bs Finish: buildsrpm INFO: Done(/var/lib/mock/f33-build-330984-58239/root/chroot_tmpdir/scmroot/frama-c/frama-c.spec) Config(koji/f33-build-330984-58239) 1 minutes 2 seconds INFO: Results and/or logs in: /var/lib/mock/f33-build-330984-58239/result Finish: run