diff -Nru med-fichier-3.0.6/debian/changelog med-fichier-3.0.6/debian/changelog --- med-fichier-3.0.6/debian/changelog 2018-06-19 06:10:40.000000000 +0000 +++ med-fichier-3.0.6/debian/changelog 2018-06-19 06:10:40.000000000 +0000 @@ -1,4 +1,4 @@ -med-fichier (3.0.6-12ubuntu1) cosmic; urgency=medium +med-fichier (3.0.6-12ubuntu2) cosmic; urgency=medium * Disable the use of mpi on armhf (as on arm64). diff -Nru med-fichier-3.0.6/debian/rules med-fichier-3.0.6/debian/rules --- med-fichier-3.0.6/debian/rules 2018-06-19 06:09:45.000000000 +0000 +++ med-fichier-3.0.6/debian/rules 2018-06-19 06:10:40.000000000 +0000 @@ -5,7 +5,7 @@ # Which MPI implementation? # Temporarily disabling MPI support for arm64 (not functionnal currently) # set ARCH_DEFAULT_MPI_IMPL -ifneq (,$(filter $(DEB_HOST_ARCH), armhf arm64)) +ifeq (,$(filter $(DEB_HOST_ARCH), armhf arm64)) include /usr/share/mpi-default-dev/debian_defaults else ARCH_DEFAULT_MPI_IMPL := serial