carta

gnutls_psk_set_server_params_function(3) on Linux

The text 7642e8b4411a, as Debian 11 (Bullseye) shipped it.

API function

gnutls_psk_set_server_params_function(3) on Linux now