Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
config.guess 18-Nov-2020 11:01 43K
config.rpath 13-Jan-2016 11:15 14K
config.sub 02-Feb-2017 11:00 36K
depcomp 13-Jan-2016 11:15 12K
install-sh 13-Jan-2016 11:15 5.4K
mdate-sh 13-Jan-2016 11:15 2.9K
missing 13-Jan-2016 11:15 10K
![[ ]](/icons/unknown.gif){kind=icon}
mkinstalldirs 13-Jan-2016 11:15 1.8K
texinfo.tex 13-Jan-2016 11:15 206K