Thu, 28 Mar 2024 15:38:33 UTC | login

Information for package gappalib-coq

Namegappalib-coq
ID15699
Builds
1 through 18 of 18
NVR Built by ascending sort Finished State
gappalib-coq-1.4.2-1.fc31 davidlt 2019-09-21 19:07:52 failed
gappalib-coq-1.4.2-5.fc33 davidlt 2020-03-30 11:50:31 failed
gappalib-coq-1.4.2-6.fc33 davidlt 2020-04-08 23:28:29 failed
gappalib-coq-1.4.3-1.fc33 davidlt 2020-04-16 16:41:16 failed
gappalib-coq-1.4.3-2.fc33 davidlt 2020-05-10 19:46:11 failed
gappalib-coq-1.4.3-3.fc33 davidlt 2020-06-09 09:50:53 failed
gappalib-coq-1.4.4-7.fc33 davidlt 2020-12-31 08:47:35 failed
gappalib-coq-1.4.4-3.fc33 davidlt 2020-09-05 12:44:17 failed
gappalib-coq-1.4.4-6.fc33 davidlt 2020-12-04 13:21:16 failed
gappalib-coq-1.4.4-9.fc33 davidlt 2021-05-07 20:08:59 failed
gappalib-coq-1.4.4-8.fc33 davidlt 2021-01-11 14:43:12 failed
gappalib-coq-1.5.2-4.fc37 davidlt 2022-11-13 14:39:19 failed
gappalib-coq-1.5.2-7.fc38 davidlt 2023-03-31 15:05:29 failed
gappalib-coq-1.5.3-1.fc38 davidlt 2023-06-12 16:37:45 failed
gappalib-coq-1.5.3-6.fc40 davidlt 2023-11-13 14:53:09 complete
gappalib-coq-1.5.4-1.fc40 davidlt 2024-01-07 14:14:21 failed
gappalib-coq-1.5.3-7.fc40 davidlt 2023-12-13 17:15:26 complete
gappalib-coq-1.5.3-8.fc40 davidlt 2023-12-27 08:29:19 complete
Builds 1 through 18 of 18
Tags
1 through 9 of 9
Name ascending sort Owner Included? Extra Arches
f29 kojiadmin yes
f30 kojiadmin yes
f31 kojiadmin yes
f32 kojiadmin yes
f33 kojiadmin yes
f37 kojiadmin yes
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
Tags 1 through 9 of 9