From 9a7d1b1ccfa775528511f246c1b6b294516f9635 Mon Sep 17 00:00:00 2001
From: Lars-Dominik Braun <ldb@leibniz-psychology.org>
Date: Thu, 19 Nov 2020 14:06:57 +0100
Subject: README: Add substitute server

---
 README.rst | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'README.rst')

diff --git a/README.rst b/README.rst
index 2421166..5c2fee1 100644
--- a/README.rst
+++ b/README.rst
@@ -35,6 +35,23 @@ to add it to your installation or simply add the following snippet to your
 .. _Guix: https://guix.gnu.org/
 .. _Specifying Additional Channels: https://guix.gnu.org/manual/en/guix.html#Specifying-Additional-Channels
 
+Binary substitutes for ``x86_64-linux`` are available from
+https://substitutes.guix.psychnotebook.org/, see `Getting Substitutes from
+Other Servers`_ in the official manual. The signing key can be imported using:
+
+.. code:: console
+
+	$ guix archive --authorize <<EOF
+	(public-key
+	 (ecc
+	  (curve Ed25519)
+	  (q #D4E1CAFAB105581122B326E89804E3546EF905C0D9B39F161BBD8ABB4B11D14A#)
+	  )
+	 )
+	EOF
+
+.. _Getting Substitutes from Other Servers: https://guix.gnu.org/manual/en/guix.html#Getting-Substitutes-from-Other-Servers
+
 Contributing
 ------------
 
-- 
cgit v1.2.3