DOKK / manpages / debian 10 / manpages-pt / iso_8859_7.7.pt
() ()

See the file buster/manpages-pt/iso_8859-7.7.pt.gz.