add expected Singular version to the guide

lenianiva · Jun 21, 2024 · 56aeaf9 · 56aeaf9
1 parent e9be844
commit 56aeaf9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/docs/guide/src/nonlinear.md b/source/docs/guide/src/nonlinear.md
@@ -65,7 +65,7 @@ Using this proof technique requires a bit of additional configuration of your Ve
 
 1. Install Singular
     - To use Singular's standard library, you need more than just the Singular executable binary. 
-      Hence, when possible, we strongly recommend using your system's package manager.  Here are 
+      Hence, when possible, we strongly recommend using your system's package manager.  Regardless of the method you select, please install Singular version 4.3.2: other versions are untested, and 4.4.0 is known to be incompatible with Verus.  Here are 
       some suggested steps for different platforms.
         - Mac: `brew install Singular` and set the `VERUS_SINGULAR_PATH` environment variable when running Verus. (e.g. `VERUS_SINGULAR_PATH=/usr/local/bin/Singular`). For more options, see Singular's [OS X installation guide](https://www.singular.uni-kl.de/index.php/singular-download/install-os-x.html).