Index of /distfiles/texinfo

      Name                                                                             Last modified      Size  
Parent Directory - 6.1.20160425/ 2016-10-12 14:02 - 6.3/ 2017-05-29 11:27 - 6.4/ 2017-07-06 16:37 - 6.5/ 2019-03-04 08:57 - 6.6/ 2019-03-14 10:50 - htmlxref.cnf-20180823 2018-08-24 03:32 20K htmlxref.cnf-20190324 2019-03-25 01:25 20K texi2dvi-20190104 2019-01-04 22:10 60K texi2dvi-20190331 2019-03-31 23:09 59K texinfo-6.6.tar.xz 2019-02-17 12:07 4.7M texinfo.tex-20190216 2019-02-16 23:35 372K