diff --git a/shell.nix b/shell.nix
new file mode 100644
index 0000000..4a3d1af
--- /dev/null
+++ b/shell.nix
@@ -0,0 +1,4 @@
+with import <nixpkgs> {}; stdenv.mkDerivation {
+  name = "coq-community-templates";
+  buildInputs = [ mustache-go ];
+}