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