Clone of https://src.fedoraproject.org/rpms/cryptominisat

Fedora Release Engineering 2cd06bcf77 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild ... Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>		2022-01-20 00:03:04 +00:00
.gitignore	New upstream release. License change to MIT. Add python3 subpackage.	2018-06-12 20:45:10 -06:00
cryptominisat-cmake.patch	Version 5.8.0.	2020-11-27 08:20:25 -07:00
cryptominisat.spec	- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild	2022-01-20 00:03:04 +00:00
sources	Version 5.8.0.	2020-11-27 08:20:25 -07:00