But i've already done that

my .gitconfig section with urls looks like this:
[url "http://github.com/ghc/packages-"]
insteadOf = git://github.com/ghc/packages/

I am using http because of strange proxy settings in university's network

---
С уважением,
Жаворонков Эдгар

Best regards,
Edgar A. Zhavoronkov

2015-11-10 13:47 GMT+03:00 Adam Sandberg Eriksson <adam@sandbergericsson.se>:
It seems you missed this part on the newcomers page[1]:
 
git config --global url."git://github.com/ghc/packages-".insteadOf git://github.com/ghc/packages/
 
Adam Sandberg Eriksson
 
 
 
 
On Tue, 10 Nov 2015, at 11:44 AM, Эдгар Жаворонков wrote:
Hi, everyone!
 
I have a strange problems with building GHC from sources. I cloned git repo as said in newcomers' page, but i have that kind of error:
 
Cloning into 'libraries/Cabal'...
fatal: repository 'https://github.com/ghc/packages/Cabal.git/' not found
Clone of 'http://github.com/ghc/packages/Cabal.git' into submodule path 'libraries/Cabal' failed
 
What am i doing wrong?
---
С уважением,
Жаворонков Эдгар
 
Best regards,
Edgar A. Zhavoronkov
_______________________________________________
ghc-devs mailing list