Hello > Is there some official git repository to clone from? Not yet, but probably there will be something pretty soon. Right now there are some unofficial mirrors at repo.or.cz and github -- With best regards, Anton Korobeynikov Faculty of Mathematics and Mechanics, Saint Petersburg State University