minisat

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