1 files changed, 3 insertions, 1 deletions

diff --git a/README.md b/README.md
index c89656e..cd0b228 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,9 @@ FLINT as of today.
 
 ## Building
 
-Please consult the included Makefile :)
+You can install the dependencies with GNU Guix using `dev-shell` script that you
+can find in project's root.  For the rest, please consult the included Makefile
+:)
 
 - [1] https://eprint.iacr.org/2008/322
 - [2] https://flintlib.org/