distinfo « openmpi « net - ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/net/openmpi/distinfo

blob: e831ab2ceade24d40e73fb1ee3ae36b407f6284f (plain) (blame)

1
2
3

TIMESTAMP = 1487544214
SHA256 (openmpi-1.10.6.tar.bz2) = 65606184a084a0eda6102b01e5a36a8f02d3195d15e91eabbb63e898bd110354
SIZE (openmpi-1.10.6.tar.bz2) = 13438345