use latest release version of CVC5
@@ -161,7 +161,7 @@ SPDX-License-Identifier: Apache-2.0
<dependency org="org.sosy_lab" name="javasmt-solver-z3" rev="4.8.10" conf="runtime-z3->solver-z3; contrib->sources,javadoc" />
<dependency org="org.sosy_lab" name="javasmt-solver-optimathsat" rev="1.7.1-sosy0" conf="runtime-optimathsat->solver-optimathsat" />
<dependency org="org.sosy_lab" name="javasmt-solver-cvc4" rev="1.8-prerelease-2020-06-24-g7825d8f28" conf="runtime-cvc4->solver-cvc4" />
- <dependency org="org.sosy_lab" name="javasmt-solver-cvc5" rev="1.0.0-g24fc4950d" conf="runtime-cvc5->solver-cvc5" />
+ <dependency org="org.sosy_lab" name="javasmt-solver-cvc5" rev="1.0.1-g4f0c80bb6" conf="runtime-cvc5->solver-cvc5" />
<dependency org="org.sosy_lab" name="javasmt-solver-boolector" rev="3.2.2-g1a89c229" conf="runtime-boolector->solver-boolector" />
<!-- additional JavaSMT components with Solver Binaries -->
