../ CVS/ 31-Jul-2023 10:01 - float128.ver 24-Jan-2016 13:05 145 gnu-versioned-namespace.ver 31-Jul-2023 10:01 11463 gnu.ver 31-Jul-2023 10:01 103288 none.ver 20-Jan-2019 10:01 315