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

../
src2tex_2.12h-11build1_amd64.deb                   29-Aug-2026 15:16    258K
src2tex_2.12h-9build2_amd64.deb                    29-Aug-2026 15:16    416K