http_source

def http_source(url: 'str', *, len: 'int', sha256: 'str', filename: 'str' = ''): ...

http_source(url: 'str', *, len: 'int', sha256: 'str', filename: 'str' = '')