This page is only relevant if you are developing the game from Codeplex GIT repository, under Ubuntu / Linux. Ignore it if you are downloading the source code from Downloads section

Apparently, the Codeplex GIT repository is not friendly enough for Linux/Ubuntu users. The HTTPS that it uses currently have issues with the Ubuntu-12.04 Precise GIT (Refer to https://bugs.launchpad.net/ubuntu/+source/gnutls26/+bug/1111882 for the details).

If you got bitten by the bug, you'll notice that any remote GIT operation will end up with
error: RPC failed; result=56, HTTP code = 200 


The problem actually lies in the libcurl3-openssl, that is linked to Ubuntu's default GIT binary distribution (that also includes the GIT's PPA distribution). So, the only solution is to recompile the GIT, and linked it to the newer libcurl4-openssl library. Here's how:
# git clone https://github.com/git/git.git 
# sudo apt-get install gettext zlib1g-dev libcurl4-openssl-dev 
# cd git && make configure && ./configure && make
# <your_new_compiled_git_path>/git clone https://git01.codeplex.com/boringsudoku