rpms
/
cryptominisat
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
75 Commits 27 Branches 0 Tags 104 KiB
Diff 100%
Go to file
David Abdurachmanov 0133f78387
Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: 
Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>
 		2024-01-10 19:00:03 +02: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-include.patch Add -include patch for GCC 13 compatibility. 2023-01-17 19:27:15 -07:00
cryptominisat-setuptools.patch Use setuptools instead of distutils (rhbz#2154857). 2022-12-19 11:07:39 -07:00
cryptominisat.spec Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: 2024-01-10 19:00:03 +02:00
sources Version 5.8.0. 2020-11-27 08:20:25 -07:00