/*  Although "empty", this file must exist to indicate that this package is
 *  buildable.  Since this package only contrains specifications declared
 *  in package.xdc, there is nothing we need to add here.
 */