yices | Package Info | ISCAS openkoji system

Click here to visit the old openkoji buildsystem (Archived)

Information for package yices

Name

yices

ID

23787

Links

Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem

Builds

NVR	Built by	Finished	State
1 through 7 of 7
yices-2.6.5-4.fc41	kojiadmin	2024-09-05 09:13:16
yices-2.6.5-1.fc40	kojiadmin	2024-08-09 03:47:09
yices-2.6.5-3.fc41	kojiadmin	2024-07-20 17:07:59
yices-2.6.5-2.fc41	kojiadmin	2024-07-16 22:12:23
yices-2.6.5-1.fc41	kojiadmin	2024-07-03 22:25:53
yices-2.6.4-12.fc41	kojiadmin	2024-06-25 17:27:34
yices-2.6.4-12.fc40	kojiadmin	2024-06-25 11:30:04

Builds 1 through 7 of 7

Name	Owner	Included?	Extra Arches
1 through 4 of 4
f38	kojiadmin
f39	kojiadmin
f40	kojiadmin
f41	kojiadmin

Tags 1 through 4 of 4