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

Information for package yices

Nameyices
ID23787
Builds
1 through 15 of 15
NVR Built by Finished descending sort State
yices-2.7.0-10.fc45 hezhengyu 2026-08-28 18:52:12 failed
yices-2.7.0-6.fc44 liuyang 2026-05-05 09:28:47 failed
yices-2.7.0-3.fc44 liuyang 2026-04-26 10:24:39 failed
yices-2.7.0-5.fc44 liuyang 2026-03-30 04:46:41 failed
yices-2.7.0-2.fc43 zhangsongsong 2025-11-23 23:49:36 complete
yices-2.7.0-1.fc42 kojiadmin 2025-11-06 14:38:06 failed
yices-2.6.5-8.fc42 kojiadmin 2025-05-02 08:23:56 failed
yices-2.6.5-7.fc42 kojiadmin 2025-04-25 04:09:36 failed
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 15 of 15
Tags
1 through 8 of 8
Name ascending sort Owner Included? Extra Arches
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
f41 kojiadmin yes
f42 kojiadmin yes
f43 kojiadmin yes
f44 kojiadmin yes
f45 kojiadmin yes
Tags 1 through 8 of 8