log lib/mpfr/mpfr.sha1 @ 868:0bdfbeb6524e

age author description
Tue, 23 Jul 2019 20:13:00 +0200 David Demelier vanilla: add all sha1 files