Sun, 12 Jul 2020 13:25:40 UTC

Information for buildroot f33-build-20084640-1423342

Hostbuildvm-armv7-14.arm.fedoraproject.org
Archarmhfp
ID20084640
TaskbuildSRPMFromSCM (/rpms/coq.git:c41636e6bfe89876ead106c8155ef4d403578416)
Stateexpired
CreatedWed, 01 Apr 2020 00:57:59 UTC
RetiredWed, 01 Apr 2020 00:59:20 UTC
Repo ID1423342
Repo Tagf33-build
Repo Statedeleted
Repo CreatedWed, 01 Apr 2020 00:31:21 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives