From f0a545a435de5988091975634f3e065104a17eea Mon Sep 17 00:00:00 2001
From: =?utf8?q?Uwe=20K=C3=B6cher?= <koecher@hsu-hamburg.de>
Date: Fri, 5 Dec 2014 22:16:36 +0100
Subject: [PATCH] mpi: updated openmpi to 1.8.3

---
 mpi/packages/openmpi.package | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/mpi/packages/openmpi.package b/mpi/packages/openmpi.package
index 620eeeb..793507b 100644
--- a/mpi/packages/openmpi.package
+++ b/mpi/packages/openmpi.package
@@ -1,12 +1,14 @@
 MAJOR=1.8
-MINOR=2
+MINOR=3
 VERSION=${MAJOR}.${MINOR}
 NAME=openmpi-${VERSION}
 SOURCE=http://www.open-mpi.org/software/ompi/v${MAJOR}/downloads/
 PACKING=.tar.bz2
 CHECKSUM=ignore
 
-if [ ${VERSION} = 1.8.2 ]; then
+if [ ${VERSION} = 1.8.3 ]; then
+    CHECKSUM=2067d00853e0c33d498153fc7d268d2b
+elif [ ${VERSION} = 1.8.2 ]; then
     CHECKSUM=339a9fc199563bacbb359875ce8c9e20
 elif [ ${VERSION} = 1.6.5 ]; then
     CHECKSUM=03aed2a4aa4d0b27196962a2a65fc475
-- 
2.39.5