diff options
Diffstat (limited to 'net/openmpi3/distinfo')
| -rw-r--r-- | net/openmpi3/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/net/openmpi3/distinfo b/net/openmpi3/distinfo index ce5a3f3a9647..f63bad5677f3 100644 --- a/net/openmpi3/distinfo +++ b/net/openmpi3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1530374847 -SHA256 (openmpi-3.1.1.tar.bz2) = 3f11b648dd18a8b878d057e9777f2c43bf78297751ad77ae2cef6db0fe80c77c -SIZE (openmpi-3.1.1.tar.bz2) = 9478633 +TIMESTAMP = 1535029733 +SHA256 (openmpi-3.1.2.tar.bz2) = c654ed847f34a278c52a15c98add40402b4a90f0c540779f1ae6c489af8a76c5 +SIZE (openmpi-3.1.2.tar.bz2) = 9461841 |