Title:          mpfr-dev.tcz
Description:    mpfr devs
Version:        4.0.1
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 20KB
Extension_by:   juanito
Tags:	        mpfr devs
Comments:       dev files for mpfr
                ----------
                This extension contains:
                mpfr-4.0.1 - GPLv3 - http://www.mpfr.org/mpfr-4.0.1/mpfr-4.0.1.tar.xz
                ----------
Change-log:     2011/08/16 first version
                2013/03/23 updated 3.0.1 -> 3.1.1
                2014/09/18 updated 3.1.1 -> 3.1.2
                2015/10/02 updated 3.1.2 -> 3.1.3
                2016/10/20 updated 3.1.3 -> 3.1.5
                2017/12/09 updated 3.1.5 -> 3.1.6
Current:        2018/11/04 updated 3.1.6 -> 4.0.1