K 10
svn:author
V 6
swills
K 8
svn:date
V 27
2018-07-08T15:29:18.942715Z
K 7
svn:log
V 162
math/cvc4: switch to GMP by default

This unbreaks aarch64 and enables parallel mode

PR:		229585
Submitted by:	Greg V <greg@unrelenting.technology> (maintainer)

END