> and what is the output of ldd home/ncohen/.Sage/local/lib/libtinfo.so.5
Here it is: (d|✔)~/.Sage/local/lib$ ldd libtinfo.so.5 linux-vdso.so.1 (0x00007fffa4944000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f6444448000) /lib64/ld-linux-x86-64.so.2 (0x00007f6444a21000) Nathann -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.