The text 7881b9cf46dd, as Debian 6.0 (Squeeze) shipped it.
insert the CRL into the bag
gnutls_pkcs12_bag_set_crl(3) on Linux now