minisat

Edit Package minisat
No description set
  • Sources inherited from project openSUSE:Leap:15.0
  • Download package
  • osc -A https://api.opensuse.org checkout openSUSE:Leap:15.0:Update/minisat && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
Makefile_lib_rule.patch 0000001457 1.42 KB over 7 years
_service 0000000553 553 Bytes about 6 years
minisat-2.2.0+20130925.tar.xz 0000040620 39.7 KB about 6 years
minisat.changes 0000001110 1.08 KB about 6 years
minisat.spec 0000002973 2.9 KB about 6 years
Comments 0
openSUSE Build Service is sponsored by