DOKK
/
manpages
/
debian 10
/
manpages-es
/ initstate.3.es
()
()
See the file buster/manpages-es/random.3.es.gz.