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