Name Last modified Size Description Parent Directory - CVS/ 2022-12-17 20:33 - gnu.ver 2021-04-11 01:02 93K gnu-versioned-namespace.ver 2021-04-10 23:10 11K none.ver 2019-01-19 10:14 315 float128.ver 2016-01-24 06:05 145