The text c3e0bcffd99a, as Debian 11 (Bullseye) shipped it.
std::weibull_distribution_param_type(3cxx) on Linux now
