added new pruners-ninja version (#4859)

This commit is contained in:
Gregory Lee 2017-07-21 15:57:12 -07:00 committed by Adam J. Stewart
parent 37d6907382
commit 644f5b3229

View File

@ -31,6 +31,7 @@ class PrunersNinja(AutotoolsPackage):
homepage = "https://github.com/PRUNERS/NINJA"
url = "https://github.com/PRUNERS/NINJA/releases/download/v1.0.0/NINJA-1.0.0.tar.gz"
version("1.0.1", "f0728cad61d8f1f970dffb7bb430addb")
version("1.0.0", "fee53c4712ac521ebec3cd8692e5185a")
depends_on("mpi")