<defines>
SPHINCS_PLUS_WITH_SHAKE -> 20230531
</defines>

<module_info>
name -> "SPHINCS+ (SHAKE-256)"
</module_info>

<requires>
sphincsplus_shake_base
</requires>
