Hello, I recently downloaded the Debian_GNU_Linux_stretch_sid_sage-6.8-x86_64-Linux.tar.gz <http://mirrors.mit.edu/sage/linux/64bit/Debian_GNU_Linux_stretch_sid_sage-6.8-x86_64-Linux.tar.gz> binary for my system. It looks like there's bundled source code under the src/ directory. I'm trying to free up space on my hard disk, so I was wondering, is it ok to delete the src/ directory if I only want to use the binary? And are there any other files or directories I can delete without breaking the binary?
Thank you! -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
