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

Information for package yices

Nameyices
ID23787
Builds
1 through 7 of 7
NVR Built by Finished descending sort State
yices-2.6.5-4.fc41 zhangsongsong 2024-10-14 07:45:54 complete
yices-2.6.5-1.fc40 kojiadmin 2024-08-09 03:47:09 failed
yices-2.6.5-3.fc41 kojiadmin 2024-07-20 17:07:59 failed
yices-2.6.5-2.fc41 kojiadmin 2024-07-16 22:12:23 failed
yices-2.6.5-1.fc41 kojiadmin 2024-07-03 22:25:53 failed
yices-2.6.4-12.fc41 kojiadmin 2024-06-25 17:27:34 failed
yices-2.6.4-12.fc40 kojiadmin 2024-06-25 11:30:04 failed
Builds 1 through 7 of 7
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