diff options
Diffstat (limited to 'development/openmpi/openmpi.info')
| -rw-r--r-- | development/openmpi/openmpi.info | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/development/openmpi/openmpi.info b/development/openmpi/openmpi.info deleted file mode 100644 index 94276a6e61d21..0000000000000 --- a/development/openmpi/openmpi.info +++ /dev/null @@ -1,10 +0,0 @@ -PRGNAM="openmpi" -VERSION="1.3.3" -HOMEPAGE="http://www.open-mpi.org" -DOWNLOAD="http://www.open-mpi.org:80/software/ompi/v1.3/downloads/openmpi-1.3.3.tar.bz2" -MD5SUM="f6cdc9c195daa8571b2e509e952d6755" -DOWNLOAD_x86_64="" -MD5SUM_x86_64="" -MAINTAINER="Murat D. Kadirov" -EMAIL="banderols@gmail.com" -APPROVED="rworkman" |