repository='git git://repo.or.cz/isl.git'
mirrors='http://isl.gforge.inria.fr'
milestones='0.12 0.14'