petersen/idris

Project ID: 1634

Build 155567

General Information

Status:
failed - Build failed. See logs for more details.
Submitted:
2016-01-25 01:53 UTC (8 years ago)
Started:
2016-01-25 01:54 UTC (8 years ago)
Finished:
2016-01-25 02:25 UTC (8 years ago)
Build time:
31 minutes
Build timeout:
6 hours
Networking enabled:
True
Directory:
idris
Built by:
petersen

Source

Package:
idris
Version:
0.10-1.fc23
Source Type:
External link to .spec or SRPM
Package URL:
http://petersen.fedorapeople.org/copr/idris-0.10-1.fc23.src.rpm