minisat

Edit Package minisat
No description set
Source Files
Filename Size Changed
0001-CMakeLists-support-different-lib-dirs.patch 0000001271 1.24 KB
_service 0000000681 681 Bytes
_servicedata 0000000230 230 Bytes
minisat-2.2.1+20200902.obscpio 0000233483 228 KB
minisat.changes 0000002792 2.73 KB
minisat.obsinfo 0000000106 106 Bytes
minisat.spec 0000002722 2.66 KB
Comments 0
No comments available
openSUSE Build Service is sponsored by