36 	def __init__(self, repository, filename, revision, checksum):  argument
39 		self.revision	= revision
43 		return hash((self.repository, self.filename, self.revision, self.checksum))
46 …(self.repository, self.filename, self.revision, self.checksum) == (other.repository, other.filenam…
52 		return "r%s-%s" % (self.revision, self.getFilename())
58 		return self.revision
64 		return self.revision
74 def makeSourceUrl (repository, revision, filename):  argument
75 	return "%s/%s/%s" % (repository, revision, filename)
77 def checkoutGit (repository, revision, fullDstPath):  argument
84 		execute(["git", "checkout", revision])
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)