../ DEPENDS.txt 08-Jul-2025 22:51 23 README.md 08-Jul-2025 22:51 3414 microtype-code.pdf 08-Jul-2025 22:51 2094629 microtype-utf.dtx 08-Jul-2025 22:51 68754 microtype.dtx 08-Jul-2025 22:51 808287 microtype.ins 08-Jul-2025 22:51 6884 microtype.pdf 08-Jul-2025 22:51 661785