temporary repo for uuid since the official one uses darcs