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
###
-pyaspects-GITPATH := git://git.planet-lab.org/pyaspects.git@pyaspects-0.4.1-3
+pyaspects-GITPATH := git://git.planet-lab.org/pyaspects.git@pyaspects-0.4.1-4
omf-GITPATH := git://git.onelab.eu/omf.git@omf-5.3-11
###
sfa-GITPATH := git://git.planet-lab.org/sfa.git@sfa-3.1-13