math/cvc5/DESCR: 5d3842627504d3b2e6afe580677639c105fa41b204b576289ea651674b861976
math/cvc5/Makefile: 549ec0282cfe5adbff6ac85024820b456d1591ea3be3b2ee3adcdf6f2a03f661
math/cvc5/PLIST: eecace63161cdd7bea10b47eb48af76f626524f86d7af1652fc9c34d85e23e6c
math/cvc5/distinfo: 8d48af058f91e4b4203023937ebfc7bf9ef2db732fce31442619bcc5e0d57147
