DOKK / manpages / debian 10 / manpages-es / initstate.3.es
() ()

See the file buster/manpages-es/random.3.es.gz.