From c2e40271d0bf31389967c1d62c60abd549215949 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Sat, 11 Nov 2023 14:05:43 +0100
Subject: [PATCH] adding relevant cachix

---
 .nix/config.nix | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.nix/config.nix b/.nix/config.nix
index b664596..d50780c 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -84,14 +84,13 @@
   ## Below we list some standard ones
   cachix.coq = {};
   cachix.math-comp = {};
-  cachix.coq-community = {};
   
   ## If you have write access to one of these caches you can
   ## provide the auth token or signing key through a secret
   ## variable on GitHub. Then, you should give the variable
   ## name here. For instance, coq-community projects can use
   ## the following line instead of the one above:
-  # cachix.coq-community.authToken = "CACHIX_AUTH_TOKEN";
+  cachix.coq-community.authToken = "CACHIX_AUTH_TOKEN";
   
   ## Or if you have a signing key for a given Cachix cache:
   # cachix.my-cache.signingKey = "CACHIX_SIGNING_KEY"