The text 8da1f02c6151, as Debian 5.0 (Lenny) shipped it.
returns the number of CRLs in a PKCS7 crl set
gnutls_pkcs7_get_crl_count(3) on Linux now
