cvc5: Add version 1.4.2 - #2820

cvc5: Add version 1.4.2#2820

riseproject-dev[bot] wants to merge 2 commits into

mainriseproject-dev/python-wheels:mainfrom

github-actions/nightly-upgrade/cvc5riseproject-dev/python-wheels:github-actions/nightly-upgrade/cvc5Copy head branch name to clipboard