diff --git a/cryptol.cabal b/cryptol.cabal
index 87eb0406..5cce452e 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -9,7 +9,7 @@ Author:              Galois, Inc.
 Maintainer:          cryptol@galois.com
 Homepage:            http://www.cryptol.net/
 Bug-reports:         https://github.com/GaloisInc/cryptol/issues
-Copyright:           2013-2020 Galois Inc.
+Copyright:           2013-2021 Galois Inc.
 Category:            Language
 Build-type:          Simple
 extra-source-files:  bench/data/*.cry