diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,13 @@
 # Revision history for ogma-language-smv
 
+## [1.7.0] - 2025-03-21
+
+* Version bump 1.7.0 (#269).
+* Remove references to old design of Ogma from documentation (#220).
+* Bump upper version constraint on Cabal (#213).
+* Remove extraneous EOL character (#224).
+* Specify tools needed using build-tool-depends (#149).
+
 ## [1.6.0] - 2025-01-21
 
 * Version bump 1.6.0 (#208).
diff --git a/grammar/SMV.cf b/grammar/SMV.cf
--- a/grammar/SMV.cf
+++ b/grammar/SMV.cf
@@ -28,11 +28,9 @@
 -- FOR ANY SUCH MATTER SHALL BE THE IMMEDIATE, UNILATERAL TERMINATION OF THIS
 -- AGREEMENT.
 
--- This is a simplified grammar of SMV temporal logic expressions, extended
--- with the tags that FRET uses around names.
---
--- The format of FRET files itself uses JSON, so this grammar applies
--- only to specific fields in those files.
+-- This is a simplified grammar of SMV temporal logic expressions. This grammar
+-- allows for the presence of tags around some expressions, which some tools
+-- that produce SMV include in expressions.
 
 entrypoints BoolSpec;
 
diff --git a/ogma-language-smv.cabal b/ogma-language-smv.cabal
--- a/ogma-language-smv.cabal
+++ b/ogma-language-smv.cabal
@@ -15,7 +15,7 @@
 -- ANY OTHER APPLICATIONS RESULTING FROM USE OF THE SUBJECT SOFTWARE. FURTHER,
 -- GOVERNMENT AGENCY DISCLAIMS ALL WARRANTIES AND LIABILITIES REGARDING
 -- THIRD-PARTY SOFTWARE, IF PRESENT IN THE ORIGINAL SOFTWARE, AND DISTRIBUTES
--- IT "AS IS."

+-- IT "AS IS."
 --
 -- Waiver and Indemnity: RECIPIENT AGREES TO WAIVE ANY AND ALL CLAIMS AGAINST
 -- THE UNITED STATES GOVERNMENT, ITS CONTRACTORS AND SUBCONTRACTORS, AS WELL AS
@@ -30,9 +30,8 @@
 
 cabal-version:       2.0
 build-type:          Custom
-
 name:                ogma-language-smv
-version:             1.6.0
+version:             1.7.0
 homepage:            https://github.com/nasa/ogma
 bug-reports:         https://github.com/nasa/ogma/issues
 license:             OtherLicense
@@ -53,8 +52,7 @@
                      <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
                      verification framework that generates hard real-time C99 code.
                      .
-                     This library contains a frontend to read SMV Boolean expressions, used by
-                     the tool FRET to capture requirement specifications.
+                     This library contains a frontend to read SMV Boolean expressions.
 
 -- Ogma packages should be uncurated so that only the official maintainers make
 -- changes.
@@ -71,9 +69,8 @@
 custom-setup
   setup-depends:
       base    >= 4.11.0.0 && < 5
-    , Cabal   >= 2.0 && < 3.9
+    , Cabal   >= 2.0 && < 3.15
     , process >= 1.6      && < 1.7
-    , BNFC    >= 2.9.1    && < 2.10
 
 library
 
@@ -94,6 +91,11 @@
   build-depends:
       base  >= 4.11.0.0 && < 5
     , array >= 0.5.2.0  && < 0.6
+
+  build-tool-depends:
+      alex:alex   >= 3
+    , BNFC:bnfc   >= 2.9.4
+    , happy:happy >= 1.19
 
   hs-source-dirs:
     src
diff --git a/tests/Main.hs b/tests/Main.hs
--- a/tests/Main.hs
+++ b/tests/Main.hs
@@ -15,7 +15,7 @@
 -- ANY OTHER APPLICATIONS RESULTING FROM USE OF THE SUBJECT SOFTWARE. FURTHER,
 -- GOVERNMENT AGENCY DISCLAIMS ALL WARRANTIES AND LIABILITIES REGARDING
 -- THIRD-PARTY SOFTWARE, IF PRESENT IN THE ORIGINAL SOFTWARE, AND DISTRIBUTES
--- IT "AS IS."

+-- IT "AS IS."
 --
 -- Waiver and Indemnity: RECIPIENT AGREES TO WAIVE ANY AND ALL CLAIMS AGAINST
 -- THE UNITED STATES GOVERNMENT, ITS CONTRACTORS AND SUBCONTRACTORS, AS WELL AS