coq 8.14.1-1 Soname List

Back to Package

  • libc.so.6
  • libdl.so.2
  • libgmp.so.10
  • libm.so.6
  • libpthread.so.0