diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index a79af92a..fc2ac8f9 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -10,7 +10,7 @@ jobs:
   test:
     strategy:
       matrix:
-        racket-version: ['8.0', 'current']
+        racket-version: ['8.1', 'current']
         racket-variant: ['CS']
         allow-failure: [false]
     name: Racket ${{ matrix.racket-version }} (${{ matrix.racket-variant }})
diff --git a/README.md b/README.md
index 8c466a7d..a22719eb 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,7 @@ The Rosette Language
 
 The easiest way to install Rosette is from Racket's package manager:
 
-* Download and install Racket 8.0 or later from http://racket-lang.org
+* Download and install Racket 8.1 or later from http://racket-lang.org
 
 * Use Racket's `raco` tool to install Rosette:
 
@@ -19,7 +19,7 @@ The easiest way to install Rosette is from Racket's package manager:
 
 Alternatively, you can install Rosette from source:
 
-* Download and install Racket 8.0 or later from http://racket-lang.org
+* Download and install Racket 8.1 or later from http://racket-lang.org
 
 * Clone the rosette repository:
 
diff --git a/rosette/guide/scribble/welcome/welcome.scrbl b/rosette/guide/scribble/welcome/welcome.scrbl
index 4164bec3..53d91af4 100644
--- a/rosette/guide/scribble/welcome/welcome.scrbl
+++ b/rosette/guide/scribble/welcome/welcome.scrbl
@@ -22,7 +22,7 @@ The name ``Rosette'' refers both to the language and the whole system.
 
 To install Rosette, you will need to
 
-@itemlist[@item{Download and install @hyperlink["http://racket-lang.org"]{Racket} (version 8.0 or later).}
+@itemlist[@item{Download and install @hyperlink["http://racket-lang.org"]{Racket} (version 8.1 or later).}
            @item{Use Racket's @tt{raco} tool to install Rosette:
                  @nested{
                          @verbatim|{> raco pkg install rosette}|}}]