Main Site Links:

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

Information for package cryptominisat4

Name	cryptominisat4
ID	20874
Builds	1 through 18 of 18 NVR Built by Finished State cryptominisat4-4.5.3-16.fc29 releng 2018-07-13 07:27:22 cryptominisat4-4.5.3-15.fc28 jjames 2018-02-14 03:40:51 cryptominisat4-4.5.3-14.fc28 jwakely 2018-01-24 11:30:36 cryptominisat4-4.5.3-13.fc28 zbyszek 2017-08-19 14:30:54 cryptominisat4-4.5.3-12.fc27 besser82 2017-08-06 10:48:23 cryptominisat4-4.5.3-11.fc27 releng 2017-08-03 03:09:57 cryptominisat4-4.5.3-10.fc27 releng 2017-07-26 13:01:15 cryptominisat4-4.5.3-9.fc27 jwakely 2017-07-17 18:42:52 cryptominisat4-4.5.3-8.fc27 releng 2017-05-16 19:45:50 cryptominisat4-4.5.3-8.fc26 releng 2017-05-16 09:10:41 cryptominisat4-4.5.3-7.fc26 kalev 2017-02-07 12:22:39 cryptominisat4-4.5.3-6.fc25 releng 2016-07-19 07:08:19 cryptominisat4-4.5.3-5.fc24 releng 2016-02-03 19:48:53 cryptominisat4-4.5.3-4.fc24 jwakely 2016-01-15 11:44:49 cryptominisat4-4.5.3-3.fc24 jwakely 2015-09-04 15:53:23 cryptominisat4-4.5.3-2.fc22 jjames 2015-08-30 22:44:38 cryptominisat4-4.5.3-2.fc23 jjames 2015-08-30 22:33:40 cryptominisat4-4.5.3-2.fc24 jjames 2015-08-30 22:23:29 Builds 1 through 18 of 18
Tags	1 through 38 of 38 Name Owner Included? Extra Arches f21 jjames f23_Beta jjames f24 jjames f24-Alpha jjames f24-Beta jjames f24-docker jjames f25 releng f25-Alpha jjames f25-Beta jjames f25-docker jjames f26 releng f26-Alpha jjames f26-Beta jjames f26-docker jjames f27 releng f27-Beta releng f28 releng f28-Beta releng f29 releng f29-Beta releng f30 releng f30-Beta releng f31 releng f31-Beta releng f32 releng f32-Beta releng f33 releng f33-Beta releng f34 releng f34-Beta releng f35 orphan f35-Beta orphan f36 orphan f36-Beta orphan f37 orphan module-bootstrap-f27 releng module-package-list releng trashcan jjames Tags 1 through 38 of 38