The text 581e8bcafe87, as Debian 6.0 (Squeeze) shipped it.
get the CRL number (extension)
gnutls_x509_crl_get_number(3) on Linux now
