Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - DEPENDS.txt 2022-10-29 14:58 40 LICENSE.txt 2022-10-29 14:58 1.1K README.md 2022-10-29 14:58 1.2K debate.ins 2022-10-29 14:58 2.6K debate.dtx 2022-10-29 14:58 4.9K debate.pdf 2022-10-29 14:58 282K