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