minisat

Edit Package minisat
No description set
Refresh
Refresh
Source Files
Filename Size Changed
0001-CMakeLists-support-different-lib-dirs.patch 0000001062 1.04 KB
CMakeLists-use-absolute-libdir-in-rpath-handling.patch 0000002138 2.09 KB
_service 0000000679 679 Bytes
_servicedata 0000000229 229 Bytes
minisat-2.2.1+20200902.obscpio 0000233995 229 KB
minisat.changes 0000003023 2.95 KB
minisat.obsinfo 0000000105 105 Bytes
minisat.spec 0000002793 2.73 KB
Latest Revision
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 992468 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 6)
Automatic submission by obs-autosubmit
Comments 0
openSUSE Build Service is sponsored by