Bump up the required Racket version to 8.1.

jamestiotio · Nov 18, 2021 · 8684625 · 8684625
1 parent c6e8dbc
commit 8684625
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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}|}}]