Index of /ubuntu/pool/universe/s/src2tex

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]src2tex_2.12h-9_amd64.deb2016-07-10 23:39 417K 
[   ]src2tex_2.12h-9_i386.deb2016-07-10 23:39 413K 

Apache/2.4.62 (Debian) Server at mirror.malagasy.com Port 80