This bug was fixed in the package spirv-tools - 2020.2-1
--------------- spirv-tools (2020.2-1) unstable; urgency=medium
* New upstream release. (LP: #1871754) * control: Bump spirv-headers build-dependency.
-- Timo Aaltonen <email address hidden> Thu, 09 Apr 2020 14:24:11 +0300
This bug was fixed in the package spirv-tools - 2020.2-1
---------------
spirv-tools (2020.2-1) unstable; urgency=medium
* New upstream release. (LP: #1871754)
* control: Bump spirv-headers build-dependency.
-- Timo Aaltonen <email address hidden> Thu, 09 Apr 2020 14:24:11 +0300