Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.txt 2024-11-13 16:36 5.9K curve2e-manual.tex 2024-11-13 16:26 90K curve2e.dtx 2024-11-13 16:36 193K curve2e-manual.pdf 2024-11-13 16:28 638K curve2e.pdf 2024-11-13 16:36 708K