Fri, 29 Mar 2024 03:57:10 CST | login

Information for package yices

Nameyices
ID21803
Builds
1 through 7 of 7
NVR Built by Finished descending sort State
yices-2.6.4-9.fc40 hezhengyu 2024-01-30 15:41:53 complete
yices-2.6.4-8.fc40 hezhengyu 2024-01-13 15:37:18 complete
yices-2.6.4-8.fc39 hezhengyu 2024-01-13 10:12:43 complete
yices-2.6.4-7.fc40 hezhengyu 2024-01-05 14:23:12 failed
yices-2.6.4-7.fc39 hezhengyu 2023-11-15 23:07:31 complete
yices-2.6.4-6.fc38 liuhaibin 2023-08-23 21:06:11 complete
yices-2.6.4-4.fc37 kojiadmin 2023-02-28 17:43:46 failed
Builds 1 through 7 of 7
Tags
1 through 4 of 4
Name ascending sort Owner Included? Extra Arches
f37 kojiadmin yes
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
Tags 1 through 4 of 4