diff --git a/.gitignore b/.gitignore index 47246f8..540f31e 100644 --- a/.gitignore +++ b/.gitignore @@ -24,3 +24,4 @@ openmpi-1.4.1-RH.tar.bz2 /openmpi-v1.8.4-134-g9ad2aa8.tar.bz2 /openmpi-1.8.5rc1.tar.bz2 /openmpi-1.8.5rc3.tar.bz2 +/openmpi-1.8.5.tar.bz2 diff --git a/sources b/sources index 9689c71..172b378 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -c0e4ffb57d8fd231fb88fe6cf34b8896 openmpi-1.8.5rc3.tar.bz2 +93e958914ff0e4d9634d668d2d48c793 openmpi-1.8.5.tar.bz2