Jiri Slaby fe063e3d30 revert the CVE patch ...

It is broken, stp and others fail to build.

2026-02-26 08:52:09 +01:00

_service

bsc#1258391 CVE-2026-2644

2026-02-23 13:33:18 +01:00

_servicedata

up to 2.2.1+20230206

2025-04-17 08:14:49 +02: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

0001-core-Dimacs-remove-set-but-not-used-vars.patch

bsc#1258391 CVE-2026-2644

2026-02-23 13:33:18 +01:00

CMakeLists-use-absolute-libdir-in-rpath-handling.patch

rpath fix

2022-07-27 07:30:48 +00:00

minisat-2.2.1+20230206.tar.xz

bsc#1258391 CVE-2026-2644

2026-02-23 13:33:18 +01:00

minisat.changes

revert the CVE patch

2026-02-26 08:52:09 +01:00

minisat.obsinfo

up to 2.2.1+20230206

2025-04-17 08:14:49 +02:00

minisat.spec

revert the CVE patch

2026-02-26 08:52:09 +01:00

Description

No description provided

338 KiB

Languages

Diff 100%