Tue, 19 Nov 2019 21:08:49 UTC

Information for build Agda-2.3.2.2-2.el7

ID512268
Package NameAgda
Version2.3.2.2
Release2.el7
Epoch
Built bypetersen
State failed
Volume DEFAULT
StartedTue, 22 Apr 2014 00:55:00 UTC
CompletedTue, 22 Apr 2014 01:21:12 UTC
Taskbuild (epel7-candidate, /Agda:e6f563dd1a28f96bfa8ea57154c7377bc9705278)
Tags No tags
RPMs No RPMs