Name Last modified Size Parent Directory - 50yatex-gentoo.el 2025-03-20 21:38 488 yatex-1.76-direntry.patch 2025-03-20 21:38 1.6K yatex-1.80-texinfo-5.patch 2025-03-20 21:38 8.0K yatex-1.82-texinfo.patch 2025-03-20 21:38 615