math/cryptominisat: Update to 5.6.3.

Authored by arrowd on Thu, Aug 9, 3:26 PM.

Diff Detail

rP FreeBSD ports repository
Automatic diff as part of commit; lint not applicable.
Automatic diff as part of commit; unit tests not applicable.
arrowd created this revision.Thu, Aug 9, 3:26 PM
tcberner accepted this revision.Thu, Aug 9, 7:56 PM

Looks good to me.

This revision is now accepted and ready to land.Thu, Aug 9, 7:56 PM
This revision was automatically updated to reflect the committed changes.