diff options
Diffstat (limited to 'development/openmpi/openmpi.info')
| -rw-r--r-- | development/openmpi/openmpi.info | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/development/openmpi/openmpi.info b/development/openmpi/openmpi.info new file mode 100644 index 0000000000..cc531b0f6d --- /dev/null +++ b/development/openmpi/openmpi.info @@ -0,0 +1,8 @@ +PRGNAM="openmpi" +VERSION="1.2.3" +HOMEPAGE="http://www.open-mpi.org/" +DOWNLOAD="http://www.open-mpi.org/software/ompi/v1.2/downloads/openmpi-1.2.3.tar.bz2" +MD5SUM="ae980bb00f9686934a1143701cc041e4" +MAINTAINER="Aleksandar B. Samardzic" +EMAIL="asamardzic@matf.bg.ac.yu" +APPROVED="rworkman" |