Commit 290c28c10e986e28794d501f03dd908bca8c7f5d

Daniel Mendler 2019-05-07T09:49:26

deprecate PRIME_SIZE in favor of MP_PRIME_SIZE