codeblock/coq-epel

Project ID: 7805

Build 323394

General Information

Status:
failed - Build failed. See logs for more details.
Submitted:
2016-06-04 08:33 UTC (8 years ago)
Started:
2016-06-04 08:33 UTC (8 years ago)
Finished:
2016-06-04 08:36 UTC (8 years ago)
Build time:
2 minutes
Build timeout:
1 day
Networking enabled:
False
Directory:
coq-epel
Built by:
codeblock

Source

Package:
emacs-common-proofgeneral
Version:
4.2-5.el7
Source Type:
External link to .spec or SRPM
Package URL:
http://209.132.184.131/emacs-common-proofgeneral-4.2-5.el7.src.rpm

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
emacs-common-proofgeneral 4.2
emacs-proofgeneral 4.2
emacs-proofgeneral-el 4.2
Chroot Name Dist Git Source Build Time Logs State
epel-6-i386 4e01209 59 seconds builder-live.log.gz , backend.log.gz failed
epel-6-x86_64 4e01209 a minute builder-live.log.gz , backend.log.gz failed
epel-7-x86_64 df31eec 2 minutes builder-live.log.gz , backend.log.gz succeeded