Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - plari.pdf 2005-07-21 15:41 136K plari.ins 1998-11-02 01:00 543 plari.dtx 1998-11-02 01:00 6.2K README 1998-11-02 01:00 531 Makefile 1998-11-02 01:00 1.4K COPYING 1998-11-02 01:00 18K