This file marks the pattern devel_basis-32bit to be installed.
