clone the set cover darcs repository