version=4
https://github.com/cvc5/cvc5/tags .*/cvc5-@ANY_VERSION@\.tar\.gz
