Thu, 16 Jul 2020 16:18:06 UTC

Information for buildroot f32-build-20000641-1416711

Hostbuildvm-armv7-14.arm.fedoraproject.org
Archarmhfp
ID20000641
TaskbuildSRPMFromSCM (/rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a)
Stateexpired
CreatedWed, 25 Mar 2020 20:37:25 UTC
RetiredWed, 25 Mar 2020 20:38:46 UTC
Repo ID1416711
Repo Tagf32-build
Repo Statedeleted
Repo CreatedWed, 25 Mar 2020 19:56:23 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives