petersen/idris

Project ID: 1634

Build 486209

General Information

Status:
failed - Build failed. See logs for more details.
Submitted:
2016-12-09 00:22 UTC (7 years ago)
Started:
2016-12-09 00:22 UTC (7 years ago)
Finished:
2016-12-09 00:43 UTC (7 years ago)
Build time:
20 minutes
Build timeout:
18 hours
Networking enabled:
True
Directory:
idris
Built by:
petersen

Source

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