jirislaby/d-t-s-minisat
SHA256
1
0
Fork 0
forked from pool/minisat
Code Pull Requests Activity
22 Commits 1 Branch 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
Jiri Slaby 5101e7ad29 up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
_service
up to 2.2.1+20230206
2025-04-17 08:14:49 +02: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
CMakeLists-use-absolute-libdir-in-rpath-handling.patch
rpath fix
2022-07-27 07:30:48 +00:00
minisat-2.2.1+20230206.obscpio
up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
minisat.changes
up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
minisat.obsinfo
up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
minisat.spec
up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
Description
No description provided
290 KiB
Languages
Diff 100%