Convert License tag to SPDX.

cryptominisat.spec

@@ -8,8 +8,10 @@ Version:        5.8.0
 Release:        10%{?dist}
 Summary:        SAT solver
 
-License:        MIT
-URL:            http://www.msoos.org/
+# The project as a whole is MIT.
+# src/MersenneTwister.h is BSD-3-Clause.
+License:        MIT AND BSD-3-Clause
+URL:            https://www.msoos.org/
 Source0:        https://github.com/msoos/%{name}/archive/%{version}/%{name}-%{version}.tar.gz
 # Change the CMake files to not change Fedora build flags
 Patch0:         %{name}-cmake.patch
@@ -113,6 +115,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Mon Aug 15 2022 Jerry James <loganjerry@gmail.com> - 5.8.0-10
+- Convert License tag to SPDX
+
 * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-10
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild