Add package for BeMines.

Fixes #9208.