yices | Package Info | koji

Information for package yices

Name

yices

ID

15247

Builds

NVR	Built by	Finished	State
1 through 1 of 1
yices-2.6.5-8.fc42	davidlt	2025-06-09 17:03:43

Builds 1 through 1 of 1

Name	Owner	Included?	Extra Arches
1 through 1 of 1
f42	davidlt

Tags 1 through 1 of 1