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"