|
|
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 |
|
|
|
b008204bcd
|
rpath fix
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=20
|
2022-07-27 07:30:48 +00:00 |
|
|
|
55081065e2
|
fix rpath
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=18
|
2022-07-26 04:32:39 +00:00 |
|
|
|
ed01017865
|
up to 2.2.1+20200902
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=14
|
2020-11-04 09:19:04 +00:00 |
|
|
|
0449745d0a
|
up to 2.2.1+20180702
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=12
|
2019-11-04 09:24:21 +00:00 |
|
|
|
35dca4288f
|
Accepting request 719449 from home:simonpuchert:branches:devel:tools:statica
Add friend-declaration.patch:
* Fix the illegal friend declaration that caused a build failure.
OBS-URL: https://build.opensuse.org/request/show/719449
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=10
|
2019-07-31 07:45:10 +00:00 |
|
|
|
4bb0fbe5a6
|
versioning fix
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=8
|
2017-02-17 11:49:12 +00:00 |
|
|
|
43fb94a883
|
- Adjust _service
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=7
|
2017-02-16 13:00:35 +00:00 |
|
|
|
9bc20132ee
|
- Adjust _service and add _servicedata
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=6
|
2017-02-16 12:59:39 +00:00 |
|
|
|
dfc20371df
|
Accepting request 457626 from home:jengelh:branches:devel:tools:statica
- Trim description
- Use version numbers based on those used by upstream
OBS-URL: https://build.opensuse.org/request/show/457626
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=5
|
2017-02-16 12:57:25 +00:00 |
|
|
|
eb154876e8
|
LICENSE README
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=4
|
2015-10-15 10:00:53 +00:00 |
|
|
|
f608746f59
|
fix build
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=2
|
2015-10-09 12:21:44 +00:00 |
|
|
|
e7e97312f0
|
Accepting request 337407 from home:jirislaby:statica
OBS-URL: https://build.opensuse.org/request/show/337407
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=1
|
2015-10-09 09:58:31 +00:00 |
|
