Main Site Links:

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

Information for package cryptominisat

Name	cryptominisat
ID	1073
Builds	1 through 23 of 23 NVR Built by Finished State cryptominisat-5.11.22-2.fc41 davidlt 2024-08-15 18:59:43 cryptominisat-5.11.21-3.fc41 davidlt 2024-07-11 16:30:43 cryptominisat-5.11.21-1.fc40 davidlt 2024-02-25 17:28:56 cryptominisat-5.8.0-15.rvre0.fc40 davidlt 2024-01-10 17:26:25 cryptominisat-5.8.0-15.fc40 davidlt 2023-10-31 17:17:05 cryptominisat-5.8.0-12.fc38 davidlt 2023-03-16 15:42:45 cryptominisat-5.8.0-10.fc37 churchyard 2022-09-26 10:33:56 cryptominisat-5.8.0-1.fc33 davidlt 2020-12-24 13:09:09 cryptominisat-5.7.1-4.fc33 davidlt 2020-08-13 12:57:41 cryptominisat-5.7.1-3.fc33 davidlt 2020-06-08 07:30:35 cryptominisat-5.7.1-1.fc33 davidlt 2020-05-07 18:51:23 cryptominisat-5.7.0-1.fc33 davidlt 2020-05-07 06:52:31 cryptominisat-5.6.8-6.fc33 davidlt 2020-03-27 09:09:39 cryptominisat-5.6.8-2.fc31 davidlt 2019-07-30 19:53:29 cryptominisat-5.6.8-1.fc31 davidlt 2019-07-27 16:30:08 cryptominisat-5.6.6-1.fc30 davidlt 2019-01-14 13:31:01 cryptominisat-5.6.5-1.fc30 davidlt 2018-12-05 14:12:29 cryptominisat-5.6.4-1.fc29 davidlt 2018-08-20 00:52:58 cryptominisat-5.6.3-3.fc29 davidlt 2018-07-25 00:19:51 cryptominisat-5.6.3-2.fc29 davidlt 2018-07-03 22:32:40 cryptominisat-5.6.3-1.fc29 davidlt 2018-06-15 21:17:39 cryptominisat-5.0.1-3.fc29 davidlt 2018-06-08 01:09:06 cryptominisat-2.9.11-5.fc28 kojiadmin 2018-04-14 19:50:16 Builds 1 through 23 of 23
Tags	1 through 12 of 12 Name Owner Included? Extra Arches f28 kojiadmin f29 kojiadmin f30 kojiadmin f31 kojiadmin f32 kojiadmin f33 kojiadmin f37 kojiadmin f38 kojiadmin f39 kojiadmin f40 kojiadmin f41 kojiadmin f42 kojiadmin Tags 1 through 12 of 12