Index of /debian-mirror/pool/main/s/src2tex

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]src2tex_2.12h.orig.tar.gz1999-06-19 03:58 365K 
[ ]src2tex_2.12h-8_armel.deb2008-02-08 09:47 429K 
[TXT]src2tex_2.12h-8.dsc2006-07-12 22:18 554  
[ ]src2tex_2.12h-8.diff.gz2006-07-12 22:18 3.0K 
Apache/2.4.58 (Ubuntu) Server at 45.89.232.251 Port 80