The text aaede9e129b4, as Debian 12 (Bookworm) shipped it.
std::normal_distribution_param_type(3cxx) on Linux now
