Index of /aces-base/pool/main/s/src2tex/

../
src2tex_2.12h-9+b1_amd64.deb                       09-Aug-2022 22:49              428740
src2tex_2.12h-9.diff.gz                            09-Aug-2022 22:49                2863
src2tex_2.12h-9.dsc                                09-Aug-2022 22:49                1612
src2tex_2.12h.orig.tar.gz                          09-Aug-2022 22:49              373659