D: [iurt_root_command] chroot
Building target platforms: aarch64
Building for target aarch64
Wrote: /home/iurt/rpmbuild/SRPMS/coq-8.20.1-1.mga10.src.rpm
D: [iurt_root_command] Success!