Index of /argostmp/pool/main/s/src2tex/

../
src2tex_2.12h-9.1.debian.tar.xz                    01-Jun-2024 11:22                3160
src2tex_2.12h-9.1.dsc                              01-Jun-2024 11:22                1510
src2tex_2.12h.orig.tar.gz                          18-Jun-1999 18:58              373659