Ana Guerrero
2c506c0483
- Update to version 2.2.1+20230206: * utils/System.*: use fpu_control only on glibc - use -DCMAKE_POLICY_VERSION_MINIMUM=3.10 to support cmake 4 - use %cmake_build OBS-URL: https://build.opensuse.org/request/show/1270182 OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/minisat?expand=0&rev=7
4 lines
145 B
Plaintext
4 lines
145 B
Plaintext
mtime: 1744870489
|
|
commit: 5101e7ad292d7c3491180ffd780686b8b6904e5c55e69dd53416fbe43541cce9
|
|
url: https://src.opensuse.org/jirislaby/d-t-s-minisat
|