2016-06-04 08:43:53,185 - Mock Version: 1.2.17
2016-06-04 08:43:53,559 - Start: yum update
2016-06-04 08:44:06,807 - Finish: yum update
2016-06-04 08:44:06,826 - Finish: chroot init
2016-06-04 08:44:06,830 - Start: build phase for coq-8.5pl1-1.el7.src.rpm
2016-06-04 08:44:06,838 - Start: build setup for coq-8.5pl1-1.el7.src.rpm
2016-06-04 08:46:04,988 - Finish: build setup for coq-8.5pl1-1.el7.src.rpm
2016-06-04 08:46:04,991 - Start: rpmbuild coq-8.5pl1-1.el7.src.rpm
2016-06-04 09:04:27,138 - Finish: rpmbuild coq-8.5pl1-1.el7.src.rpm