Thanks for the solution! Turns out I need to download and extract the single file with a .gz extension. And use its content. For example, I download some_file.db.gz, and then I need to be able to reference some_file.db.
Can I simply do something like this?
name = "my_gz_file",
sha256 = "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
And then reference its content
If not how can I do it properly?