The text 5484b1d1833e, as Debian 10 (Buster) shipped it.
std::student_t_distribution_param_type(3cxx) on Linux now
