diff --git a/crucible-cli/crucible-cli.cabal b/crucible-cli/crucible-cli.cabal
index ec925bb05..afaee356c 100644
--- a/crucible-cli/crucible-cli.cabal
+++ b/crucible-cli/crucible-cli.cabal
@@ -1,4 +1,4 @@
-Cabal-version: 2.2
+Cabal-version: 2.4
 Name:          crucible-cli
 Version:       0.1
 Author:        Galois Inc.
@@ -10,7 +10,7 @@ Category:      Language
 Synopsis:      A library for sharing code between Crucible CLI frontends
 -- Description:
 
-extra-doc-files: CHANGELOG.md, README.md
+extra-doc-files: CHANGELOG.md
 extra-source-files:
   test-data/**/*.cbl
   test-data/**/*.out.good
diff --git a/crucible-llvm-cli/crucible-llvm-cli.cabal b/crucible-llvm-cli/crucible-llvm-cli.cabal
index c10704349..d8fd2e9be 100644
--- a/crucible-llvm-cli/crucible-llvm-cli.cabal
+++ b/crucible-llvm-cli/crucible-llvm-cli.cabal
@@ -10,7 +10,7 @@ Category:      Language
 Synopsis:      A Crucible CLI frontend for the LLVM language extension
 -- Description:
 
-extra-doc-files: CHANGELOG.md, README.md
+extra-doc-files: CHANGELOG.md
 extra-source-files:
   test-data/*.cbl
   test-data/*.out.good