Information for file /usr/share/texlive/texmf-dist/fonts/source/public/yannisgr/rgrti10.mf
| Name | /usr/share/texlive/texmf-dist/fonts/source/public/yannisgr/rgrti10.mf |
|---|---|
| Digest (sha256) | 7287a64aec14ce212d483cf5188f67b3448e05ace5911c8244df03504d5f44f1 |
| Size | 3.92 KB |
| Modification time | Fri, 25 Nov 2016 18:31:28 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | texlive-yannisgr-8:svn22613.0-26.fc31.noarch.rpm |
