coq 8.20.0-1 Soname List

Back to Package

  • libc.so.6
  • libgmp.so.10
  • libm.so.6
  • ld-linux-x86-64.so.2