log lib/mpfr/mpfr.sh @ 171:758325bb5d83

age author description
Mon, 11 Mar 2019 16:33:11 +0100 David Demelier lib: merge .sh and .info
Fri, 01 Mar 2019 19:31:49 +0100 David Demelier lib/mpfr: initial import, closes #1155