gnutls_pkcs7_get_crl_count(3) on Linux

The text 7564ffff6667, as Debian 4.0 (Etch) shipped it.

This function returns the number of crls in a PKCS7 crl set

gnutls_pkcs7_get_crl_count(3) on Linux now