sfa-GITPATH := git://git.planet-lab.org/sfa.git@sfa-3.1-2
#sface-GITPATH := git://git.planet-lab.org/sface.git@sface-0.9-9
#
-myslice-GITPATH := git://git.onelab.eu/myslice.git@master
+myslice-GITPATH := git://git.onelab.eu/myslice.git@onelab
manifold-GITPATH := git://git.onelab.eu/manifold.git@devel
#
tests-GITPATH := git://git.onelab.eu/tests.git@master