spirv-headers (1.3-1~gpu18.04.1) bionic; urgency=medium * Copied from debian -- Rico Tzschichholz <email address hidden> Sun, 14 Oct 2018 14:51:05 +0200