log lib/mpfr/mpfr.info @ 139:8076ef442b6c

age author description
Fri, 01 Mar 2019 19:43:20 +0100 David Demelier lib/mpfr: depends on gmp
Fri, 01 Mar 2019 19:31:49 +0100 David Demelier lib/mpfr: initial import, closes #1155