Thu, 26 Nov 2020 15:49:34 PST | login

Information for package gappalib-coq

Namegappalib-coq
ID15699
Builds
1 through 7 of 7
NVR Built by Finished descending sort State
gappalib-coq-1.4.4-3.fc33 davidlt 2020-09-05 05:44:17 failed
gappalib-coq-1.4.3-3.fc33 davidlt 2020-06-09 02:50:53 failed
gappalib-coq-1.4.3-2.fc33 davidlt 2020-05-10 12:46:11 failed
gappalib-coq-1.4.3-1.fc33 davidlt 2020-04-16 09:41:16 failed
gappalib-coq-1.4.2-6.fc33 davidlt 2020-04-08 16:28:29 failed
gappalib-coq-1.4.2-5.fc33 davidlt 2020-03-30 04:50:31 failed
gappalib-coq-1.4.2-1.fc31 davidlt 2019-09-21 12:07:52 failed
Builds 1 through 7 of 7
Tags
1 through 5 of 5
Name ascending sort Owner Included? Extra Arches
f29 kojiadmin yes
f30 kojiadmin yes
f31 kojiadmin yes
f32 kojiadmin yes
f33 kojiadmin yes
Tags 1 through 5 of 5