Revert "Testing user manual workflow."

This reverts commit a655f36.
agda · Mar 16, 2020 · 8eb0d01 · 8eb0d01
1 parent a655f36
commit 8eb0d01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/user-manual/getting-started/prerequisites.rst b/doc/user-manual/getting-started/prerequisites.rst
@@ -8,7 +8,7 @@ You need recent versions of the following programs to compile Agda:
 
 * GHC:           https://www.haskell.org/ghc/
 
-  + Agda have been tested with GHC 8.0.2, 8.2.2, 8.4.4, 8.6.5 and 8.8.3.
+  + Agda have been tested with GHC 8.0.2, 8.2.2, 8.4.4, 8.6.5 and 8.8.2.
 
 * cabal-install: https://www.haskell.org/cabal/
 * Alex:          https://www.haskell.org/alex/