Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - iaria-lite.pdf 2024-09-14 23:27 170K iaria-lite.dtx 2024-09-14 23:27 13K README 2024-09-14 23:27 2.0K iaria-lite.ins 2024-09-14 23:27 846 COPYING 2024-09-14 23:27 500 docstrip.cfg 2024-09-14 23:27 364 template/ 2024-09-17 09:57 -