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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]src2tex_2.12h-8ubuntu1_arm64.deb2013-10-24 18:03 428K 
[ ]src2tex_2.12h-8ubuntu1_armhf.deb2011-12-02 13:05 425K 
Apache/2.4.41 (Ubuntu) Server at 167.99.17.18 Port 80