codeblock/coq-epel

Project ID: 7805

Build 323402

General Information

Status:: succeeded - Successfully built.
Submitted:: 2016-06-04 08:43 UTC (8 years ago)
Started:: 2016-06-04 08:43 UTC (8 years ago)
Finished:: 2016-06-04 09:04 UTC (8 years ago)
Build time:: 21 minutes
Build timeout:: 1 day
Networking enabled:: False
Directory:: coq-epel
Built by:: codeblock

Source

Package:: coq
Version:: 8.5pl1-1.el7
Source Type:: External link to .spec or SRPM
Package URL:: http://209.132.184.131/coq-8.5pl1-1.el7.src.rpm

Results

Source state:: succeeded
Source build logs:: builder-live.log.gz , backend.log.gz
Built Packages:: coq 8.5pl1; coq-coqide 8.5pl1; coq-debuginfo 8.5pl1; coq-doc 8.5pl1; coq-emacs 8.5pl1

Chroot Name	Dist Git Source	Build Time	Logs	State
epel-7-x86_64	729a151	21 minutes	builder-live.log.gz , backend.log.gz	succeeded