PLCRT-GITPATH := git://git.planet-lab.org/plcrt.git@PLCRT-1.0-11
pyopenssl-GITPATH := git://git.planet-lab.org/pyopenssl.git@pyopenssl-0.9-2
###
PLCRT-GITPATH := git://git.planet-lab.org/plcrt.git@PLCRT-1.0-11
pyopenssl-GITPATH := git://git.planet-lab.org/pyopenssl.git@pyopenssl-0.9-2
###