From d1b7aac1de3d153c40cc84f2d6c5b97e012d3914 Mon Sep 17 00:00:00 2001
From: Orion Poplawski <orion@nwra.com>
Date: Sat, 30 Mar 2019 20:28:43 -0600
Subject: [PATCH] Update to 4.0.1

---
 sources | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 sources

diff --git a/sources b/sources
deleted file mode 100644
index 047b1ea..0000000
--- a/sources
+++ /dev/null
@@ -1 +0,0 @@
-SHA512 (openmpi-4.0.1.tar.bz2) = 09f35dc2e44b4f84aab9c5af9d81f90bbdb030e4d90800a5d3ffae88cb32b7faecc9bea0abb113da53c21f73e9d19db68f961f997bc47bdd28d83a87beee0731