The text 9aea8b3da9ea, as Debian 5.0 (Lenny) shipped it.
add a crl in a PKCS7 crl set
gnutls_pkcs7_set_crl_raw(3) on Linux now