git

What port is git using for getting the ghc repo via http? I'm getting this message behind our thick firewall: fatal: http://darcs.haskell.org/ghc.git/info/refs download error - Failed connect to darcs.haskell.org:1080; Operation now in progress It makes me think port 1080 is involved, and I don't think any access to that port is allowed. If the repo is not totally available on port 80 (or the https port) then it's impossible to get from behind paranoid firewalls. -- Lennart