Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for package yices

Name	yices
ID	21889
Builds	1 through 16 of 16 NVR Built by Finished State yices-2.6.5-4.fc41 davidlt 2024-10-27 06:47:43 yices-2.6.4-12.fc40 davidlt 2024-04-16 07:02:31 yices-2.6.4-8.fc40 davidlt 2024-01-11 19:33:36 yices-2.6.4-7.fc40 davidlt 2024-01-03 14:49:51 yices-2.6.4-6.fc38 davidlt 2023-06-08 12:18:29 yices-2.6.4-4.fc37 davidlt 2022-11-15 19:06:29 yices-2.6.2-6.fc33 davidlt 2021-05-07 11:20:42 yices-2.6.2-5.fc33 davidlt 2020-12-04 15:55:04 yices-2.6.2-3.fc33 davidlt 2020-06-09 06:21:24 yices-2.6.2-1.fc33 davidlt 2020-04-16 17:34:20 yices-2.6.1-3.fc31 davidlt 2019-08-04 11:51:19 yices-2.6.1-2.fc31 davidlt 2019-07-28 16:18:56 yices-2.6.1-1.fc30 davidlt 2018-12-05 07:28:19 yices-2.6.1-1.fc29 davidlt 2018-11-26 18:23:53 yices-2.6.0-2.fc29 davidlt 2018-08-10 19:24:37 yices-2.5.4-3.fc29 davidlt 2018-06-26 00:33:53 Builds 1 through 16 of 16
Tags	1 through 10 of 10 Name Owner Included? Extra Arches f29 kojiadmin f30 kojiadmin f31 kojiadmin f32 kojiadmin f33 kojiadmin f37 kojiadmin f38 kojiadmin f39 kojiadmin f40 kojiadmin f41 kojiadmin Tags 1 through 10 of 10