Package: release.debian.org
Followup-For: Bug #1111004

openmpi is now stabilised and migrated to testing.

Reply via email to