Issue #200: define default repos for Pharo2.0 and Pharo3.0