Thu, 05 Nov 2026 13:27:36 UTC Log in

coq

ID 211371 build2 tags

Builds

NVR Built by Finished descending sort State
coq-8.20.1-5.fc45 guoguo 2026-10-29 07:05:57 failed
Builds 1–1 of 1

Package

Name
coq
ID
21137

Tags

Name ascending sort Owner Included? Extra Arches
f44 kojiadmin yes -
f45 guoguo yes -
Tags 1–2 of 2