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

summary refs log tree commit diff

path: root/net/openmpi3/distinfo

blob: 55af37ddf7a76b58eb69b879276fac9726f3fca3 (plain) (blame)

1
2
3

TIMESTAMP = 1586516222
SHA256 (openmpi-3.1.6.tar.bz2) = 50131d982ec2a516564d74d5616383178361c2f08fdd7d1202b80bdf66a0d279
SIZE (openmpi-3.1.6.tar.bz2) = 9469057