Title:          gmp-dev.tcz
Description:    gmp devs
Version:        6.0.0a
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 48KB
Extension_by:   juanito
Tags:	        gmp dev
Comments:       dev files for gmp
                ----------
                This extension contains:
                gmp-6.0.0a - GPLv2 - http://ftp.gnu.org/gnu/gmp/gmp-6.0.0a.tar.xz
                ----------
Change-log:     2012/11/09 first version
                2013/10/12 updated 5.0.2 -> 5.1.1
                2014/09/22 updated 5.1.1 -> 6.0.0a
Current:        2015/10/31 recompiled on tc-7.x