al_gzip_extension
Categories:
al_gzip_extension
al_gzip_extension = use_extension("@com_alwaldend_src//tools/gzip/rules:al_gzip_extension.bzl", "al_gzip_extension")
al_gzip_extension.download(name, integrity, url)
Extension for gzip repos
TAG CLASSES
download
Attributes
| Name | Description | Type | Mandatory | Default |
|---|---|---|---|---|
| name | Name | Name | required | |
| integrity | Integrity | String | optional | "" |
| url | Url | String | required |