cvc4 1.8-2 Soname List

Back to Package

  • ld-linux-x86-64.so.2
  • libantlr3c.so
  • libcln.so.6
  • libc.so.6
  • libcvc4parser.so.7
  • libcvc4.so.7
  • libgcc_s.so.1
  • libm.so.6
  • libstdc++.so.6