Information for package yices

Nameyices
ID15247
Builds
1 through 5 of 5
NVR Built by Finished descending sort State
yices-2.7.0-10.fc45 davidlt 2026-08-12 10:50:29 complete
yices-2.7.0-8.fc45 davidlt 2026-07-20 09:52:18 complete
yices-2.7.0-8.fc44 davidlt 2026-06-03 01:16:17 complete
yices-2.7.0-2.fc43 davidlt 2025-10-30 15:55:57 complete
yices-2.6.5-8.fc42 davidlt 2025-06-09 17:03:43 complete
Builds 1 through 5 of 5
Tags
1 through 5 of 5
Name ascending sort Owner Included? Extra Arches
f42 davidlt yes
f43 davidlt yes
f44 davidlt yes
f45 davidlt yes
f46 davidlt yes
Tags 1 through 5 of 5