This file marks the pattern ra_verifier to be installed.
