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