Thu, 06 May 2021 19:22:55 UTC

Information for build Agda-stdlib-0.11-2.fc26

ID839983
Package NameAgda-stdlib
Version0.11
Release2.fc26
Epoch
Built byreleng
State failed
Volume DEFAULT
StartedFri, 10 Feb 2017 13:01:24 UTC
CompletedFri, 10 Feb 2017 13:08:13 UTC
Taskbuild (rawhide, /rpms/Agda-stdlib:b85b9d0968743b62df7da7a78057542dd63f9b6d)
Tags No tags
RPMs No RPMs