Added pkgs/gmp version [17a262a8c5].

            1  +#! /usr/bin/env bash
            2  +
            3  +version='6.0.0a'
            4  +url="http://ftp.gnu.org/gnu/gmp/gmp-6.0.0a.tar.xz"
            5  +domain=core.appfs.rkeene.org
            6  +sha256='9156d32edac6955bc53b0218f5f3763facb890b73a835d5e1b901dcf8eb8b764'
            7  +
            8  +function postinstall() {
            9  +	rm -f "${destdir}/${prefix}/share/info/dir"
           10  +}