File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
ptex2tex_0.4.orig.tar.gz	198.4 KiB	2011-Nov-12 05:10
ptex2tex_0.4-1_all.deb	27.9 KiB	2011-Nov-12 05:14
ptex2tex_0.4-1.dsc	1.3 KiB	2011-Nov-12 05:10
ptex2tex_0.4-1.debian.tar.gz	9.3 KiB	2011-Nov-12 05:10