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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]src2tex_2.12h-9+b1_arm64.deb2024-12-10 14:06 411K 
[ ]src2tex_2.12h-9.diff.gz2025-01-09 17:56 2.8K 
[TXT]src2tex_2.12h-9.dsc2025-01-09 17:56 1.6K 
[ ]src2tex_2.12h.orig.tar.gz2025-01-09 17:56 365K 
Apache/2.4.62 (Debian) Server at 148.63.154.111 Port 80