diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for rme-what4
 
+## 0.1.3 -- 2026-09-01
+
+* Synchronize with `rme` release.
+
 ## 0.1.2 -- 2026-01-26
 
 * Synchronize with `rme` release.
diff --git a/rme-what4.cabal b/rme-what4.cabal
--- a/rme-what4.cabal
+++ b/rme-what4.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               rme-what4
-version:            0.1.2
+version:            0.1.3
 synopsis:           What4 adapter for the RME solver
 license:            BSD-3-Clause
 license-file:       LICENSE
@@ -8,6 +8,7 @@
 maintainer:         emertens@galois.com
 build-type:         Simple
 extra-doc-files:    CHANGELOG.md
+category:           Formal Methods
 copyright:          2025 Galois
 description:
     This package provides an adapter for what4 to support
@@ -40,6 +41,6 @@
         what4                   ^>= 1.7,
         vector                  ^>= 0.13,
         rme                     ^>= 0.1.1.99,
-        parameterized-utils     ^>= {2.0, 2.1},
+        parameterized-utils     ^>= {2.0, 2.1, 2.2, 2.3},
         containers              ^>= {0.5, 0.6, 0.7, 0.8},
         bv-sized                ^>= 1.0,