fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for package gappalib-coq

Namegappalib-coq
ID3362
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Builds
1 through 2 of 2
NVR Built by Finished descending sort State
gappalib-coq-1.5.4-4.fc40 kojiadmin 2024-05-03 09:22:16 complete
gappalib-coq-1.5.4-4.fc41 kojiadmin 2024-05-02 00:01:14 complete
Builds 1 through 2 of 2
Tags
1 through 4 of 4
Name ascending sort Owner Included? Extra Arches
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
f41 kojiadmin yes
Tags 1 through 4 of 4