Links for sat-dependency-resolver