36 	def __init__(self, repository, filename, revision, checksum):  argument
37 		self.repository	= repository
43 		return hash((self.repository, self.filename, self.revision, self.checksum))
46 …return (self.repository, self.filename, self.revision, self.checksum) == (other.repository, other.…
61 		return self.repository
74 def makeSourceUrl (repository, revision, filename):  argument
75 	return "%s/%s/%s" % (repository, revision, filename)
77 def checkoutGit (repository, revision, fullDstPath):  argument
79 		execute(["git", "clone", "--no-checkout", repository, fullDstPath])
83 		execute(["git", "fetch", repository, "+refs/heads/*:refs/remotes/origin/*"])
88 def checkoutFile (repository, revision, filename, cacheDir):  argument
95 		req		= urlopen(makeSourceUrl(repository, revision, filename))
102 		checkoutGit(repository, revision, fullDstPath)
111 def fetchFile (dstPath, repository, revision, filename, checksum, cacheDir):  argument
120 	print("Fetching %s/%s@%s" % (repository, filename, revision))
121 	data		= checkoutFile(repository, revision, filename, cacheDir)