Index of /packages/tex/fonts/junicodevf/truetype
Name
Last modified
Size
Description
Parent Directory
-
JunicodeVF-Italic.ttf
2024-07-21 15:20
2.8M
JunicodeVF-Roman.ttf
2024-07-21 15:20
2.8M
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443