coq-nix-toolbox icon indicating copy to clipboard operation
coq-nix-toolbox copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Document how to setup Cachix

Open Zimmi48 opened this issue 3 years ago • 0 comments

This is easy to do but people don't know that if they haven't tried. So putting some doc about it will be helpful so that they are not scared to try.

Zimmi48 avatar Mar 24 '22 07:03 Zimmi48