../ FAQ.html 24-Jul-2006 01:21 18411 Makefile.am 24-Jul-2006 01:21 1012 Makefile.in 24-Jul-2006 01:21 26358 README.dev 24-Jul-2006 01:21 84882 check-typography 24-Jul-2006 01:21 1503 fdl.texi 24-Jul-2006 01:21 21161 mini-gmp 24-Jul-2006 01:21 2743 mpfr.texi 24-Jul-2006 01:21 233003