Index of /mie/pool/universe/s/src2tex
Name
Last modified
Size
Parent Directory
-
src2tex_2.12h-8.diff.gz
2006-07-12 23:10
3.0K
src2tex_2.12h-8.dsc
2006-07-12 23:10
554
src2tex_2.12h-8_lpia.deb
2007-08-27 11:03
425K
src2tex_2.12h.orig.tar.gz
2004-07-26 23:42
365K
Apache/2.4.41 (Ubuntu) Server at hpmini.archive.canonical.com Port 80