On Jul 5, 8:39 am, William Stein <[email protected]> wrote:
> Hi,
>
> There were some permissions issues that Mike Hansen tracked down --
> can you try again?
>
> William
>
>
>
>
>
> On Mon, Jul 5, 2010 at 9:36 AM, Cactus <[email protected]> wrote:
>
> > On Jul 5, 8:29 am, William Stein <[email protected]> wrote:
> >> On Mon, Jul 5, 2010 at 9:27 AM, Cactus <[email protected]> wrote:
> >> > Does anyone know when we will get our SVN repository back?
>
> >> I didn't know it is down. On what computer is it (supposed to be)
> >> running? (boxen.math.washington.edu?)
>
> >> > Jason and
> >> > I are doing a fair bit of work in simplifying MPIR right now and this
> >> > won't progress without the SVN (at least my bit won't).
>
> >> > Brian
>
> > Hi William
>
> > It is at:
>
> >http://boxen.math.washington.edu/svn/mpir/mpir/trunk/
>
> > It might be a problem here but everything else looks ok.
>
> > Brian
> >http://boxen.math.washington.edu/svn/mpir/mpir/trunk/
> >> > --
> >> > You received this message because you are subscribed to the Google
> >> > Groups "mpir-devel" group.
> >> > To post to this group, send email to [email protected].
> >> > To unsubscribe from this group, send email to
> >> > [email protected].
> >> > For more options, visit this group
> >> > athttp://groups.google.com/group/mpir-devel?hl=en.
>
> >> --
> >> William Stein
> >> Professor of Mathematics
> >> University of Washingtonhttp://wstein.org
>
> > --
> > You received this message because you are subscribed to the Google Groups
> > "mpir-devel" group.
> > To post to this group, send email to [email protected].
> > To unsubscribe from this group, send email to
> > [email protected].
> > For more options, visit this group
> > athttp://groups.google.com/group/mpir-devel?hl=en.
>
> --
> William Stein
> Professor of Mathematics
> University of Washingtonhttp://wstein.org- Hide quoted text -
>
> - Show quoted text -
Thanks for the rapid action William - its fine here now.
Brian
--
You received this message because you are subscribed to the Google Groups
"mpir-devel" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/mpir-devel?hl=en.
