../ dir 16-Mar-2022 18:02 770 gmp.info 16-Mar-2022 18:00 5931 gmp.info-1 16-Mar-2022 18:00 296K gmp.info-2 16-Mar-2022 18:00 211K mpfr.info 16-Mar-2022 18:02 265K