Title:          gmp-dev.tcz
Description:    gmp devs
Version:        5.08
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 568KB
Extension_by:   juanito
Tags:	    gmp devs
Comments:       dev files for gmp
                ----------
                This extension contains:
                gmp-5.0.2 - GPLv3 http://ftp.gnu.org/gnu/gmp/gmp-5.0.2.tar.bz2
                ----------
                2011/08/16
                recompiled for i486 compatibility
Current:	2012/04/21