diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for rme
 
+## 0.1.3 -- 2026-09-01
+
+* Support building with `parameterized-utils` 2.3.
+
 ## 0.1.2 -- 2026-01-26
 
 * Added partial support for arrays returned from symbolic functions.
diff --git a/rme.cabal b/rme.cabal
--- a/rme.cabal
+++ b/rme.cabal
@@ -1,6 +1,6 @@
 Cabal-version:      3.0
 Name:               rme
-Version:            0.1.2
+Version:            0.1.3
 Author:             Galois, Inc.
 Maintainer:         huffman@galois.com
 Build-type:         Simple
@@ -34,4 +34,4 @@
     Data.RME.Base
     Data.RME.Vector
 
-  ghc-options: -O2 -Wall -Wcompat -fno-ignore-asserts -fno-spec-constr-count
+  ghc-options: -Wall -Wcompat -fno-ignore-asserts -fno-spec-constr-count