def __init__(self, name, version, url_pattern, dir, post_exec=None):
    self.name = name
    self.version = version
    self.download_url = url_pattern.format(version)
    self.archive_name = make_archive_name(name, version, self.download_url)
    self.dir = dir
    if (post_exec is not None):
        self.post_exec = post_exec
def __init__(self, name, version, url_pattern, dir, post_exec=None):
    self.name = name
    self.version = version
    self.download_url = url_pattern.format(version)
    self.archive_name = make_archive_name(name, version, self.download_url)
    self.dir = dir
    if (post_exec is not None):
        self.post_exec = post_exec