libc.so.6
libdl.so.2
libffi.so.7
libgmp.so.10
libHSbase-4.14.2.0-ghc8.10.5.so
libHSdoctest-driver-gen-0.3.0.4-IolJZPjak6j47ryDHujlxR-ghc8.10.5.so
libHSghc-prim-0.6.1-ghc8.10.5.so
libHSinteger-gmp-1.0.3.0-ghc8.10.5.so
libHSrts-ghc8.10.5.so
libm.so.6
libpthread.so.0
librt.so.1
