1 # This file is part of the OpenADK project. OpenADK is copyrighted
2 # material, please see the LICENCE file in the top-level directory.
7 PKG_HASH:= 9156d32edac6955bc53b0218f5f3763facb890b73a835d5e1b901dcf8eb8b764
8 PKG_SITES:= ${MASTER_SITE_GNU:=gmp/}
9 WRKDIST= ${WRKDIR}/$(PKG_NAME)-6.0.0