Show patches with: Series = Add dune-*-openmpi packages       |    Archived = No       |   2 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#39862,v3,2/2] gnu: define dune-*-openmpi packages Add dune-*-openmpi packages - - - 3-- 2020-03-12 Felix Gruber Accepted
[bug#39862,v3,1/2] gnu: dune-*: remove openmpi dependency Add dune-*-openmpi packages - - - 3-- 2020-03-12 Felix Gruber Accepted