Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - Makefile 2024-08-23 15:06 2.8K README.md 2024-08-23 15:06 3.6K dccpaper-by.eps 2024-08-23 15:06 59K dccpaper-by.pdf 2024-08-23 15:06 4.9K dccpaper.dtx 2024-08-23 15:06 100K dccpaper.pdf 2024-08-23 15:06 342K