diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,6 @@
+2024-07-11
+        * Version bump (3.20). (#58)
+
 2024-03-08
         * Version bump (3.19). (#53)
         * Provide more detailed feedback upon a successful run of the verifier.
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -49,6 +49,17 @@
 suite. If you have performed all of the steps above correctly, the test suite
 should pass.
 
+We also provide a [Dockerfile](Dockerfile) which automates the process of
+installing Copilot and the verifier. The Dockerfile can be built and run using
+the following commands:
+
+```
+$ docker build -t <tag> .
+$ docker run -it <tag>
+```
+
+Where `<tag>` is a unique name for the Docker image.
+
 ## Using the Copilot Verifier
 
 The main interface to the verifier is the `Copilot.Verifier.verify`
diff --git a/copilot-verifier.cabal b/copilot-verifier.cabal
--- a/copilot-verifier.cabal
+++ b/copilot-verifier.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          copilot-verifier
-Version:       3.19
+Version:       3.20
 Author:        Galois Inc.
 Maintainer:    rscott@galois.com
 Copyright:     (c) Galois, Inc 2021-2024
@@ -45,13 +45,9 @@
     bv-sized >= 1.0.0 && < 1.1,
     bytestring,
     containers >= 0.5.9.0,
-    copilot >= 3.19 && < 3.20,
-    copilot-c99 >= 3.19 && < 3.20,
-    copilot-core >= 3.19 && < 3.20,
-    copilot-libraries >= 3.19 && < 3.20,
-    copilot-language >= 3.19 && < 3.20,
-    copilot-prettyprinter >= 3.19 && < 3.20,
-    copilot-theorem >= 3.19 && < 3.20,
+    copilot-c99 >= 3.20 && < 3.21,
+    copilot-core >= 3.20 && < 3.21,
+    copilot-theorem >= 3.20 && < 3.21,
     crucible >= 0.7 && < 0.8,
     crucible-llvm >= 0.6 && < 0.7,
     crux >= 0.7 && < 0.8,
@@ -82,6 +78,9 @@
   hs-source-dirs: examples
   build-depends:
     case-insensitive,
+    copilot >= 3.20 && < 3.21,
+    copilot-language >= 3.20 && < 3.21,
+    copilot-prettyprinter >= 3.20 && < 3.21,
     copilot-verifier
   exposed-modules:
     Copilot.Verifier.Examples