2019-08-07 21:58:21,081 [INFO] {20512} 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
2019-08-07 22:04:43,334 [INFO] {20809} 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/408/230408/local/work/tasks/9877/229877/Agda-2.5.4.2-18.fc31.src.rpm)  Config(f31-build-73198-30897)
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 Agda-2.5.4.2-18.fc31.src.rpm
Start: build setup for Agda-2.5.4.2-18.fc31.src.rpm
ERROR: Exception(/tmp/koji/tasks/408/230408/local/work/tasks/9877/229877/Agda-2.5.4.2-18.fc31.src.rpm) Config(f31-build-73198-30897) 0 minutes 19 seconds
INFO: Results and/or logs in: /var/lib/mock/f31-build-73198-30897/result
ERROR: Command failed: 
 # /usr/bin/dnf builddep --installroot /var/lib/mock/f31-build-73198-30897/root/ /var/lib/mock/f31-build-73198-30897/root//builddir/build/SRPMS/Agda-2.5.4.2-18.fc31.src.rpm
Last metadata expiration check: 0:00:02 ago on Wed 07 Aug 2019 10:04:56 PM UTC.
Error: 
 Problem 1: conflicting requests
  - nothing provides ghc-devel(blaze-markup-0.8.2.1-5umKz1QLACt5GTkS2KJkm5) needed by ghc-blaze-html-devel-0.9.1.1-3.fc31.riscv64
 Problem 2: conflicting requests
  - nothing provides ghc-devel(transformers-compat-0.5.1.4-BG7wgRauI8h5onKXiYZE4l) needed by ghc-equivalence-devel-0.3.3-1.fc31.riscv64
 Problem 3: conflicting requests
  - nothing provides ghc-devel(unix-compat-0.5.0.1-EHbnKrAgBdbLiFhZ6tM1y) needed by ghc-filemanip-devel-0.3.6.3-12.fc31.riscv64
 Problem 4: conflicting requests
  - nothing provides ghc-devel(vector-0.12.0.1-1fezwShzdEfG3Hp1Pmvjkq) needed by ghc-hashtables-devel-1.2.3.1-3.fc31.riscv64