pool/minisat
SHA256
17
0
Fork 2
Code Issues Pull Requests Activity
22 Commits 3 Branches 0 Tags
factory
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Ana Guerrero 2c506c0483 Accepting request 1270182 from devel:tools:statica 
- 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
2025-04-17 14:09:29 +00:00
_scmsync.obsinfo
Accepting request 1270182 from devel:tools:statica
2025-04-17 14:09:29 +00:00
_service
Accepting request 1270182 from devel:tools:statica
2025-04-17 14:09:29 +00:00
_servicedata
Accepting request 1270182 from devel:tools:statica
2025-04-17 14:09:29 +00:00
.gitattributes
Accepting request 337407 from home:jirislaby:statica
2015-10-09 09:58:31 +00:00
.gitignore
Accepting request 337407 from home:jirislaby:statica
2015-10-09 09:58:31 +00:00
0001-CMakeLists-support-different-lib-dirs.patch
rpath fix
2022-07-27 07:30:48 +00:00
build.specials.obscpio
Accepting request 1270182 from devel:tools:statica
2025-04-17 14:09:29 +00:00
CMakeLists-use-absolute-libdir-in-rpath-handling.patch
rpath fix
2022-07-27 07:30:48 +00:00
minisat-2.2.1+20230206.obscpio
Accepting request 1270182 from devel:tools:statica
2025-04-17 14:09:29 +00:00
minisat.changes
Accepting request 1270182 from devel:tools:statica
2025-04-17 14:09:29 +00:00
minisat.obsinfo
Accepting request 1270182 from devel:tools:statica
2025-04-17 14:09:29 +00:00
minisat.spec
Accepting request 1270182 from devel:tools:statica
2025-04-17 14:09:29 +00:00
Description
No description provided
290 KiB
Languages
Diff 100%