This bug was fixed in the package spirv-headers - 1.5.1+git20200409-1
--------------- spirv-headers (1.5.1+git20200409-1) unstable; urgency=medium
* New upstream snapshot for SPV_KHR_ray_tracing. (LP: #1871754)
-- Timo Aaltonen <email address hidden> Thu, 09 Apr 2020 14:12:57 +0300
This bug was fixed in the package spirv-headers - 1.5.1+git20200409-1
--------------- git20200409- 1) unstable; urgency=medium
spirv-headers (1.5.1+
* New upstream snapshot for SPV_KHR_ ray_tracing. (LP: #1871754)
-- Timo Aaltonen <email address hidden> Thu, 09 Apr 2020 14:12:57 +0300