Sun, 16 Jun 2024 20:28:14 UTC | login

Information for file /usr/share/texlive/texmf-dist/fonts/source/public/velthuis/dndefs.mf

Name/usr/share/texlive/texmf-dist/fonts/source/public/velthuis/dndefs.mf
Digest (sha256)cf7d339232a229d49f582c91941228ca678cbc3f9f26189b5096f5ef6d3e5f09
Size8.07 KB
Modification timeSat, 18 Jan 2020 16:55:43 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMtexlive-velthuis-7:20190410-9.0.riscv64.fc32.riscv64.rpm