Re: [Gnu-arch-users] Problem with webdav?

[Tom Lord]

    > From: Gerhard Siegesmund <address@hidden>

    > Trying to get the arch-Repository using arch with the following commands
    [....]

    > webdav error: Could not resolve hostname `regexps.srparish.net': Host not 
f=
    > ound

    > Doing a ping I at least get the IP of regexps.srparish.net. Might it be
    > the firewall I installed, which makes the problems? 

Yes.   I'm not really expert enough in that area to say much more but
others have had trouble with webdav vs firewalls.

In this specific case, you can work-around just by using the vanilla
http mirror of the archive:

   http://arch.quackerhead.com/~lord/archives/address@hidden

-t