[MUMPS/f18] (6 commits) ...Conform MUMPS packaging to MPI Guidelines (bz#986708)

Sun Jul 28 17:33:52 UTC 2013

Summary of changes:

  772ab2b... Fix bz#986708 (*)
  0ac4561... Conform MUMPS packaging to MPI Guidelines (bz#986708). (*)
  566f071... Perform MUMPS packaging to MPI Guidelines (bz#986708) (*)
  d54b73a... Conform MUMPS packaging to MPI Guidelines (bz#986708) (*)
  fb3919e... Conform MUMPS packaging to MPI Guidelines (bz#986708) (*)
  fc306f5... Conform MUMPS packaging to MPI Guidelines (bz#986708) (*)

(*) This commit already existed in another branch; no separate mail sent