On Nov 27, 12:50 pm, William Stein <wst...@gmail.com> wrote: > I wonder what Gentoo, Debian, etc., do? Do they do anything, or just > leave the output > of logging to the user. > > William
Do you mean this? https://buildd.debian.org/pkg.cgi?pkg=sagemath -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org