From e064927fab80cc18d5323311df5ecb45c6a4726b Mon Sep 17 00:00:00 2001 From: jthies Date: Sat, 17 Mar 2018 16:22:42 -0700 Subject: gmp: add oldish version 5.1.3 with checksum (#7510) --- var/spack/repos/builtin/packages/gmp/package.py | 1 + 1 file changed, 1 insertion(+) (limited to 'var') diff --git a/var/spack/repos/builtin/packages/gmp/package.py b/var/spack/repos/builtin/packages/gmp/package.py index 0367a35200..679b63f21d 100644 --- a/var/spack/repos/builtin/packages/gmp/package.py +++ b/var/spack/repos/builtin/packages/gmp/package.py @@ -37,6 +37,7 @@ class Gmp(AutotoolsPackage): version('6.1.0', '86ee6e54ebfc4a90b643a65e402c4048') version('6.0.0a', 'b7ff2d88cae7f8085bd5006096eed470') version('6.0.0', '6ef5869ae735db9995619135bd856b84') + version('5.1.3', 'a082867cbca5e898371a97bb27b31fea') depends_on('autoconf', type='build') depends_on('automake', type='build') -- cgit v1.2.3-70-g09d2