##################################
DEBUG util.py:698:  Child return code was: 0
DEBUG util.py:717:  child environment: None
DEBUG util.py:643:  Executing command: ['/bin/rpm', '-qpl', '/builddir/build/originals/why3-1.2.0-5.fc31.src.rpm'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False
DEBUG util.py:389:  Unsharing. Flags: 134217728
DEBUG util.py:556:  why3-1.2.0.tar.gz
DEBUG util.py:556:  why3-man.tar.xz
DEBUG util.py:556:  why3.spec
DEBUG util.py:698:  Child return code was: 0
DEBUG util.py:717:  child environment: None
DEBUG util.py:389:  Unsharing. Flags: 134217728
DEBUG package_manager.py:119:  ['/usr/bin/dnf', 'builddep', '--installroot', '/var/lib/mock/f31-build-117299-34634/root/', '--setopt=install_weak_deps=0', '/var/lib/mock/f31-build-117299-34634/root//builddir/build/SRPMS/why3-1.2.0-5.fc31.src.rpm']
DEBUG util.py:717:  child environment: None
DEBUG util.py:643:  Executing command: ['/usr/bin/dnf', 'builddep', '--installroot', '/var/lib/mock/f31-build-117299-34634/root/', '--setopt=install_weak_deps=0', '/var/lib/mock/f31-build-117299-34634/root//builddir/build/SRPMS/why3-1.2.0-5.fc31.src.rpm', '--setopt=tsflags=nocontexts'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'LC_MESSAGES': 'C.UTF-8'} and shell False
DEBUG util.py:556:  Last metadata expiration check: 0:00:06 ago on Sun 22 Sep 2019 02:06:27 AM EDT.
DEBUG util.py:554:  BUILDSTDERR: No matching package to install: 'coq'
DEBUG util.py:554:  BUILDSTDERR: No matching package to install: 'flocq'
DEBUG util.py:554:  BUILDSTDERR: Not all dependencies satisfied
DEBUG util.py:554:  BUILDSTDERR: Error: Some packages could not be found.
DEBUG util.py:698:  Child return code was: 1
DEBUG util.py:292:  kill orphans
DEBUG util.py:717:  child environment: None
DEBUG util.py:643:  Executing command: ['/bin/umount', '-n', '/var/lib/mock/f31-build-117299-34634/root/proc/filesystems'] with env {'TERM': 'vt100', 'SHELL': '/bin/sh', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'en_US.UTF-8'} and shell False
DEBUG util.py:698:  Child return code was: 0
DEBUG util.py:717:  child environment: None
DEBUG util.py:643:  Executing command: ['/bin/umount', '-n', '-l', '/var/lib/mock/f31-build-117299-34634/root/dev/pts'] with env {'TERM': 'vt100', 'SHELL': '/bin/sh', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'en_US.UTF-8'} and shell False
DEBUG util.py:698:  Child return code was: 0
DEBUG util.py:717:  child environment: None
DEBUG util.py:643:  Executing command: ['/bin/umount', '-n', '-l', '/var/lib/mock/f31-build-117299-34634/root/dev/shm'] with env {'TERM': 'vt100', 'SHELL': '/bin/sh', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'en_US.UTF-8'} and shell False
DEBUG util.py:698:  Child return code was: 0
DEBUG util.py:717:  child environment: None
DEBUG util.py:643:  Executing command: ['/bin/umount', '-n', '-l', '/var/lib/mock/f31-build-117299-34634/root/sys'] with env {'TERM': 'vt100', 'SHELL': '/bin/sh', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'en_US.UTF-8'} and shell False
DEBUG util.py:698:  Child return code was: 0
DEBUG util.py:717:  child environment: None
DEBUG util.py:643:  Executing command: ['/bin/umount', '-n', '-l', '/var/lib/mock/f31-build-117299-34634/root/proc'] with env {'TERM': 'vt100', 'SHELL': '/bin/sh', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'en_US.UTF-8'} and shell False
DEBUG util.py:698:  Child return code was: 0