Index of /pub/linux/debian-amd64/pool/main/s/src2tex/

Filename	Modification time	Size
src2tex_2.12h-6.diff.gz	2001-11-27 03:19 CET	3057 B
src2tex_2.12h-6.dsc	2005-04-30 20:33 CEST	612 B
src2tex_2.12h-6_amd64.deb	2005-04-30 20:33 CEST	423 KiB
src2tex_2.12h.orig.tar.gz	1999-06-18 20:58 CEST	365 KiB