Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - iaria.pdf 2024-04-10 18:20 168K iaria.dtx 2024-04-10 18:20 13K README 2024-04-10 18:20 1.7K iaria.ins 2024-04-10 18:20 821 COPYING 2024-04-10 18:20 500 docstrip.cfg 2024-04-10 18:20 344 template/ 2024-04-10 19:11 -