Wed, 27 Nov 2024 00:13:19 UTC | login

Information for buildroot f38-build-709395-92901

Hostunmatchedbuild13.davidlt.org
Archriscv64
ID709395
TaskbuildArch (coq-8.17.0-1.fc38.src.rpm, riscv64)
Stateexpired
CreatedFri, 05 May 2023 06:11:55 UTC
RetiredFri, 05 May 2023 07:37:15 UTC
Repo ID92901
Repo Tagf38-build
Repo Statedeleted
Repo CreatedFri, 05 May 2023 05:30:20 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives