diff options
| -rw-r--r-- | ports/spirv-tools/CONTROL | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ports/spirv-tools/CONTROL b/ports/spirv-tools/CONTROL index 0e1a82706..eacc40ff9 100644 --- a/ports/spirv-tools/CONTROL +++ b/ports/spirv-tools/CONTROL @@ -1,3 +1,3 @@ Source: spirv-tools -Version: -Description: +Version: 1.1-f72189c249ba143c6a89a4cf1e7d53337b2ddd40 +Description: API and commands for processing SPIR-V modules |
