Thomas Klausner 239ac4c4fb *mpi*: get rid of INSTALLATION_PREFIX ... openmpi distfile not fetchable, other packages still build		2016-06-19 22:00:58 +02:00
..
buildlink3.mk
DESCR
distinfo
Makefile
PLIST