Processed: Re: Bug#1121606: spirv-tools dev package is missing the shared libraries.
"Debian Bug Tracking System" <[email protected]>
| Newsgroups | gmane.linux.debian.devel.x |
|---|---|
| Message-ID | <[email protected]> |
Processing control commands: > forwarded -1 https://github.com/KhronosGroup/SPIRV-Tools/issues/3214 Bug #1121606 [spirv-tools] spirv-tools dev package is missing the shared libraries. Set Bug forwarded-to-address to 'https://github.com/KhronosGroup/SPIRV-Tools/issues/3214'. > tags -1 upstream Bug #1121606 [spirv-tools] spirv-tools dev package is missing the shared libraries. Added tag(s) upstream. -- 1121606: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1121606 Debian Bug Tracking System Contact [email protected] with problems