Title:          mpfr-dev.tcz
Description:    mpfr devs
Version:        3.0.1
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 209KB
Extension_by:   juanito
Tags:	    mpfr devs
Comments:       dev files for mpfr
                ----------
                This extension contains:
                mpfr-3.0.1 - GPLv3 - http://www.mpfr.org/mpfr-3.0.1/mpfr-3.0.1.tar.bz2
                ----------
Change-log:     first version
Current:        2012/11/09