diff --git a/CHANGES.md b/CHANGES.md
index f446ca464..e065e2945 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -5,7 +5,7 @@
 
 ### Version 10.2.5, Not yet released
 
-  * Clean-up GHC extensions required in the cabal file, and changes required to compile cleanly with GHC 9.8.1
+  * Clean-up GHC extensions required in the cabal file, and changes required to compile cleanly with GHC 9.8 series.
 
   * Add 'partition', which allows for partitioning all-sat search spaces when models are generated.
 
diff --git a/SMTSolverVersions.md b/SMTSolverVersions.md
index 98500996b..2e4f2cc1e 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 above on Nov 29th, 2023.
+      * Version 1.0.8, downloaded compiled from GitHub repo on Dec 5th, 2023.
   * dReal:
       * http://dreal.github.io/
       * Version installed via `brew tap dreal/dreal; brew rm dreal; brew install dreal --HEAD`