The text 85bb2d0618e1, as Debian 5.0 (Lenny) shipped it.
get number of revoked certificates in a CRL
gnutls_x509_crl_get_crt_count(3) on Linux now
