Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ionumbers.pdf 2014-04-15 07:07 351K ionumbers_test.pdf 2014-04-15 07:07 108K ionumbers.dtx 2014-04-06 23:46 57K COPYING 2008-10-27 01:22 34K ionumbers_test.tex 2011-06-09 18:32 21K README 2011-06-12 23:38 4.1K ionumbers.ins 2008-11-02 19:55 3.0K Makefile 2012-08-16 01:04 2.2K