ADDED   pkgs/gmp
Index: pkgs/gmp
==================================================================
--- /dev/null
+++ pkgs/gmp
@@ -0,0 +1,10 @@
+#! /usr/bin/env bash
+
+version='6.0.0a'
+url="http://ftp.gnu.org/gnu/gmp/gmp-6.0.0a.tar.xz"
+domain=core.appfs.rkeene.org
+sha256='9156d32edac6955bc53b0218f5f3763facb890b73a835d5e1b901dcf8eb8b764'
+
+function postinstall() {
+	rm -f "${destdir}/${prefix}/share/info/dir"
+}