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

../
src2tex_2.12h-8ubuntu1_amd64.deb                                                                                         25-Sep-2023 18:55    430K
src2tex_2.12h-8ubuntu1_i386.deb                                                                                          25-Sep-2023 18:55    422K