Singular 4-1-1: System description, shared libaries and porting remarks for the binaries: x86_64-Linux: Ubuntu 16.04, should run on any x86_64 CPU with Linux gcc: 5.4.0 ldd (used shared libraries): libpthread.so.0 libstdc++.so.6 libgcc_s.so.1 libc.so.6 libm.so.6 ix86-FreeBSD: (with static NTL-10.1.0, 10.5.0 has problems) FreeBSD 11.1 gcc: 5.5.0 ldd (used shared libraries): libflint.so.13 libmpfr.so.4 libgmp.so.10 libreadline.so.6 libncurses.so.8 librt.so.1 libstdc++.so.6 libm.so.5 libgcc_s.so.1 libthr.so.3 libc.so.7 OsX: cc: clang 4.2.1 Compatible Apple LLVM 9.0.0 used shared libraries (included in dmg): libgmp.10.dylib (compatibility version 14.0.0, current version 14.2.0) libntl.35.dylib (compatibility version 36.0.0, current version 36.0.0) libmpfr.6.dylib (compatibility version 7.0.0, current version 7.1.0)