From ed84f26e73a672269aa6e4ca93036c6ac6933073 Mon Sep 17 00:00:00 2001
From: Johannes <johannes.brechtmann@gmail.com>
Date: Wed, 31 Oct 2018 10:24:51 +0100
Subject: [PATCH] openmpi: update to 3.1.3.

---
 srcpkgs/openmpi/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/openmpi/template b/srcpkgs/openmpi/template
index 1924d9483d..fe3b291343 100644
--- a/srcpkgs/openmpi/template
+++ b/srcpkgs/openmpi/template
@@ -1,6 +1,6 @@
 # Template file for 'openmpi'
 pkgname=openmpi
-version=3.1.2
+version=3.1.3
 revision=1
 lib32disabled=yes
 build_style=gnu-configure
@@ -16,7 +16,7 @@ homepage="https://www.open-mpi.org/"
 license="BSD-3-Clause"
 maintainer="Juan RP <xtraeme@voidlinux.eu>"
 distfiles="${homepage}/software/ompi/v${version%.*}/downloads/${pkgname}-${version}.tar.bz2"
-checksum=c654ed847f34a278c52a15c98add40402b4a90f0c540779f1ae6c489af8a76c5
+checksum=8be04307c00f51401d3fb9d837321781ea7c79f2a5a4a2e5d4eaedc874087ab6
 nocross=yes  # libtool -rpath /usr/lib issue
 
 post_extract() {