The text debdcd2e1009, as Debian 10 (Buster) shipped it.
API function
gnutls_x509_name_constraints_get_permitted(3) on Linux now