Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at mirror.fem-net.de Port 80
Parent Directory - ptex-jtex_1.7+1-14.diff.gz 2013-06-06 07:33 8.1K ptex-jtex_1.7+1-14.dsc 2013-06-06 07:33 1.0K ptex-jtex_1.7+1-14_all.deb 2013-06-06 08:34 591K ptex-jtex_1.7+1-15.diff.gz 2014-05-30 13:10 8.3K ptex-jtex_1.7+1-15.dsc 2014-05-30 13:10 1.0K ptex-jtex_1.7+1-15_all.deb 2014-05-30 13:38 300K ptex-jtex_1.7+1.orig.tar.gz 2004-10-07 15:51 3.6M