:444:    - nothing provides ocamlx(Z) = 607528bb05c29a1b7da06c718062dc10 needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:444:    - nothing provides ocaml(Big_int_Z) = 664aafcb7c2f819c294cc854657087d3 needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:444:    - nothing provides ocaml(Thread) = 7119387a5e498b8dc3f7716bffb0d412 needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:444:    - nothing provides ocamlx(Q) = 78161ba3c4f2272a824b5e10a5df2d43 needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:444:    - nothing provides ocaml(Fl_dynload) = df6fb8f41c65b5b3d93b6c257d46a47d needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:444:    - nothing provides ocaml(Stdlib__Condition) = 61fc42d06e013ebf79ce2f1f6949046e needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:444:    - nothing provides ocamlx(Big_int_Z) = 104e74183429ba2603d1ac552a767bc2 needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:444:    - nothing provides ocamlx(Dynlink_common) = ecf278eb45ea0674504b87c4f005a9c3 needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:444:    - nothing provides ocamlx(Stdlib__Condition) = 2d2ac4ece55148ebd5969545884b9d92 needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:444:    - nothing provides ocamlx(Stdlib__Mutex) = b77aebc6f7086d3a500070856a9a513a needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:444:    - nothing provides ocamlx(Thread) = a6d4f24ab06f5587a06bcfd50bcc4e76 needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:444:    - nothing provides ocamlx(Zarith_version) = cbe43962c6bbc07e4612435b6c568140 needed by coq-core-8.18.0-4.fc40.riscv64
DEBUG util.py:446:  (try to add '--skip-broken' to skip uninstallable packages)
DEBUG util.py:598:  Child return code was: 1
DEBUG util.py:169:  kill orphans
DEBUG util.py:624:  child environment: None
DEBUG util.py:542:  Executing command: ['/bin/umount', '-n', '-l', '/var/lib/mock/f41-build-811944-147589/root/dev/pts'] with env {'TERM': 'vt100', 'SHELL': '/bin/sh', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'C.UTF-8'} and shell False
DEBUG util.py:598:  Child return code was: 0
DEBUG util.py:624:  child environment: None
DEBUG util.py:542:  Executing command: ['/bin/umount', '-n', '-l', '/var/lib/mock/f41-build-811944-147589/root/dev/shm'] with env {'TERM': 'vt100', 'SHELL': '/bin/sh', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'C.UTF-8'} and shell False
DEBUG util.py:598:  Child return code was: 0
DEBUG util.py:624:  child environment: None
DEBUG util.py:542:  Executing command: ['/bin/umount', '-n', '-l', '/var/lib/mock/f41-build-811944-147589/root/sys'] with env {'TERM': 'vt100', 'SHELL': '/bin/sh', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'C.UTF-8'} and shell False
DEBUG util.py:598:  Child return code was: 0
DEBUG util.py:624:  child environment: None
DEBUG util.py:542:  Executing command: ['/bin/umount', '-n', '-l', '/var/lib/mock/f41-build-811944-147589/root/sys'] with env {'TERM': 'vt100', 'SHELL': '/bin/sh', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'C.UTF-8'} and shell False
DEBUG util.py:598:  Child return code was: 0
DEBUG util.py:624:  child environment: None
DEBUG util.py:542:  Executing command: ['/bin/umount', '-n', '-l', '/var/lib/mock/f41-build-811944-147589/root/proc'] with env {'TERM': 'vt100', 'SHELL': '/bin/sh', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'C.UTF-8'} and shell False
DEBUG util.py:598:  Child return code was: 0
DEBUG util.py:624:  child environment: None
DEBUG util.py:542:  Executing command: ['/bin/umount', '-n', '-l', '/var/lib/mock/f41-build-811944-147589/root/proc'] with env {'TERM': 'vt100', 'SHELL': '/bin/sh', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'C.UTF-8'} and shell False
DEBUG util.py:598:  Child return code was: 0