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