On Fri, Nov 27, 2009 at 11:09 AM, Ben Goodrich wrote:
> On Nov 27, 12:50 pm, William Stein 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=s
On Nov 27, 12:50 pm, William Stein 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@goog
