Mention versions-6–related changes in what4 changelog

GaloisInc · Oct 13, 2023 · 1de86e4 · 1de86e4
1 parent c3f9e1b
commit 1de86e4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/what4/CHANGES.md b/what4/CHANGES.md
@@ -1,3 +1,7 @@
+# next (TBA)
+
+* Require building with `versions >= 6.0.2`.
+
 # 1.5 (July 2023)
 
 * Allow building with GHC 9.6.