Information for package gappalib-coq

Namegappalib-coq
ID2668
Builds
1 through 7 of 7
NVR Built by Finished descending sort State
gappalib-coq-1.11.0-3.fc45 davidlt 2026-08-18 23:17:17 complete
gappalib-coq-1.11.0-1.fc45 davidlt 2026-07-14 05:39:48 failed
gappalib-coq-1.10.0-1.fc44 davidlt 2026-06-02 23:23:17 failed
gappalib-coq-1.8.0-2.fc44 davidlt 2026-05-13 02:36:59 failed
gappalib-coq-1.7.1-5.rvre0.fc43 davidlt 2026-01-24 18:54:20 failed
gappalib-coq-1.7.1-4.fc43 davidlt 2025-11-05 09:15:28 complete
gappalib-coq-1.7.0-2.rvre0.fc42 davidlt 2025-06-09 16:15:18 complete
Builds 1 through 7 of 7
Tags
1 through 5 of 5
Name ascending sort Owner Included? Extra Arches
f42 davidlt yes
f43 davidlt yes
f44 davidlt yes
f45 davidlt yes
f46 davidlt yes
Tags 1 through 5 of 5