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

Reply via email to