/opt/dafny/libmscordbi.so libmscordaccore.so,libstdc++.so.6,libm.so.6,libgcc_s.so.1,libc.so.6,ld-linux-x86-64.so.2
/opt/dafny/libmscordaccore.so libgcc_s.so.1,libpthread.so.0,librt.so.1,libdl.so.2,libstdc++.so.6,libm.so.6,libc.so.6,ld-linux-x86-64.so.2
/opt/dafny/libhostpolicy.so libdl.so.2,libpthread.so.0,libstdc++.so.6,libm.so.6,libgcc_s.so.1,libc.so.6,ld-linux-x86-64.so.2
/opt/dafny/libhostfxr.so libdl.so.2,libstdc++.so.6,libm.so.6,libgcc_s.so.1,libc.so.6,ld-linux-x86-64.so.2
/opt/dafny/libcoreclrtraceptprovider.so liblttng-ust.so.0,libstdc++.so.6,libm.so.6,libgcc_s.so.1,libc.so.6
/opt/dafny/libcoreclr.so libgcc_s.so.1,libpthread.so.0,librt.so.1,libdl.so.2,libstdc++.so.6,libm.so.6,libc.so.6,ld-linux-x86-64.so.2
/opt/dafny/libclrjit.so libgcc_s.so.1,libpthread.so.0,librt.so.1,libdl.so.2,libstdc++.so.6,libm.so.6,libc.so.6,ld-linux-x86-64.so.2
/opt/dafny/libclrgc.so libstdc++.so.6,libm.so.6,libgcc_s.so.1,libc.so.6
/opt/dafny/libSystem.Security.Cryptography.Native.OpenSsl.so libdl.so.2,libpthread.so.0,libc.so.6
/opt/dafny/libSystem.Net.Security.Native.so libdl.so.2,libc.so.6
/opt/dafny/libSystem.Native.so librt.so.1,libc.so.6
/opt/dafny/libSystem.IO.Compression.Native.so libz.so.1,libm.so.6,libc.so.6
/opt/dafny/libSystem.Globalization.Native.so libdl.so.2,libc.so.6
/opt/dafny/dafny libpthread.so.0,libdl.so.2,libstdc++.so.6,libm.so.6,libgcc_s.so.1,libc.so.6
/opt/dafny/createdump libdl.so.2,libstdc++.so.6,libm.so.6,libgcc_s.so.1,libc.so.6
/opt/dafny/DafnyServer libpthread.so.0,libdl.so.2,libstdc++.so.6,libm.so.6,libgcc_s.so.1,libc.so.6
/opt/dafny/DafnyDriver libpthread.so.0,libdl.so.2,libstdc++.so.6,libm.so.6,libgcc_s.so.1,libc.so.6
