Make nix-shell find mustache

coq-community · Dec 10, 2020 · 3293aa3 · 3293aa3
1 parent 434a8c3
commit 3293aa3
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/shell.nix b/shell.nix
@@ -0,0 +1,4 @@
+with import <nixpkgs> {}; stdenv.mkDerivation {
+  name = "coq-community-templates";
+  buildInputs = [ mustache-go ];
+}