Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - bigfoot.pdf 2015-08-30 16:37 396K perpage.pdf 2015-08-30 16:37 199K suffix.pdf 2015-08-30 16:37 179K bigfoot.dtx 2015-08-30 16:31 141K perpage.dtx 2014-11-09 12:58 20K COPYING 2014-11-09 12:58 18K suffix.dtx 2014-11-09 12:58 8.5K README 2014-11-09 12:58 3.1K Makefile 2014-11-09 12:58 1.6K bigfoot.ins 2015-08-30 16:37 647