Package: regina-normal