spirv-headers_1.3+git20181003-1~bpo9+1.dsc has incorrect md5 checksum; deleting 
it

Greetings,

        Your Debian queue daemon (running on host usper.debian.org)

Reply via email to