git: "git://scm.gforge.inria.fr/why3/why3.git"