../ DESCRIPTION 11-Jun-2025 19:35 104 Makefile 11-Jun-2025 19:35 344 base.dtx 11-Jun-2025 19:35 12103 base.ins 11-Jun-2025 19:35 327 standard.dtx 11-Jun-2025 19:35 4525 standard.ins 11-Jun-2025 19:35 117