crunchxml-GITPATH := git://git.onelab.eu/crunchxml@crunchxml-1.1-1
spectools-GITPATH := git://git.onelab.eu/spectools@spectools-2009_06_R1-1
#turned off
crunchxml-GITPATH := git://git.onelab.eu/crunchxml@crunchxml-1.1-1
spectools-GITPATH := git://git.onelab.eu/spectools@spectools-2009_06_R1-1
#turned off