> 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.

Reply via email to