Files
| -rw-r--r-- | 4762 | root | root | /usr/share/texlive/texmf-dist/doc/fonts/doublestroke/README |
| -rw-r--r-- | 100533 | root | root | /usr/share/texlive/texmf-dist/doc/fonts/doublestroke/dsdoc.pdf |
| -rw-r--r-- | 12451 | root | root | /usr/share/texlive/texmf-dist/doc/fonts/doublestroke/dsdoc.tex |
