Name Last modified Size Description Parent Directory - 50yatex-gentoo.el 2015-08-09 10:38 488 yatex-1.76-direntry.patch 2018-07-28 00:39 1.6K yatex-1.80-texinfo-5.patch 2018-07-28 00:39 8.0K yatex-1.82-texinfo.patch 2022-01-04 22:09 615