[SCM] hdf5 branch, master, updated. debian/1.8.12-1-3-ge2dc179

[Gilles Filippini]

The following commit has been merged in the master branch:
commit 3fb3dd49b8be97d5419e4c8c549dbc2a7f85a51b
Author: Gilles Filippini <pini at debian.org>
Date:   Sun Dec 22 15:50:07 2013 +0100

    Re-enable openmpi for arm64 (from 1.8.11-5ubuntu2).

diff --git a/debian/control b/debian/control
index cadacf0..6472118 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders: Francesco Paolo Lovergine <frankie at debian.org>,
  Sylvestre Ledru <sylvestre at debian.org>,
  Gilles Filippini <pini at debian.org>
 Build-Depends: dpkg-dev (>= 1.16.1~), libmpich2-dev, zlib1g-dev,
- libopenmpi-dev [!arm64 !hppa !mips !mipsel !s390 !s390x !sh4 !m68k], libjpeg-dev, debhelper (>= 9~), sed (>=4.1.5),
+ libopenmpi-dev [!hppa !mips !mipsel !s390 !s390x !sh4 !m68k], libjpeg-dev, debhelper (>= 9~), sed (>=4.1.5),
  gfortran, libibverbs-dev [!arm64 !arm !hppa !mips !mipsel !s390 !s390x !kfreebsd-i386 !kfreebsd-amd64 !hurd-i386 !sh4],
  sharutils, mpi-default-dev, chrpath, autotools-dev
 Standards-Version: 3.9.4
diff --git a/debian/control.in b/debian/control.in
index fa5648c..b428343 100644
--- a/debian/control.in
+++ b/debian/control.in
@@ -6,7 +6,7 @@ Uploaders: Francesco Paolo Lovergine <frankie at debian.org>,
  Sylvestre Ledru <sylvestre at debian.org>,
  Gilles Filippini <pini at debian.org>
 Build-Depends: dpkg-dev (>= 1.16.1~), libmpich2-dev, zlib1g-dev,
- libopenmpi-dev [!arm64 !hppa !mips !mipsel !s390 !s390x !sh4 !m68k], libjpeg-dev, debhelper (>= 9~), sed (>=4.1.5),
+ libopenmpi-dev [!hppa !mips !mipsel !s390 !s390x !sh4 !m68k], libjpeg-dev, debhelper (>= 9~), sed (>=4.1.5),
  gfortran, libibverbs-dev [!arm64 !arm !hppa !mips !mipsel !s390 !s390x !kfreebsd-i386 !kfreebsd-amd64 !hurd-i386 !sh4],
  sharutils, mpi-default-dev, chrpath, autotools-dev
 Standards-Version: 3.9.4

-- 
Hierarchical Data Format 5 (HDF5)