2018-08-19 10:07:46,013 [INFO] {15886} koji.build.buildroot:440 Running mock as kojibuilder
INFO: mock.py version 1.4.9 starting (python version = 3.6.4)...
Start: init plugins
INFO: selinux disabled
Finish: init plugins
Start: run
Start: clean chroot
Finish: clean chroot
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
Mock Version: 1.4.9
INFO: Mock Version: 1.4.9
Start: dnf install
Finish: dnf install
Finish: chroot init
INFO: Installed packages:
Finish: run
2018-08-19 10:22:58,817 [INFO] {16550} koji.build.buildroot:440 Running mock as kojibuilder
INFO: mock.py version 1.4.9 starting (python version = 3.6.4)...
Start: init plugins
INFO: selinux disabled
Finish: init plugins
Start: run
INFO: Start(/tmp/koji/tasks/5146/95146/local/work/cli-build/1534075772.1060288.OyifEEqk/coq-8.7.1-7.fc29.src.rpm)  Config(f29-build-26617-13832)
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
Mock Version: 1.4.9
INFO: Mock Version: 1.4.9
Finish: chroot init
Start: build phase for coq-8.7.1-7.fc29.src.rpm
Start: build setup for coq-8.7.1-7.fc29.src.rpm
ERROR: Exception(/tmp/koji/tasks/5146/95146/local/work/cli-build/1534075772.1060288.OyifEEqk/coq-8.7.1-7.fc29.src.rpm) Config(f29-build-26617-13832) 0 minutes 33 seconds
INFO: Results and/or logs in: /var/lib/mock/f29-build-26617-13832/result
ERROR: Command failed: 
 # /usr/bin/dnf builddep --installroot /var/lib/mock/f29-build-26617-13832/root/ /var/lib/mock/f29-build-26617-13832/root//builddir/build/SRPMS/coq-8.7.1-7.fc29.src.rpm
Last metadata expiration check: 0:00:03 ago on Sun 19 Aug 2018 10:23:14 AM UTC.
Error: 
 Problem: conflicting requests
  - nothing provides ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b needed by ocaml-lablgtk-devel-2.18.6-5.fc29.riscv64