K 10
svn:author
V 6
danilo
K 8
svn:date
V 27
2015-06-09T21:04:11.498810Z
K 7
svn:log
V 99
- Remove net/openmpi-devel. This port is older than net/openmpi.

PR:		199839
Requested by:	marino

END