log lib/mpfr/mpfr.sh @ 253:a6c9f6d9a420

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