moved to release
deal.ii (8.4.2-2build1) zesty; urgency=medium * Rebuild against new openmpi 2.0.2-2. -- Gianfranco Costamagna <email address hidden> Sat, 11 Feb 2017 11:03:10 +0100