diff --git a/SMTSolverVersions.md b/SMTSolverVersions.md
index e521b7a6..291bef0e 100644
--- a/SMTSolverVersions.md
+++ b/SMTSolverVersions.md
@@ -17,7 +17,7 @@ report any issues you might see with newer releases.
         on Jul 27, 2020.
   * CVC5:
       * https://github.com/cvc5/cvc5
-      * Version 1.0.8, downloaded compiled from GitHub repo on Dec 5th, 2023.
+      * Version 1.2.0
   * dReal:
       * http://dreal.github.io/
       * Version installed via `brew tap dreal/dreal; brew rm dreal; brew install dreal --HEAD`