jonludlam/opam

Project ID: 2448

Build 126106

General Information

Status:: failed - Build failed. See logs for more details.
Submitted:: 2015-10-15 15:57 UTC (9 years ago)
Started:: 2015-10-15 15:57 UTC (9 years ago)
Finished:: 2015-10-15 16:04 UTC (9 years ago)
Build time:: 6 minutes
Build timeout:: 6 hours
Networking enabled:: True
Directory:: opam
Built by:: jonludlam

Source

Package:: gringo
Version:: 4.5.3-1.el7.centos
Source Type:: External link to .spec or SRPM
Package URL:: http://www.recoil.org/~jon/gringo-4.5.3-1.el7.centos.src.rpm

Results

Source state:: succeeded
Source build logs:: builder-live.log.gz , backend.log.gz
Built Packages:: gringo 4.5.3; gringo-debuginfo 4.5.3; gringo-devel 4.5.3

Chroot Name	Dist Git Source	Build Time	Logs	State
epel-7-x86_64	21d27ea	3 minutes	builder-live.log.gz , backend.log.gz	succeeded
fedora-21-i386	504ebd0	6 minutes	builder-live.log.gz , backend.log.gz	succeeded
fedora-21-x86_64	504ebd0	4 minutes	builder-live.log.gz , backend.log.gz	succeeded
fedora-22-i386	2b4f0b9	4 minutes	builder-live.log.gz , backend.log.gz	succeeded
fedora-22-x86_64	2b4f0b9	3 minutes	builder-live.log.gz , backend.log.gz	succeeded
fedora-23-i386	9f3804b	3 minutes	builder-live.log.gz , backend.log.gz	failed
fedora-23-x86_64	9f3804b	3 minutes	builder-live.log.gz , backend.log.gz	failed