carta

__gnu_cxx::throw_value_random(3cxx) on Linux

The text 7118084ff62a, as Debian 8 (Jessie) shipped it.

__gnu_cxx::throw_value_random(3cxx) on Linux now