minisat 2.2.1.20201216-2 Soname List

Back to Package

  • libc.so.6
  • libgcc_s.so.1
  • libm.so.6
  • libminisat.so.2
  • libstdc++.so.6
  • libz.so.1