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 device-c7e4d499-e61b-4998-9de8-938bc1d3cd9c.remotewd.com Port 80