Index of /packages/tex/fonts/universa
Name
Last modified
Size
Description
Parent Directory
-
README.md
2019-08-29 11:07
2.8K
universa.dtx
2019-08-29 11:07
218K
universa.ins
2019-08-29 11:07
9.0K
universa.pdf
2019-08-29 11:07
801K
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443