The text 1f987de2266f, as Debian 4.0 (Etch) shipped it.
This function will export the CRL
gnutls_x509_crl_export(3) on Linux now
