The PKCS#11 header files were removed intentionally, see #952951. However, according to debian/copyright, the whole PKCS#11 provider was removed as well. I think this is unnecessary as the provider implementation would work without providing the OASIS headers.

